C++怎么使用type_info_C++运行时类型教程【识别】

1次阅读

type_info 不能用于类型识别,因其仅提供只读名称和哈希码,无标准格式、不可构造拷贝、hash_code不跨模块稳定、name()字符串实现依赖且无法安全匹配;正确方式是 typeid 配合 == 或 dynamic_cast,二者均需开启 rtti。

C++怎么使用type_info_C++运行时类型教程【识别】

不能直接用 type_info 做类型比较或转换,它只提供只读的运行时类型名称和基础标识能力;真要识别/判断类型,得靠 dynamic_casttypeid 配合 ==,且必须开启 RTTI。

为什么 type_info 本身不能用来“识别类型”

type_info 是个不可构造、不可拷贝的类,设计上就是只读句柄——它不暴露类型 ID 数值,也不支持哈希或比较以外的操作。你拿到一个 type_info&,只能调用 name()(返回实现定义的字符串)或 hash_code()c++11 起),但 hash_code() 在不同编译单元可能不一致,不能跨 DLL/so 比较。

  • typeid(obj) 返回的是 const type_info&,不是新对象,多次调用同一对象得到的引用可能相等,但标准不保证地址相同
  • name() 返回的字符串没有标准化格式,GCC 输出 "St6vectorIiSaIiEE",MSVC 是 class std::vector<int std::allocator> >"</int>,没法安全字符串匹配
  • 试图 static_cast<const type_info>(&typeid(T))</const> 是未定义行为,type_info 没有公开的虚表布局

typeiddynamic_cast 才是识别类型的正确组合

真正做类型识别(比如判断指针是否指向某个派生类),靠的是 typeid 的相等比较或 dynamic_cast 的空检查,二者都依赖 RTTI 且语义不同:

  • typeid:适合已知对象存在(非空)、且需要精确类型匹配的场景,比如日志、断言、简单工厂分发
    if (typeid(*ptr) == typeid(DerivedA)) { /* 确实是 DerivedA,不是子类 */ }
  • dynamic_cast:适合多态指针/引用的“安全向下转型”,能处理继承链,返回 nullptr 或抛出异常(引用版),比 typeid 更健壮
    if (auto* d = dynamic_cast<DerivedB*>(ptr)) { /* ptr 实际指向 DerivedB 或其派生类 */ }
  • 两者都不能用于非多态类型(即不含虚函数的类),否则 typeid 仍工作但只反映静态类型,dynamic_cast 编译失败

RTTI 开关和常见编译错误

RTTI 默认开启,但很多嵌入式或性能敏感项目会关掉(如 GCC/Clang 的 -fno-rtti,MSVC 的 /GR-)。关掉后:typeid 对非内置类型行为未定义,dynamic_cast 直接报错,而 type_info 类型本身仍存在,但无法实例化。

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

  • 错误信息类似:Error: cannot use 'typeid' with '-fno-rtti'error C2680: 'dynamic_cast' requires the '/GR' option
  • 若链接时出现 undefined reference to 'typeinfo for XXX',说明某处用了 typeid 或异常,但目标文件没开 RTTI,需统一编译选项
  • 启用 RTTI 不显著影响性能,除非高频调用 typeiddynamic_cast;现代编译器对 typeid 常量比较能内联优化

真正麻烦的是跨模块类型识别:DLL/so 中的类,如果导出符号不一致或 RTTI 表未导出(如 windows 上没加 __declspec(dllexport)),typeid 比较会失败,dynamic_cast 可能返回空——这时候别硬刚 type_info,该用接口抽象就用接口抽象。

text=ZqhQzanResources