C++ std::type_index 在异构容器存储应用案例应用及其动态类型快速检索详解【详解】-C++-PHP中文网

可行但需规避生命周期、类型修饰符、哈希器三类坑：必须用花括号初始化std::type_index{typeid(T)}，注册与查询类型修饰符须完全一致，启用RTTI并优先选用std::map避免哈希器问题。

c++ std::type_index 在异构容器存储应用案例应用及其动态类型快速检索详解【详解】

直接用 std::type_index 作异构容器（如 std::map 或 std::unordered_map）的键是可行的，但只要踩中生命周期、类型修饰符、哈希器这三类坑中的任意一个，就会出现“查不到”“崩溃”或“跨编译单元行为不一致”——这不是库的问题，而是对 std::type_index 和 typeid 语义理解偏差导致的。

std::type_index{typeid(T)} 必须用花括号初始化，禁用 &typeid(T)

错误写法：factory[&typeid(MyClass)] 或 std::type_index(typeid(MyClass))（可能被解析为函数声明）会构造悬垂指针。因为 typeid 返回的是临时 std::type_info 对象，取其地址后生命周期只到表达式结束，后续比较或哈希触发未定义行为。

正确做法始终是使用花括号初始化，让 std::type_index 自行持有并管理内部指针：

std::type_index{typeid(MyClass)} —— 最常用，适用于已知具体类型的注册场景
std::type_index{typeid(*ptr)} —— 多态对象必须解引用，否则 typeid(ptr) 得到的是指针类型（如 Base*），不是实际派生类
std::type_index{typeid(std::remove_cv_t<:remove_reference_t>>{})} —— 对变量 x 退修饰后构造，避免 const MyClass& 和 MyClass 键不匹配

注册与查询的类型修饰符必须完全一致

std::type_index 对 const、volatile、引用（&、&&）、指针（*）完全敏感。哪怕只是声明差异，键就不同：

std::type_index{typeid(int)} ≠ std::type_index{typeid(const int)}
std::type_index{typeid(MyClass)} ≠ std::type_index{typeid(const MyClass&)}
std::type_index{typeid(ptr)} 得到的是指针类型，应改用 std::type_index{typeid(*ptr)}

典型翻车点：工厂注册用 typeid(ConcreteA)，调用方传入 const ConcreteA& x 后却查 typeid(x)，结果 find() 永远返回 end()。统一约定建议：注册和查询都基于“值类型”，即 std::type_index{typeid(T)}（T 是非引用、非 const 的完整类型）。

std::unordered_map<:type_index t> 编译失败？优先验证哈希器和 RTTI

虽然 C++11 标准要求特化 std::hash<:type_index>，但旧编译器（如 GCC 4.8、MSVC 2013）、禁用 RTTI（-fno-rtti）或遗漏头文件都会导致 std::unordered_map<:type_index t> 编译失败，报错类似 “no matching function for call to ‘hash’”。