/*

{

//std::type_info t = typeid(int);

//std::type_info t(typeid(int));

}

/*

{

int i, i1;

int& ia = i;

assert(typeid(i) == typeid(int) );

assert(typeid(ia) == typeid(int&));

assert(typeid(i) == typeid(i1) );

}

// Works differently for virtual and non virtual classes!

// http://stackoverflow.com/questions/11484010/c-typeid-used-on-derived-class-doesnt-return-correct-type

{

class C {};

class D : public C {};

C c;

D d;

C *dp = &d;

assert(typeid(C) == typeid(c) );

assert(typeid(*dp) == typeid(C) );

assert(typeid(*dp) != typeid(D) );

class PolyBase {

void virtual f() {};

};

class PolyDerived : public PolyBase {

void virtual f() {};

};

PolyDerived pd;

PolyBase *pdp = &pd;

assert(typeid(*pdp) == typeid(PolyDerived));

}

/*

{

std::cout << "typeid(int).name() = " << typeid(int).name() << std::endl;

}

/* The return value is calculated at runtime. */

{

class Base {

public:

virtual void f() {}

};

class Derived : public Base {

public:

virtual void f() {}

};

Derived d;

Base *bp = &d;

// The mangled Derived ID is output.

assert(typeid(*bp).name() == typeid(Derived).name());

}

// before: http://stackoverflow.com/questions/8682582/what-is-type-infobefore-useful-for

// hash_code: return a size_t hash of the type

/*

{

std::type_index t = typeid(int);

}