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 不能用于无虚函数的类,也不能跨无关继承体系转换(比如两个无继承关系的类之间),否则编译直接报错。
立即学习“C++免费学习笔记(深入)”;
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 是个实用但需谨慎使用的工具,理解它何时必要、何时多余,比记住语法更重要。











