C++ typeid获取类型信息运算符

1、typeid的用法

typeid 运算符用来获取一个表达式的类型信息。类型信息对于编程语言非常重要，它描述了数据的各种属性：

）对于基本类型（int、float 等C++内置类型）的数据，类型信息所包含的内容比较简单，主要是指数据的类型。
2）对于类类型的数据（也就是对象），类型信息是指对象所属的类、所包含的成员、所在的继承关系等。

注意：typeid是操作符，不是函数，这点与sizeof类似

typeid 的操作对象既可以是表达式，也可以是数据类型，下面是它的两种使用方法：
1）typeid( dataType )
2）typeid( expression )   

typeid 会把获取到的类型信息保存到一个 type_info类型的对象里面，并返回该对象的常引用；当需要具体的类型信息时，可以通过成员函数来提取

C++ 标准规定，type_info 类至少要有如下所示的 4 个 public 属性的成员函数，其他的扩展函数编译器开发者可以自由发挥，不做限制。

1) 原型：const char* name() const;

返回一个能表示类型名称的字符串。但是C++标准并没有规定这个字符串是什么形式的，例如对于上面的objInfo.name()语句，VC/VS 下返回“class Base”，但 GCC 下返回“4Base”。

2) 原型：bool before (const type_info& rhs) const;

判断一个类型是否位于另一个类型的前面，rhs 参数是一个 type_info 对象的引用。但是C++标准并没有规定类型的排列顺序，不同的编译器有不同的排列规则，程序员也可以自定义。要特别注意的是，这个排列顺序和继承顺序没有关系，基类并不一定位于派生类的前面。

3) 原型：bool operator== (const type_info& rhs) const;

重载运算符“==”，判断两个类型是否相同，rhs 参数是一个 type_info 对象的引用。

4) 原型：bool operator!= (const type_info& rhs) const;

重载运算符“!=”，判断两个类型是否不同，rhs 参数是一个 type_info 对象的引用。

2、 type_info类常用的成员函数

1） name() 用来返回类型的名称。
2）raw_name() 用来返回名字编码（NameMangling）算法产生的新名称。关于名字编码的概念，可以到《C++函数编译原理和成员函数的实现》中查找。
3）hash_code() 用来返回当前类型对应的 hash 值，是标识当前类型的整数。

 type_info 类的声明
最后我们再来看一下 type_info 类的声明，以进一步了解它所包含的成员函数以及这些函数的访问权限。type_info 类位于typeinfo头文件，声明形式类似于：
class type_info {
public:
    virtual ~type_info();
    int operator==(const type_info& rhs) const;
    int operator!=(const type_info& rhs) const;
    int before(const type_info& rhs) const;
    const char* name() const;
    const char* raw_name() const;
private:
    void *_m_data;
    char _m_d_name[1];
    type_info(const type_info& rhs);
    type_info& operator=(const type_info& rhs);
};
它的构造函数是 private 属性的，所以不能在代码中直接实例化，只能由编译器在内部实例化（借助友元）。而且还重载了“=”运算符，也是 private 属性的，所以也不能赋值。

3、使用type_info

typeid 运算符经常被用来判断两个类型是否相等

3.1、基本类型的比较

int a = 20;
double b = 30;

bool flag = (typeid(a) == typeid(int));
cout << flag << endl;     // 输出结果：1

flag = (typeid(a) == typeid(double));
cout << flag << endl;     // 输出结果：0

flag = (typeid(b) == typeid(double));
cout << flag << endl;     // 输出结果：1

3.2、复杂类型的比较（基类不带虚函数）

class base
{
    public :
        void m(){cout<<"base"<<endl;}
};

class derived : public base
{
    public:
        void m(){cout<<"derived"<<endl;}
};

int main()
{
    base *p = new derived;

    bool flag = (typeid(p) == typeid(base*));
    cout << flag << endl;     // 输出结果：1

    flag = (typeid(p) == typeid(derived*));
    cout << flag << endl;     // 输出结果：0

    flag = (typeid(*p) == typeid(base));
    cout << flag << endl;     // 输出结果：1

    flag = (typeid(*p) == typeid(derived));
    cout << flag << endl;     // 输出结果：0

    return 0;
}

3.3、复杂类型的比较（基类带虚函数）

class base
{
    public :
        virtual void m(){cout<<"base"<<endl;}
};

class derived : public base
{
    public:
        void m(){cout<<"derived"<<endl;}
};

int main()
{
    base *p = new derived;

    bool flag = (typeid(p) == typeid(base*));
    cout << flag << endl;     // 输出结果：1

    flag = (typeid(p) == typeid(derived*));
    cout << flag << endl;     // 输出结果：0

    flag = (typeid(*p) == typeid(base));
    cout << flag << endl;     // 输出结果：0

    flag = (typeid(*p) == typeid(derived));
    cout << flag << endl;     // 输出结果：1

    return 0;
}

 表达式typeid(*p)，因为base类具有多态性，因而在计算typeid(*p)时会根据运行时p所指向的实际类型去计算，而本例中p指向的是派生类对象，因此表达式typeid(*p)
== typeid(derived)为真，typeid(*p) == typeid(base)为假。