17370845950

RTTI是C++中用于运行时识别对象真实类型的机制，仅对含虚函数的多态类生效，核心组件为typeid（获取动态类型信息）和dynamic_cast（安全向下转型），依赖虚表中的RTTI元数据进行类型检查与偏移计算。

RTTI 是 C++ 中“运行时类型识别”（Run-Time Type Identification）的缩写，核心作用是在程序运行期间，准确判断一个基类指针或引用实际指向的是哪个派生类对象。它不是语法糖，而是有明确运行时开销和使用前提的底层机制——只对含虚函数的多态类生效。

RTTI 的两个关键组件：typeid 和 dynamic_cast

RTTI 通过两个语言级设施暴露给开发者：

• typeid：用于获取表达式的动态类型信息，返回 const std::type_info&。对多态对象（即通过虚函数启用 RTTI 的类），它在运行时查虚表定位真实类型；对非多态对象或编译期已知类型（如 typeid(int)），它直接返回编译期确定的 type_info 地址，不触发运行时查询。
• dynamic_cast：唯一支持安全向下转型（downcast）的 C++ 转换操作符。它依赖 RTTI 数据，在运行时检查源对象是否真正属于目标类型或其派生类。成功则返回合法指针/引用，失败则对指针返回 nullptr，对引用抛出 std::bad_cast 异常。

dynamic_cast 的工作原理其实很实在

它不是靠猜，而是靠查：

• 先确认源指针/引用所指对象的类是否有多态性（即是否有虚函数表）；
• 再通过虚表中嵌入的 RTTI 元数据（如 type_info* 指针、继承关系偏移量等），比对目标类型是否在该对象的实际继承链中；
• 如果是，计算正确内存偏移并返回调整后的指针；否则返回空或抛异常。

注意：dynamic_cast 不能用于无虚函数的类，也不能跨无关继承体系转换（比如两个无继承关系的类之间），否则编译直接报错。

RTTI 不是万能的，也有明确限制

它解决的是“我手上有个基类指针，想知道它背后到底是谁”，但并不替代良好的面向对象设计：

• 必须启用编译器 RTTI 支持（如 MSVC 的 /GR，GCC/Clang 的 -frtti，禁用后 dynamic_cast 和 typeid 将不可用）；
• 只对多态类型有效——基类至少得有一个虚函数（通常虚析构函数就够了）；
• 性能有代价：每次 dynamic_cast 都要查虚表、比对类型树，频繁使用会影响热点路径；
• 多数场景优先用虚函数，而不是靠 dynamic_cast 后再分发逻辑——后者容易让代码变得脆弱且难以维护。

典型使用场景举例

比如你有一个 std::vector<:unique_ptr>>，里面混存了 Circle、Square、Triangle 对象：

• 想单独找出所有 Circle 并调用其特有的 getRadius() 方法，就得用 dynamic_cast(p.get()) 判断；
• 调试时打印对象真实类型：std::cout （注意 name() 返回的是实现定义的字符串，可配合 abi::__cxa_demangle 可读化）；
• 实现插件系统或序列化框架时，根据运行时类型选择不同的反序列化逻辑。

基本上就这些。RTTI 是个实用但需谨慎使用的工具，理解它何时必要、何时多余，比记住语法更重要。