参考：http://www.weixueyuan.net/view/6378.html
总结：
typeid操作符用于判断表达式的类型，注意它和sizeof一样是一个操作符而不是函数。
如果需要使用typeid操作符，最好加上typeinfo头文件。
操作符typeid返回的是一个type_info类（用于描述数据类型的一个系统类）对象的引用。这个操作符可以用于表达式和类型名（包括自定的数据类型，比如类）。
typeid操作符用于判断表达式的类型，注意它和sizeof一样是一个操作符而不是函数。如果需要使用typeid操作符，最好加上typeinfo头文件。
给出以下定义
int a; double b; char * c; long d;
下表列出了使用typeid操作符的表达式的值：
| 表达式 | 值 |
|---|---|
| typeid(a) == typeid(int) | true |
| typeid(a) == typeid(float) | false |
| typeid(a) == typeid(int *) | false |
| typeid(b) == typeid(double) | true |
| typeid(b) == typeid(float) | false |
| typeid(b) == typeid(long double) | false |
| typeid(c) == typeid(char *) | true |
| typeid(c) == typeid(char) | false |
| typeid(c) == typeid(string) | false |
| typeid(d) == typeid(long) | true |
| typeid(d) == typeid(int) | false |
操作符typeid返回的是一个type_info类（用于描述数据类型的一个系统类）对象的引用。这个操作符可以用于表达式和类型名（包括自定的数据类型，比如类）。
例1：
class base { public : virtual void m(){cout<<"base"<<endl;} }; class derived : public base { public: void m(){cout<<"derived"<<endl;} };
假设我们如本例所示定义了两个类base类和derived类，基于这两个类定义，我们定义指针如下：
base * p = new derived;
下表将给出使用typeid操作符的结果。
| 表达式 | 值 |
|---|---|
| typeid(p) == typeid(base*) | true |
| typeid(p) == typeid(derived*) | false |
| typeid(*p) == typeid(base) | false |
| typeid(*p) == typeid(derived) | true |
对于表达式typeid(p)，因为p是base*类型的指针，因此typeid(p) == typeid(base*)为真，而typeid(p) == typeid(derived*)为假。而对于表达式typeid(*p)，因为base类具有多态性，因而在计算typeid(*p)时会根据运行时p所指向的实际类型去计算，而本例中p指向的是派生类对象，因此表达式typeid(*p) == typeid(derived)为真，typeid(*p) == typeid(base)为假。
例2：
class base { public : void m(){cout<<"base"<<endl;} }; class derived : public base { public: void m(){cout<<"derived"<<endl;} };
假设我们根据例2中定义的两个类来定义如下指针：
base * p = new derived;
下表将给出使用typeid操作符的结果。
| 表达式 | 值 |
|---|---|
| typeid(p) == typeid(base*) | true |
| typeid(p) == typeid(derived*) | false |
| typeid(*p) == typeid(base) | true |
| typeid(*p) == typeid(derived) | false |
对于表达式typeid(p)，同样，因为p是base*类型的指针，因此typeid(p) == typeid(base*)为真，而typeid(p) == typeid(derived*)为假。而对于表达式typeid(*p)，由于此时的基类不具有多态性，因而*p将会采用编译期类型来计算，编译期*p是base对象，因此表达式typeid(*p) == typeid(derived)为假，typeid(*p) == typeid(base)为真。