深入 C++ RTTI 与多态的底层原理及实践

• 指针版本：失败返回 nullptr
• 引用版本：失败抛出 std::bad_cast 异常

同样要求：被转换的类型必须是多态类型（有虚函数），否则编译报错。

RTTI 如何工作？（底层原理）

从编写完对应代码时，编译器处理转化方面讲起：

① 编译器为多态类型做了什么？

当一个类被定义为多态类型时，编译器会在编译期自动插入额外的数据结构和指针，主要包括：

1. 虚函数表（vtable）
   • 每个多态类在程序中对应一个全局唯一的 vtable。
   • vtable 是一个函数指针数组，存储该类所有虚函数的地址（对应的虚表存储在只读数据段也就是静态储存区）。

关键点：现代主流编译器（如 GCC、Clang、MSVC）还会在 vtable 的开头或特定位置，存入一个指向 std::type_info 对象的指针；也就是说：vtable 不仅用于虚函数调用，也承载了类型信息。

2. 对象内存布局增加 vptr 每个多态类的对象在内存中的最开始处，会隐式包含一个指针，称为 vptr（virtual table pointer）；vptr 指向该对象所属类的 vtable。 例如：

Base obj; // 内存布局：// [vptr] → 指向 Base 的 vtable// [其他成员变量...]

注意：这个 vptr 是编译器自动添加的，程序员不可见，但真实存在。

3. 类型继承关系图（type hierarchy graph）
   • 编译器在程序启动时已构建了一个类型继承关系图（type hierarchy graph），记录了所有类之间的继承关系，也就是为什么我们使用 dynamic_cast 等的时候（多态时候），它可以判断是否能转换，进而做出对应应答！

② 当我们调用对应接口，RTTI 底层是如何实现呢？

因此当我们运行时候就会存在这样一个结构：

• 上面也就是我们 RTTI 执行的时候需要走的途径（剩下还有就是编译器生成的对应类型继承关系图了）。

场景 1：typeid(obj)

Base* p = new Derived();
std::cout << typeid(*p).name();

执行过程如下：

• 程序通过 p 访问对象；
• 从对象内存开头读取 vptr；
• 通过 vptr → vtable；
• 从 vtable 中取出 type_info 指针；
• 返回对应的 std::type_info&。

因此，即使 p 是 Base 类型，typeid(p) 也能知道它实际指向的是 Derived 对象！

注意：如果 Base 没有虚函数（非多态），则对象没有 vptr，编译器无法在运行时知道实际类型，此时 typeid(*p) 只能返回 Base（静态类型），且某些编译器甚至会直接报错或行为未定义。

场景 2：dynamic_cast<Derived*> ( p )

执行过程更复杂一些：

• 同样通过 p 获取对象的 vptr → vtable → type_info（即实际类型 T）；
• 首先我们要先知道：编译器在程序启动时已构建了一个类型继承关系图（type hierarchy graph），记录了所有类之间的继承关系；

这也就是 RTTI 核心（运行时检查目标类型 Derived 是否是 T 的基类或派生类？）：

此时就是拿着对应 type_info 类型按照对应的继承关系图去对比，如果在里面存着这个继承关系也就是在里面就进行转化，不在进行异常处理。

• 如果是 → 安全转换，计算偏移量（考虑多重继承），返回正确指针；
• 如果不是 → 返回 nullptr（指针版本）或抛异常（引用版本）。

比如：若 p 实际指向 OtherClass，而 OtherClass 与 Derived 无继承关系，则 dynamic_cast 失败。

std::type_info 类简介

• 由编译器实现，不可复制（C++11 起可移动）；
• 主要成员：
  • name()：返回类型的实现定义名称（通常是 mangled name，可用 c++filt 解码）；
  • operator== / operator!=：比较两个类型是否相同；
  • before()：用于 std::type_index 的排序（C++11）。

如：

std::cout << typeid(int).name() << std::endl;
std::cout << typeid(std::string).name() << std::endl;

• 这就是它们底层的类型表现形式！

解码操作：

• 可以成功看到对应类型。

RTTI 的开销与争议

优点：

• 实现安全的向下转型；
• 支持运行时类型查询（调试、序列化、插件系统等场景有用）。

缺点：

• 空间开销：每个含虚函数的类增加一个 type_info 对象；
• 时间开销：dynamic_cast 需遍历继承树，比 static_cast 慢；
• 设计争议：频繁使用 RTTI 往往意味着面向对象设计不佳（应优先用虚函数实现多态，而非类型判断）。

许多高性能项目（如游戏引擎、嵌入式系统）会禁用 RTTI（编译选项 -fno-rtti）以节省资源。

何时使用 RTTI？

禁用 RTTI 操作

在 GCC/Clang 中：

g++ -fno-rtti main.cpp

此时：

• typeid 和 dynamic_cast 将无法使用，编译报错；
• 适合对性能/体积敏感的场景。

为什么非多态类型不支持 RTTI？

• 非多态类 没有虚函数；
• 编译器 不会为其生成 vtable；
• 对象内存中 没有 vptr；

因此，运行时无法获取其实际类型信息。

总结

善用多态，少用类型判断，才是面向对象的精髓。

本篇小结

RTTI 是 C++ 实现运行时类型识别的关键机制，依赖虚函数表与 type_info，在多态类型中支持安全转型和类型查询，但存在性能开销，应优先通过虚函数实现多态，谨慎使用 RTTI。