c++关键字typeid

• typeid是c++的一个关键字，typeid操作符的返回结果是标准库类型type_info对象的引用。
• 但是，C++标准并没有明确定义type_info，其具体实现依赖于各个编译器。标准只规定了typeid操作符必需实现如下四种操作：

操作	说明
t1 == t2	如果两个对象t1和t2类型相同，则返回true；否则返回false
t1 != t2	如果两个对象t1和t2类型不同，则返回true；否则返回false
t.name()	返回类型的C-style字符串。由编译器决定，不一定就是真实的类型名
t1.before(t2)	判断t1是否位于t2的前面。类型排列顺序与编译器相关，基类不一定位于派生类的前面。

• type_info的成员函数name返回类型的C-style字符串，但这个返回的类型名与程序中使用的相应类型名不一定一致，其返回值的实现由编译器决定，标准只要求每个类型返回的字符串是唯一的。
• 和sizeof操作符类似，typeid的操作对象既可以是数据类型，也可以是表达式。
• 使用typeid判断各种类型示例代码如下：

#include<iostream>  
#include <typeinfo>  
using namespace std;  

class Base{};
class Derived:public Base{};
void func1();
int func2(int n);

int main()  
{  
    int a = 10;
    int* b = &a;
    float c;
    double d;

    cout << typeid(a).name() << endl;
    cout << typeid(b).name() << endl;
    cout << typeid(c).name() << endl;
    cout << typeid(d).name() << endl;
    cout << typeid(Base).name() << endl;
    cout << typeid(Derived).name() << endl;
    cout << typeid(func1).name() << endl;
    cout << typeid(func2).name() << endl;
}  

• Mac下使用clang++编译运行结果如下：

i
Pi
f
d
4Base
7Derived
FvvE
FiiE

• 不像Java、C#等动态语言，C++运行时能获取到的类型信息非常有限，标准也定义的很模糊，如同“鸡肋”一般。在实际工作中，我们一般只使用type_info的“==”运算符来判断两个类型是否相同。
• 再来看看下面的示例代码：

#include<iostream>  
#include <typeinfo>  
using namespace std; 

class Base{};
class Drived: public Base{};

int main()
{
    Base* pb;
    Drived d;
    pb = &d;

    if(strcmp(typeid(*pb).name(), typeid(Base).name()) == 0)
    {
        cout << "this is Base" << endl;
    }
    else if(strcmp(typeid(*pb).name(), typeid(Drived).name()) == 0)
    {
        cout << "this is Drived" << endl;
    }
    
    if(strcmp(typeid(d).name(), typeid(Base).name()) == 0)
    {
        cout << "this is Base" << endl;
    }
    else if(strcmp(typeid(d).name(), typeid(Drived).name()) == 0)
    {
        cout << "this is Drived" << endl;
    }
}

• Mac下使用clang++编译运行结果如下：

this is Base
this is Drived

• 从运行结果中可以看出，即使用基类指针指向派生类，但使用typeid判断的基类指针类型依然是基类指针。因此我们不能用typeid来判断基类指针实际指向的是否是某个派生类。