c++如何判断对象类型_c++ typeid关键字用法【原理】

12次阅读

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

c++ 如何判断对象类型_c++ typeid 关键字用法【原理】

typeid 拿到的不是字符串,是 std::type_info 对象

很多人以为 typeid(obj).name() 直接返回可读类型名,结果发现输出一串乱码(比如 "i""St6vectorIiSaIiEE"),这是因为 std::type_info::name() 返回的是编译器生成的内部标识符,不保证可读,也不跨平台一致。

实操建议:

  • 调试时想看类型,优先用 IDE 的 hover 提示或 gdbptype,比 name() 可靠
  • 真要打印,加一层 abi::__cxa_demangle(GCC/Clang)解码,但注意它会动态分配内存,需 free
  • MSVC 下可用 __FUNCSIG____declspec(align) 配合宏推导,但不能用于运行时判断

typeid 在非多态类型上不触发 RTTI,行为受限

typeid 对非虚函数类(即没任何 virtual 成员的类)对象求值时,只做静态类型检查——编译期就决定了结果,跟实际对象内存里存的是什么都无关。这和很多人直觉相反。

常见错误现象:

立即学习 C++ 免费学习笔记(深入)”;

  • 父类指针指向子类对象,但父类没虚函数 → typeid(*ptr) 永远返回父类类型
  • 误以为 typeid 能替代 dynamic_cast 做安全向下转型

使用场景限制:

  • 只有类有至少一个虚函数(即开启 RTTI)时,typeid 才能反映实际动态类型
  • 内置类型(intdouble)、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,整个类型信息可能根本不会生成。

text=ZqhQzanResources