RTTI通过dynamic_cast和typeid实现运行时类型识别,前者用于多态类型的安全向下转型,后者获取对象动态类型信息,二者结合适用于需按实际类型分支处理的场景。

运行时类型识别(RTTI,Run-Time Type Identification)是C++提供的一种在程序运行期间确定对象类型的技术。它主要通过 dynamic_cast 和 typeid 两个关键字来实现,适用于具有多态特性的类(即含有虚函数的类)。
1. dynamic_cast:安全的向下转型
dynamic_cast 主要用于在继承层次结构中进行安全的向下转型(从基类指针或引用转为派生类指针或引用)。它会在运行时检查转换是否合法,如果失败,对于指针返回 nullptr,对于引用则抛出 std::bad_cast 异常。
使用条件:
- 目标类必须是多态类型(即至少有一个虚函数)。
- 通常用于指针或引用的类型转换。
示例:
#include <iostream>
class Base {
public:
virtual ~Base() {} // 必须有虚函数
};
<p>class Derived : public Base {
public:
void specific() {
std::cout << "Called Derived::specific()\n";
}
};</p><p>int main() {
Base* ptr = new Derived;</p><pre class='brush:php;toolbar:false;'>// 安全地转换为 Derived*
Derived* d = dynamic_cast<Derived*>(ptr);
if (d) {
d->specific(); // 调用派生类特有函数
} else {
std::cout << "Conversion failed\n";
}
delete ptr;
return 0;}
如果 ptr 实际指向的是 Base 对象而非 Derived,转换就会失败,d 为 nullptr。
2. typeid:获取对象的运行时类型信息
typeid 可以返回一个 const std::type_info& 对象,用于比较类型或获取类型名称。使用前需包含头文件 <typeinfo>。
注意:只有作用于多态类型的表达式时,typeid 才会反映实际的动态类型;否则返回的是静态编译时类型。
示例:
#include <iostream>
#include <typeinfo>
<p>class Base {
public:
virtual ~Base() {}
};</p><p>class Derived : public Base {};</p><p>int main() {
Base* ptr = new Derived;</p><pre class='brush:php;toolbar:false;'>std::cout << "Type: " << typeid(*ptr).name() << "\n"; // 输出 Derived 类型名
std::cout << "Compare with Base: "
<< (typeid(*ptr) == typeid(Base)) << "\n"; // false
std::cout << "Compare with Derived: "
<< (typeid(*ptr) == typeid(Derived)) << "\n"; // true
delete ptr;
return 0;}
输出结果中的 name() 是编译器相关的(如 "7Derived"),可使用 std::type_info::name 解析,但建议仅用于调试或日志。
3. dynamic_cast 与 typeid 的典型应用场景
两者常结合使用于需要根据对象实际类型执行不同逻辑的场景,比如插件系统、对象序列化、事件处理等。
例子:类型安全的操作
void process(Base* obj) {
if (Derived* d = dynamic_cast<Derived*>(obj)) {
d->specific();
} else if (Another* a = dynamic_cast<Another*>(obj)) {
a->doSomethingElse();
} else {
std::cout << "Unknown type\n";
}
}
或者用 typeid 判断:
void checkType(Base& obj) {
std::cout << "Actual type is: " << typeid(obj).name() << "\n";
}
4. 注意事项
- RTTI 会带来轻微的性能开销,且需要启用(多数编译器默认开启)。
- 如果基类没有虚函数,dynamic_cast 无法进行运行时检查,只能做静态检查。
- 避免过度依赖 RTTI,优先考虑虚函数和多态设计。RTTI 更适合“特殊情况处理”。
基本上就这些。dynamic_cast 保证类型安全转换,typeid 提供类型信息查询,两者配合可在运行时灵活处理对象类型。










