C++中的 RTTI

RTTI（Run-Time Type Identificatio）翻译为汉语是运行时类型识别，顾名思义就是在运行的时候识别出来对象的类型，它使程序能够获取由基指针或引用所指向的对象的实际派生类型。在C++中，为了支持RTTI提供了两个操作符：dynamic_cast和typeid。

#include <iostream>
#include <string>
#include <typeinfo>

struct Base {}; // non-polymorphic
struct Derived : Base {};

struct Base2 { virtual void foo() {} }; // polymorphic
struct Derived2 : Base2 {};

int main() {

    // Non-polymorphic lvalue is a static type
    Derived d1;
    Base* b1 = &d1;
    std::cout << "reference to non-polymorphic base: " << typeid(*b1).name() << '\n';

    Derived2 d2;
    Base2* b2 = &d2;
    std::cout << "reference to polymorphic base: " << typeid(*b2).name() << '\n';
        // Non-polymorphic lvalue is a static type
    Derived d3;
    Base* b3 = &d3;
    std::cout << "reference to non-polymorphic base: " << typeid(b3).name() << '\n';

    Derived2 d4;
    Base2* b4 = &d4;
    std::cout << "reference to polymorphic base: " << typeid(b4).name() << '\n';

}

根据上面代码可以看到，只有对包含虚函数的基类才有效果。

原理

首先要记住不管是typeid还是dynamic_cast都是依赖于对象的虚函数表指针实现的。虚函数表指针指向虚函数表，而虚函数表的第一个位置是空，第二位置放的就是这个类的type_info对象的地址。

• 编译期，如果一个base类型指针，当编译器发现他没有虚函数指针的时候，用typeid的时候就不会等到运行时，在编译期就可以确定好其name。使用dynamic_cast的时候在编译期一样处理。
• 运行期，当编译没有报错的时候，运行时typeid()就会查找去看对象的虚函数表指针对应的虚函数表，然后查虚函数表里type_info的指针，进而找到该对象获取name。dynamic_cast也是一样，一旦发现dynamic_cast<Drive*> base_ptr, 如果base_ptr的对象中的虚函数表中typeinfo不是Drive, 那么会返回null（我记得不会运行时报错，但是感觉应该报错比较好）。