C++笔记（面向对象）RTTI操作符

RTTI（Run-Time Type Information）操作符详解笔记：

1. RTTI 基本概念

RTTI = 运行时类型信息，允许程序在运行时查询对象的实际类型。

两个核心操作符：

typeid - 获取类型信息
dynamic_cast - 安全的类型转换

2. typeid 操作符

基本语法：

cpp

复制代码

#include <typeinfo>  // 必须包含的头文件

typeid(表达式)    // 返回 std::type_info 对象

基本用法：

cpp

复制代码

#include <iostream>
#include <typeinfo>
using namespace std;

class Base {
    virtual void func() {}  // 有虚函数才是多态类型
};

class Derived : public Base {};

int main() {
    int i = 10;
    double d = 3.14;
    string s = "hello";
    
    // 获取基本类型信息
    cout << typeid(i).name() << endl;  // 输出: int
    cout << typeid(d).name() << endl;  // 输出: double  
    cout << typeid(s).name() << endl;  // 输出: string
}

3. typeid 的关键特性

多态类型 vs 非多态类型：

cpp

复制代码

Base* base_ptr = new Derived();

// 有虚函数 - 返回实际类型（动态类型）
cout << typeid(*base_ptr).name() << endl;  // 输出: Derived

// 无虚函数 - 返回声明类型（静态类型）  
cout << typeid(base_ptr).name() << endl;   // 输出: Base*

类型比较：

cpp

复制代码

Derived derived;
Base* ptr1 = &derived;
Base* ptr2 = new Base();

// 类型比较
if (typeid(*ptr1) == typeid(*ptr2)) {
    cout << "相同类型" << endl;
} else {
    cout << "不同类型" << endl;  // 执行这里
}

if (typeid(*ptr1) == typeid(Derived)) {
    cout << "实际是Derived类型" << endl;  // 执行这里
}

4. dynamic_cast 操作符

基本语法：

cpp

复制代码

dynamic_cast<目标类型>(表达式)

指针转换（安全）：

cpp

复制代码

class Base { 
    virtual ~Base() {}  // 必须有多态性
};
class Derived : public Base {};

Base* base_ptr = new Derived();

// 安全向下转换
Derived* derived_ptr = dynamic_cast<Derived*>(base_ptr);
if (derived_ptr != nullptr) {
    cout << "转换成功" << endl;
} else {
    cout << "转换失败" << endl;
}

引用转换（异常）：

cpp

复制代码

Base base_obj;
Derived derived_obj;
Base& base_ref1 = derived_obj;  // 向上转换
Base& base_ref2 = base_obj;     // 就是基类

try {
    Derived& d1 = dynamic_cast<Derived&>(base_ref1);  // 成功
    Derived& d2 = dynamic_cast<Derived&>(base_ref2);  // 抛出 bad_cast
} catch (const bad_cast& e) {
    cout << "引用转换失败: " << e.what() << endl;
}

5. RTTI 的实际应用场景

场景1：类型安全检查

cpp

复制代码

void process(Base* obj) {
    if (Derived* d = dynamic_cast<Derived*>(obj)) {
        // 安全使用Derived特有方法
        d->special_method();
    } else {
        // 处理其他类型
        cout << "不是Derived类型" << endl;
    }
}

场景2：调试和日志

cpp

复制代码

void debugInfo(const Base& obj) {
    cout << "对象类型: " << typeid(obj).name() << endl;
    cout << "类型哈希: " << typeid(obj).hash_code() << endl;
}

场景3：工厂模式

cpp

复制代码

class Factory {
public:
    static Base* create(const string& type_name) {
        if (type_name == typeid(Derived).name()) {
            return new Derived();
        }
        // ... 其他类型判断
        return nullptr;
    }
};

6. RTTI 的限制和成本

使用限制：

cpp

复制代码

// ❌ 不能用于非多态类型
class NonPolymorphic {};
NonPolymorphic np;
// cout << typeid(np).name() << endl;  // 可以，但返回静态类型
// dynamic_cast<Other*>(&np);         // ❌ 编译错误！

// ❌ 不能用于基本类型转换
int i = 10;
// double* d = dynamic_cast<double*>(&i);  // ❌ 编译错误！

性能成本：

typeid：开销较小，但需要虚函数表查询
dynamic_cast：开销较大，需要遍历继承树

7. 最佳实践

使用准则：

cpp

复制代码

// ✅ 好的用法
if (Derived* d = dynamic_cast<Derived*>(base_ptr)) {
    // 转换成功，安全使用
    d->method();
}

// ❌ 坏的用法 - 过度使用RTTI
if (typeid(*obj) == typeid(Derived)) {
    // 应该用dynamic_cast代替
}

// ✅ 调试时使用typeid
cout << "调试: " << typeid(*obj).name() << endl;

// ❌ 生产代码避免频繁typeid比较
// if (typeid(obj) == typeid(Derived)) { ... }

设计建议：

优先使用虚函数而不是RTTI
用dynamic_cast替代typeid比较
在性能关键路径避免RTTI
考虑使用Visitor模式替代RTTI

8. 总结对比

操作符	返回值	失败行为	适用场景
`typeid`	`type_info`对象	总是成功	类型信息查询、调试
`dynamic_cast`（指针）	目标类型指针	返回`nullptr`	安全向下转换
`dynamic_cast`（引用）	目标类型引用	抛出`bad_cast`	必须成功的转换

核心要点：

RTTI需要虚函数支持
typeid用于查询，dynamic_cast用于转换
生产代码慎用，调试代码可用
有性能开销，特别是dynamic_cast

记住：好的面向对象设计应该尽量减少RTTI的使用！