type_info和typeid

type_info提供了name、before等方法，可惜你却无法使用它。因为它的构造函数私有化。

typeid返回一个type_info，可惜你却无法保存它。

你只能使用：

    cout << (typeid(A)  ==  typeid(B)) << endl;
    type_info    t( int );
    cout << t.name() << endl;
     class     A ... {} ;
     class     B    : public  A ... {} ;
    TypeInfo    info     =  typeid(B * );
    A *     p  =   new  A;
    cout << (typeid(p)  ==  info) << endl;
    delete    p;

    cout << " pointer: " << TypeTraits <  A *   > ::isPointer << endl;

    MyData *     pdata     =   new  MyData;

    cout << (typeid( * pdata)  ==  typeid(MyData)) << endl;
    delete    pdata;

    MyData    data;
    cout << (typeid(data)  ==  typeid(MyData)) << endl;
     class  SData    : public  MyData ... {} ;
    cout << (typeid(SData)  ==  typeid(MyData)) << endl;
     const  type_info *     p     =   & (typeid( int ));
    cout << p -> name() << endl;

对于一个如此好用的东西无法保存无法创建太可惜了，而且loki后面也要用这个东西，所以loki提供了这样一个包装类，你可以创建、赋值、拷贝，可以使用before也提供name功能，还提供全部比较动作。

ps
before:

    cout << (typeid( int ).before(typeid( float ))) << endl;    //true
    cout << (typeid( float ).before(typeid( int ))) << endl;    //false