Variable detection help

[Imadatobanisa]

Hello everybody...Currently I am making a simple program which only contains an input, and output code, and finally an union. The goal is how to detect type of a variable correctly. Here is the code :

union SuperVariable
{
int i;
float f;
} var;
//////
var.i = 85; 
bool IsDouble = Check(); //Example : It gives "false" (integer)
var.f = 21.81f;
IsDouble = Check(); //Example : It gives "true" (decimal number) 

Is there any way which can do this? Help me...
(Any help would be greatly appreciated) (^_^)

[Darkmaster]

if you want to see if its double or not you could use sizeof

double is 8byte
all the other datatypes are smaller, as long as you don't use "long"

edit: i thinktypeidandtype_info is what you are looking for

[Peter87]

Not possible. You will have to keep track of the type yourself.

[coder777]

Is there any way which can do this?

Not with a union (@Darkmaster: no, sizeof doesn't work since the union will have a certain size which will not change)

You may want to use Variant instead:

http://www.boost.org/doc/libs/1_52_0/doc/html/variant.html

or make your own struct that keeps the type

[Darkmaster]

@coder777: I don't see the problem with this.
I just tried this and it works

union SuperVariable
{
	char c;
	int i;
	float f;
	double d;
}var;

int main()
{
	var.c = 1;
	var.i = 1;
	var.f = 1;
	var.d = 1;

	int c = sizeof(var.c);
	int i = sizeof(var.i);
	int f = sizeof(var.f);
	int d = sizeof(var.d);
}

c=1
i=4
f=4
d=8

[Peter87]

@Darkmaster
That will not help you knowing what type is actually being "used". If you do sizeof(var) it will always give you the same value (probably 8).

[Imadatobanisa]

Thanks guys!

I have an another question :

union SuperVariable
{
int i;
float f;
} var;

sizeof(int) == sizeof(float) (= 4)

union SuperVariable
{
long l;
double d;
} var;

sizeof(long) == sizeof(double) (= 8)

Sorry, my compiler doesn't support 32-bit long type variable...

Here's how... (draft)

/Invalid value detector

var.d = 35.56;
//var.d : 35.56 (Valid) -> Take
//var.l : ????? (Skip)

var.l = 100
//var.l : 100 (Valid) -> Take
//var.d : ????? (Skip) 

But...Can I solve the problem by extracting a specific bit of the generic variable?

[JLBorges]

> Can I solve the problem by extracting a specific bit of the generic variable?

You can solve the problem by looking at the discriminant of a union-like class.

Something homegrown would look like this:

#include <iostream>

struct number
{
    number( int ii = 0 ) : t(INT), i(ii) {}
    number( double dd ) : t(DOUBLE), d(dd) {}

    bool is_int() const { return t == INT ; } ;
    bool is_double() const { return t == DOUBLE ; } ;

    explicit operator int() const { return is_int() ? i : int(d) ; }
    explicit operator double() const { return is_double() ? d : i ; }

    private:
        enum type { INT, DOUBLE } ;
        type t ;
        union { int i ; double d ; } ;
};

inline std::ostream& operator<< ( std::ostream& stm, number n )
{
    if( n.is_int() ) return stm << int(n) ;
    else return stm << double(n) ;
}

int main()
{
     number n = 12 ;
     std::cout << std::boolalpha << n.is_int() << ' ' << n << '\n' ;
     n = 34.567 ;
     std::cout << std::boolalpha << n.is_double() << ' ' << n << '\n' ;

In practice, use either boost::any or boost::variant