《C++ Primer Plus》15.4 RTTI 学习笔记
运行时类型识别RTTI(Runtime Type Identification)
C++有三个支持RTTI的元素。
* 如果可能的话,dynamic_cast运算符将使用一个指向基类的指针来生成一个指向派生类的指针;否则,该运算符返回0——空指针。
* typeid运算符返回一个指出对象的类型的值。
* type_info结构存储了有关特定类型的信息。
只能将RTTI用于包含虚汗数的类层次结构,原因在于只有对于这种类层次结构,才应该将派生对象的地址赋给基类指针。
1.dynamic_cast运算符
dynamic_cast运算符 可以回答 “是否可以安全地将对象的地址赋给特定类型的指针”。
假设有下面这样的类层次结构:
class Grand {// has virtual methods };
class Superb : public Grand { ... };
class Magnificicnt : public Superb { ... };
dynamic_cast运算符的语法如下,其中pg指向一个对象:
Superb * pm = dynamic_cast<Superb *>(pg);
这提出了这样的问题:指针pg的类型是否可被安全地转换为Superb *>如果可以,运算符将返回对象的地址,否则返回一个空指针。
注意:通常,如果指向的对象(*pt)的类型为Type或者是从Type直接或间接派生而来的类型,则下面的表达式将指针pt转换为Type类型的指针:
dynamic_cast<Type *>(pt)
否则,结果为0,即空指针。
2.typeid运算符和type_info类
typeid运算符使得能够确定两个对象是否为同种类型。它与sizeof有些相像,可以接受两种参数:
* 类名;
* 结果为对象的表达式。
typeid运算符返回一个对type_info对象的引用,其中,type_info是在头文件typeinfo(以前为typeinfo.h)中定义的一个累。type_info类重载了==和!=运算符,一边可以使用这些运算符来对类型进行比较。例如,如果pg指向的是一个Magnificent对象,则下述表达式的结果为bool值true,否则为false:
typeid(Magnificent) == typeid(*pg)
如果pg是一个空指针,程序将引发bad_typeid异常。
type_info类的实现随厂商而异,单包含一个name()成员,该函数返回一个随实现而异的字符串:通常(单并非一定)是类的名称。例如,下面的语句显示指针pg指向的对象所属的类定义的字符串:
cout << "Now processing type " << typeid(*pg).name() << ".\n";