c++oding="utf-8" ?>
std::type_index可安全作异构容器类型键,但须统一注册与查询的类型表达式(如均用typeid(concretea)而非带cv/引用修饰的变体),且需确保rtti开启;旧标准库中需显式提供哈希器,因std::hash可能未特化。

std::type_index 可以安全用作异构容器的类型键,但必须统一注册和查询时的类型表达式,否则查不到——这不是 bug,是 typeid 语义决定的。
std::type_index 作为 std::unordered_map 键时编译失败
直接写 std::unordered_map<:type_index t></:type_index> 在部分旧标准库(如某些 libstdc++ 旧版本)下会编译失败,因为 std::hash<:type_index></:type_index> 未被特化。
- 解决办法:显式提供哈希器,例如
std::unordered_map<:type_index t std::hash>></:type_index> - 注意:C++11 起标准已要求特化该哈希器,但 GCC 4.9 之前、MSVC 2013 等旧环境仍可能缺失,需加
#include <typeindex></typeindex>并验证编译器行为 - 不推荐手写哈希器——
std::type_index::hash_code()是实现定义的,值不稳定,仅适合单次进程内查找
注册 std::type_index{typeid(MyClass)} 却查不到
常见原因是查询时用了带修饰符的类型,比如注册用的是 typeid(MyClass),查询却用了 typeid(const MyClass&) 或 typeid(MyClass*)。
-
std::type_index对const、&、*敏感:它们是完全不同的类型键 - 工厂注册场景中,应统一约定“注册/查询均使用无 cv 限定、无引用的值类型”,例如始终用
typeid(ConcreteA),而非typeid(ConcreteA&) - 模板函数内慎用
typeid(T):若T是引用类型,typeid(T)返回的是引用类型的type_info;更稳妥写法是typeid(std::remove_reference_t<t>{})</t>或typeid(T{})
与 std::any::type() 混用时类型不匹配
std::any::type() 返回的是 const std::type_info&,可直接构造 std::type_index,但要注意生命周期和比较一致性。
- 不能存储
&any.type()这种引用——any::type()返回临时对象,取地址导致悬垂 - 正确做法:
std::type_index{any.type()},利用std::type_index的拷贝语义安全封装 - 比较时别混用:不要拿
any.type() == typeid(int)的结果,去查一个用std::type_index{typeid(const int)}构建的 map —— 类型修饰不一致,永远为 false
最易忽略的一点:RTTI 必须开启。GCC/Clang 需加 -frtti(默认开启),MSVC 需确认未启用 /GR-。关掉 RTTI 后,typeid 行为未定义,std::type_index 失效,且不会报错,只会静默返回错误比较结果。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











