dynamic_cast

typeid

• typeid 运算符允许在运行时确定对象的类型
• 如果想通过基类的指针获得派生类的数据类型，基类必须带有虚函数

type_info

• type_info 类描述编译器在程序中生成的类型信息。 此类的对象可以有效存储指向类型的名称的指针。 type_info 类还可存储适合比较两个类型是否相等或比较其排列顺序的编码值。 类型的编码规则和排列顺序是未指定的，并且可能因程序而异。