运行时类型识别(Run-time type identification,RTTI)(也叫运行时的类型鉴定机制)是程序能够使用基类的指针或引用来检查这些指针或引用所指的对象的实际派生类型。
- 引入RTTI的原因
在C++中,虚函数实现了基类和子类之间的多态思想,当由基类派生出来的诺干派生类具有一样的操作时,可以在基类中声明一个虚函数,然后在各个派生类中定义自己需求的部分。在函数定义的时候不需要指定对象的类型,而是在实际的执行来判断对象的类型,实现多态的思想。在多说情况下,主张在设计和开发中明智地使用虚拟成员函数,因为这是很方便的,而且极大的提高了程序执行的效率,缩减了代码量。但是,在一些情况下,虚拟函数无法克服本身的局限。涉及到处理异类容器和根基类层次时,不可避免要对对象类型进行动态判断,也就是动态类型的侦测。拿Essential C++中的例子来说:存在一个基类num_sequence,然后派生出Fibonacci、Fell、Lucas、Triangular、Square等派生类,在基类中有一个what_am_i()的虚函数,而在派生类中都继承基本的该虚函数,即每个类都有一份what_am_i()函数,来返回一个表明该类的说明性字符串。现在如果想只提供一个what_am_i()函数,并令派生类通过继承机制加以复用,这样每个派生类就不需要自己在类中提供一个what_am_i()函数。答案可能有两种