一、C++ RTTI（运行时类型识别）原理
（一）基本概念
RTTI是一种C++语言特性，它允许程序在运行时检查对象的类型。C++标准中定义了两种主要的RTTI机制：dynamic_cast和typeid。
（二）实现原理
dynamic_cast
它主要用于安全地向下转型（从基类指针或引用转换为派生类指针或引用）。在有继承关系的类中，dynamic_cast的实现依赖于类型信息（type_info）。每个类对象在运行时会有一个与之关联的type_info对象。这个type_info对象包含了类的名称、继承关系等信息。当使用dynamic_cast时，编译器会通过这些类型信息来判断转换是否合法。例如，有一个基类Base和派生类Derived。当尝试将Base*转换为Derived*时，dynamic_cast会检查Base类的type_info中是否包含Derived类的继承信息。如果Derived是从Base派生的，且Base是多态的（含有虚函数），那么转换成功；否则失败。
typeid
typeid运算符返回一个type_info对象的引用。这个type_info对象同样存储了类型相关的数据。它可以用于比较类型是否相同。例如，typeid(obj1) == typeid(obj2)可以判断obj1和obj2是否是同一类型。其原理也是基于运行时存储的类型信息。
二、RTTI的实现开销
（一）存储开销
每个类都会有一个与之关联的type_info对象。这个对象会占用一定的存储空间。它存储了类的名称（通常是一个字符串）、继承关系等信息。对于复杂的类继承体系，这些信息可能会比较大。类对象本身可能也需要额外的存储空间来支持RTTI。例如，在某些实现中，对象可能包含一个指向type_info对象的指针。
（二）时间开销
运行时检查
使用dynamic_cast时，需要在运行时检查类型信息来确定转换是否合法。这比简单的指针类型转换（如static_cast）要慢。因为dynamic_cast需要沿着继承关系树进行搜索，查找目标类型是否是源类型的派生类。而且，如果转换失败（例如，基类指针指向的对象不是目标派生类类型），dynamic_cast还需要进行异常处理（返回空指针或抛出异常），这也增加了时间开销。
typeid比较
比较type_info对象也需要一定的时间。虽然现代C++标准库的实现对type_info的比较进行了优化，但相比于直接比较类型名称字符串等简单操作，仍然会更慢。
三、禁用RTTI的方法
（一）编译器选项
许多现代C++编译器提供了禁用RTTI的选项。例如：
在GCC（GNU Compiler Collection）中，可以使用-fno-rtti编译选项来禁用RTTI。这会使得程序在编译时不会生成与RTTI相关的代码和数据结构，从而节省存储空间和运行时间。在MSVC（Microsoft Visual C++）中，可以通过项目属性中的“C/C++”->“语言”->“运行时类型信息”选项将其设置为“否”来禁用RTTI。
（二）注意
禁用RTTI后，程序中不能使用dynamic_cast（除非转换的目标类型是引用类型且转换是向上转型，这种情况下dynamic_cast退化为static_cast）和typeid。如果尝试使用这些RTTI相关的特性，编译器会报错。禁用RTTI可能会使程序的类型安全检查能力下降。在一些需要动态类型检查的场景（如复杂的继承体系和多态应用）中，禁用RTTI可能会导致一些难以发现的错误。
如果禁用RTTI（运行时类型识别），对多态类的影响主要体现在以下几个方面：
一、dynamic_cast的限制
向下转型失效
正常情况（启用RTTI）：对于多态类（含有虚函数的类），dynamic_cast可以在运行时安全地将基类指针或引用向下转型为派生类指针或引用。它会检查对象的实际类型，确保转换是合法的。禁用RTTI后：dynamic_cast将无法进行运行时类型检查。对于多态类，dynamic_cast会退化为static_cast的行为。这意味着它不再检查对象的实际类型，而是直接进行转换。如果转换错误（例如，基类指针指向的对象不是目标派生类类型），可能会导致未定义行为，如访问非法内存区域，从而引发程序崩溃或其他错误。示例：class Base {
public:
virtual void f() {}
};
class Derived : public Base {};
int main() {
Base* base = new Base();
Derived* derived = dynamic_cast
if (derived) {
// 正常处理
} else {
// 转换失败
}
}
如果禁用RTTI，上述代码中dynamic_cast会直接将Base*转换为Derived*，而不会检查base是否指向Derived对象。如果base指向的不是Derived对象，访问derived可能会导致错误。
向上转型不受影响
向上转型（从派生类指针或引用转换为基类指针或引用）不需要RTTI，无论是启用还是禁用RTTI，dynamic_cast都可以安全地进行向上转型，因为向上转型总是安全的。
二、typeid失效
类型信息丢失
正常情况（启用RTTI）：可以使用typeid来获取对象的类型信息，例如比较对象的类型是否相同。禁用RTTI后：typeid将无法使用。尝试使用typeid会导致编译错误。这意味着无法通过typeid来动态检查对象的类型。示例：if (typeid(*base) == typeid(Derived)) {
// 处理Derived类型
}
如果禁用RTTI，上述代码会编译失败，因为typeid无法使用。
三、多态行为本身不受影响
虚函数调用正常
正常情况（启用RTTI）：多态类的虚函数调用机制依赖于虚表（vtable），而不是RTTI。即使禁用RTTI，虚函数的多态行为仍然正常工作。禁用RTTI后：虚函数的调用机制不受影响。通过基类指针或引用调用虚函数时，仍然会调用对象的实际类型对应的虚函数。示例：class Base {
public:
virtual void f() { std::cout << "Base::f" << std::endl; }
};
class Derived : public Base {
public:
void f() override { std::cout << "Derived::f" << std::endl; }
};
int main() {
Base* base = new Derived();
base->f(); // 输出 "Derived::f"，多态行为正常
}
即使禁用RTTI，上述代码中的多态行为仍然正常。
四、总结
禁用RTTI对多态类的影响主要体现在以下几点：
dynamic_cast的运行时类型检查失效：向下转型不再安全，可能会导致未定义行为。typeid失效：无法使用typeid来动态检查对象的类型。多态行为本身不受影响：虚函数的调用机制仍然正常工作。
因此，在禁用RTTI的情况下，需要特别小心使用dynamic_cast，避免错误的类型转换。同时，如果需要动态类型检查，可能需要通过其他方式（如手动维护类型信息）来实现。