RTTI

运行时类型识别(run-time type identification,RTTI) 由两个运算符实现：

　　1.dynamic_cast 运算符

　　2.typeid运算符

　　

dynamic_cast 的使用形式如下：

　　a)dynamic_cast<type *>(e)

　　b)dynamic_cast<type &>(e)

　　c)dynamic_cast<type &&>(e)

　　其中，type必须是类类型。a形式中e必须是一个有效的指针，b形式中e必须是左值，c形式中e必须是右值。在上面所有3种形式中，e的类型必须符合以下三个条件中的任意一个：e的类型是目标type的公有(public 继承)派生类，e的类型是目标type的公有基类或者e的类型就是目标type的类型。

　　如果e的类型是目标type的公有派生类，C++中，本来派生类指针、引用就可隐式转换成基类指针、引用。这种情况不是dynamic_cast存在的价值所在。

　　如果e的类型是目标type的公有基类，则e、type存在多态关系，即必须存在虚函数。

　　

　　a形式中，如果失败则会返回一个空指针。b、c形式中，如果失败会抛出bad_cast异常。

 

typeid 的使用形式：

　　typeid(e)

　　其中e可以是任意表达式或类型的名字。如 type(int) 、type(2+3)

　　typeid(e) 返回一个常量对象的引用，该对象的类型是标准库类型type_info或者type_info的公有派生类型。

      typeid可作用于任意表达式，表达式结果的顶层const属性和引用属性会被支掉，但数组、函数不会被转换。表达式不一定会被求值，如果表达式中无必须运行时才能识别的类型（即整个表达式中没有定义了虚函数的类型的引用或被解引用的指针），typeid表达式在编译期即求得表达式的结果，而且不会对表达式进行求值。如果表达式中有必须运行时才有识别的类型（即表达式中有定义了虚函数的类型的引用或被解引用的指针），表达式会在运行时被求值，然后再求得typeid的结果。