[C++知识库]C++ typeid关键字详解

一、C++ typeid关键字详解

1、typeid的用法

typeid 运算符用来获取一个表达式的类型信息。类型信息对于编程语言非常重要，它描述了数据的各种属性：
1）对于基本类型（int、float 等C++内置类型）的数据，类型信息所包含的内容比较简单，主要是指数据的类型。
2）对于类类型的数据（也就是对象），类型信息是指对象所属的类、所包含的成员、所在的继承关系等。

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

typeid 的操作对象既可以是表达式，也可以是数据类型，下面是它的两种使用方法：
1）typeid( dataType )
2）typeid( expression )
typeid 会把获取到的类型信息保存到一个 type_info 类型的对象里面，并返回该对象的常引用；当需要具体的类型信息时，可以通过成员函数来提取

2、 type_info类常用的成员函数

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

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)为假。