typeid 返回 std::type_info 对象而非字符串;name() 输出不可读且不跨平台,应使用 == 比较对象而非字符串,rtti 仅对多态类型有效,release 模式下可能被优化掉。

typeid 拿到的不是字符串,是 std::type_info 对象
很多人以为 typeid(obj).name() 直接返回可读类型名,结果发现输出一串乱码(比如 "i" 或 "St6vectorIiSaIiEE"),这是因为 std::type_info::name() 返回的是编译器生成的内部标识符,不保证可读,也不跨平台一致。
实操建议:
- 调试时想看类型,优先用 IDE 的 hover 提示或
gdb的ptype,比name()可靠 - 真要打印,加一层
abi::__cxa_demangle(GCC/Clang)解码,但注意它会动态分配内存,需free - MSVC 下可用
__FUNCSIG__或__declspec(align)配合宏推导,但不能用于运行时判断
typeid 在非多态类型上不触发 RTTI,行为受限
typeid 对非虚函数类(即没任何 virtual 成员的类)对象求值时,只做静态类型检查——编译期就决定了结果,跟实际对象内存里存的是什么都无关。这和很多人直觉相反。
常见错误现象:
立即学习“C++免费学习笔记(深入)”;
- 父类指针指向子类对象,但父类没虚函数 →
typeid(*ptr)永远返回父类类型 - 误以为
typeid能替代dynamic_cast做安全向下转型
使用场景限制:
- 只有类有至少一个虚函数(即开启 RTTI)时,
typeid才能反映实际动态类型 - 内置类型(
int、double)、POD 结构体、无虚函数类,typeid结果完全静态
比较两个 typeid 是否相等,必须用 ==,别用 strcmp
直接比较 typeid(a).name() 和 typeid(b).name() 的字符串内容?危险。同一类型在不同编译单元可能返回不同 name() 字符串(尤其模板实例化),但 std::type_info 对象自身重载了 ==,底层比对的是类型标识符 ID。
正确写法:
if (typeid(obj1) == typeid(obj2)) { /* 安全 */ }错误写法:
if (strcmp(typeid(obj1).name(), typeid(obj2).name()) == 0) { /* 不可靠 */ }性能影响: == 是常数时间比较;而字符串比较不仅慢,还可能因未解码导致误判。
release 模式下 typeid 可能被优化掉,特别是未使用的分支
某些编译器(如 GCC 开 -O2 且未开启 -fno-rtti)在确定 typeid 结果不影响控制流时,会直接删掉整个表达式。典型表现:debug 下正常,release 下 typeid 判断永远为假,或触发 std::bad_typeid 异常(虽然罕见)。
规避方法:
- 确保目标类型开启了 RTTI(检查编译选项:GCC/Clang 默认开,MSVC 需确认没关
/GR-) - 避免把
typeid写在明显死代码路径里(比如if (false) { typeid(x); }) - 如果逻辑依赖类型判断,考虑用
constexpr if(C++17)或 traits 替代运行时typeid
容易被忽略的一点:模板函数内使用 typeid,若该实例化从未被 ODR-used,整个类型信息可能根本不会生成。









