复杂部分略去，摘录要素如下：
1.typeid是C++的关键字之一，等同于sizeof这类的操作符。
2.typeid操作符的返回结果是名为type_info的标准库类型的对象的引用（在头文件typeinfo中定义）
3.C++并没有规定typeid实现标准，各个编译器可能会不一样。
4.编译器会为每一种typeid操作的类型生成一份保存在数据段的type_info数据。
5.每种类型的type_info数据长度依赖于类型名称，至少9个字节。
个人实测总结如下：
1.返回类型
typeid返回的是type_info的引用，这个类不能拷贝，也不能自己构造。
在语法上要使用const type_info & 类型来定义一个对象
type_info.name()的返回类型是一个const char* 静态字符串
2.可用操作集
-> 创建一个引用对象 const type_info& t0 = typeid(int);
-> 获得类型名称 const char* b=t0.name();
cout<<b<<" " <<t0.name()<<endl;
->比较对象是否相等，仅支持2种比较符
t1 == t2 ，t1 != t2
程序实例：
#include<iostream>
#include<typeinfo>
#include<cstring>
using namespace std;
int main(void){
int i = 1;
float f = 1.222;
//定义引用对象
const type_info& t1 = typeid(f);
const type_info& t2 = typeid(int);
//获得类型名称
const char* a=t1.name();
const char* b=t1.name();
//比较对象相等
cout<<"ti==t2 ? "<< t1==t2<<endl;
return 0;
}
3.不同编译器的机能的理解
在devc++5.11中
float f = 1.222;
cout<<typeid(f).name();
输出
>>f
在vs2013中
float f = 1.222;
cout<<typeid(f).name();
输出
>>float
可见简陋的devc++，对于变量的类型处理不科学。
会直接创建一个新的type_info对象，储存的private：name 是传入的变量名称
但是在devc++中直接输入类型名称是可以的
float f = 1.222;
cout<<typeid(float).name();
输出
>>float
只要输入的是类型名称，后续的其他操作，例如比较typeid(float)==typeid(int)，在devc++中都是正常的。