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

可行但需规避三类坑：生命周期（必须用花括号初始化）、类型修饰符（注册与查询须完全一致，推荐std::remove_cvref_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)

std::type_index 内部保存的是 const std::type_info*，它靠值构造来安全持有指针。而 typeid 表达式返回的是临时 const std::type_info&，对其取地址（如 &typeid(MyClass)）会立刻生成悬垂指针。

错误写法：factory[&typeid(MyClass)] = value; —— 地址失效后，后续 find() 或哈希可能触发未定义行为
错误写法：std::type_index(typeid(MyClass)) —— 某些编译器会将其解析为函数声明（最 vexing parse）
正确写法：std::type_index{typeid(MyClass)} —— 值构造，由 type_index 自行管理内部指针生命周期
多态对象必须解引用：std::type_index{typeid(*ptr)}，否则 typeid(ptr) 返回的是指针类型（如 Base*），不是实际派生类

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

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

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

std::type_index{typeid(int)} ≠ std::type_index{typeid(const int)}
std::type_index{typeid(MyClass)} ≠ std::type_index{typeid(const MyClass&)}
模板函数中慎用 decltype(x)：若 x 是 const MyClass&，则 typeid(x) 带 const& 修饰，和注册时裸类型不匹配
统一建议：注册和查询都基于“退修饰后的值类型”，例如 std::type_index{typeid(std::remove_cvref_t<t>{})}</t>（T 为模板参数）或 std::type_index{typeid(std::remove_cvref_t<decltype>{})}</decltype>

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

标准从 C++11 起已特化 std::hash<:type_index></:type_index>，但 GCC 4.8、MSVC 2013 等旧环境，或项目禁用 RTTI（-fno-rtti）、遗漏头文件时，仍可能报 no matching function for call to ‘hash’。

验证方式：static_assert(std::is_default_constructible_v<:hash>>);</:hash>，失败即需干预
若断言失败，显式传入标准哈希器：std::unordered_map<:type_index t std::hash>></:type_index>
更稳妥做法：优先用 std::map<:type_index t></:type_index> —— 它只依赖 operator，而 <code>std::type_index 已完整支持，无需哈希器适配
别自己封装哈希器调 ti.hash_code() —— 它本就是标准 std::hash 特化的底层依据，重复封装无意义且易出错