class type_info;
typeid 操作符(作为 const 限定的左值)返回此类的一个对象。虽然其实际动态类型可能是派生类。typeid 可应用于任何类型或具有类型的任何表达式。const 或 volatile 限定的类型均被标识为其未限定的等价物。typedef 类型被认为与其别名类型相同。typeid 应用于多态类类型(声明或继承了虚函数的类)的引用或解引用的指针时,它会考虑其动态类型(即最派生对象的类型)。这需要 RTTI(运行时类型信息)可用。typeid 应用于解引用的空指针时,将抛出 bad_typeid 异常。typeid 返回的对象的生存期将持续到程序结束。type_info 的复制和赋值运算符是私有的:此类对象无法被复制。