RTI在C++中需手动实现，裸指针（如void*）不携带类型信息，reinterpret_cast仅改变编译期解释；必须通过静态TypeInfo结构体及指针访问唯一标识，确保跨单元可比性与继承链正确性。
RTI（Run-Time Information）在C++中没有语言原生支持，所谓“自定义RTI信息”本质是手动实现类型标识与运行时查询能力，指针本身不提供类型信息，必须配合额外元数据结构；直接用裸指针无法获得类型名、成员布局或继承关系，必须由开发者显式构造并维护。
为什么不能只靠 void* 或 reinterpret_cast 实现 RTI
裸指针（如 void*）擦除了所有类型信息，reinterpret_cast 仅改变编译期解释方式，不携带任何运行时描述。试图仅靠指针做类型判断，会导致：
- 无法区分
Base*和Derived*指向同一对象时的原始类型 - 无法安全向下转型（无
dynamic_cast等效逻辑） - 无法枚举类成员或获取字段偏移量
真正可行的路径是：为每个需 RTI 的类型定义唯一标识（如字符串或 ID），并通过指针间接访问该标识 —— 指针只是访问载体，不是信息源头。
如何用指针安全访问自定义 RTI 结构体
典型做法是让每个类持有一个指向全局 RTI 描述符的静态指针，实例通过成员函数返回该指针。关键点在于避免虚函数开销（若不用多态）或确保单例唯一性（若用全局注册）：
立即学习“C++免费学习笔记（深入）”；
- 定义统一 RTI 描述结构：
struct TypeInfo { const char* name; size_t size; const TypeInfo* base; }; - 每个类声明静态
TypeInfo变量，并在定义处初始化（注意：不可在头文件中定义，防止 ODR 违规） - 提供非虚接口（如
get_type_info()成员函数），返回&MyClass::type_info—— 这里返回的是const TypeInfo*，即指向描述符的指针 - 若需支持继承链查询，
base字段应指向父类的TypeInfo地址，且必须保证初始化顺序（父类TypeInfo先于子类定义）
示例：
struct Base {
static const TypeInfo type_info;
const TypeInfo* get_type_info() const { return &Base::type_info; }
};
const TypeInfo Base::type_info = {"Base", sizeof(Base), nullptr};
<p>struct Derived : Base {
static const TypeInfo type_info;
const TypeInfo* get_type_info() const override { return &Derived::type_info; }
};
const TypeInfo Derived::type_info = {"Derived", sizeof(Derived), &Base::type_info}; // 注意取址用 &Base::type_info
用指针做 RTI 类型比较时的常见错误
开发者常误以为比较 typeid(*ptr).name() 就等价于自定义 RTI，但 typeid 依赖 RTTI 开关（-fno-rtti 下失效），且返回字符串不可靠（不同编译器/标准库实现不同）。使用自定义指针方案时，易错点包括：
- 将
TypeInfo定义为局部静态变量（导致地址不唯一，跨编译单元不可比） - 在模板类中未对每个实例化生成独立
TypeInfo（导致vector<int>和vector<double>返回相同地址） - 用
==比较两个const TypeInfo*时，未确保它们指向同一静态对象（例如误用new TypeInfo{...}） - 忽略 const 正确性：返回
TypeInfo*而非const TypeInfo*，破坏只读语义且可能引发 ODR 问题
性能与部署注意事项
自定义 RTI 指针方案零运行时开销（无虚表、无异常栈展开），但需承担手动维护成本。特别要注意：
- 所有
TypeInfo必须定义在 .cpp 文件中，否则模板实例化或内联可能导致重复定义 - 若需支持动态加载（如插件），
TypeInfo地址在不同模块中不具可比性，此时应改用字符串名哈希或全局注册表索引 - 调试时打印
ptr->get_type_info()->name很方便，但生产环境建议用整型 ID 替代字符串（节省 cache 和比较开销） - 不要试图通过指针算术反推类型（如
reinterpret_cast<char*>(ptr) - offset），这绕过 C++ 对象模型，极易因 padding、多重继承或 ABI 变更而崩溃
最常被忽略的一点：即使所有代码都正确，只要有一个派生类忘记初始化 base 字段，整个类型树查询就会静默失败 —— 这种错误不会触发编译告警，只能靠测试覆盖或构建时检查工具捕获。
