可行但需规避三类坑:生命周期要求用 typeid(T{}) 或 std::declval;类型修饰符必须完全一致,建议统一用 std::remove_cv_t;哈希器缺失时优先换 std::map,且 RTTI 必须开启。

直接用 std::type_index 作异构容器(如 std::map 或 std::unordered_map)的键是可行的,但只要踩中生命周期、类型修饰符、哈希器这三类坑中的任意一个,find() 就会返回 end(),甚至触发未定义行为——不是代码写错了,而是语义理解偏差了。
std::type_index{typeid(T)} 必须作用于具体表达式,不能裸写 typeid(T)
模板中写 typeid(T) 是非法的:T 是未实例化的类型名,不是表达式。编译器可能静默接受,但行为未定义;更常见的是模板实例化失败或生成错误键值。
- 错误写法:
template<typename t> void reg() { factory[std::type_index{typeid(T)}] = ...; }</typename>—— 这行不通 - 正确写法:
std::type_index{typeid(T{})}(要求 T 可默认构造)或std::type_index{typeid(std::declval<t>())}</t>(更通用,需#include <utility>) - 最稳妥写法:注册阶段已知具体类型时,直接写死,如
std::type_index{typeid(ConcreteA)},清晰、无歧义、不依赖模板上下文
注册与查询的类型修饰符必须完全一致
std::type_index 对 const、&、* 等修饰符完全敏感。它反映的是 typeid 表达式的完整声明类型,不是“逻辑上同一个类型”。
- 注册用了
std::type_index{typeid(MyClass)},查询却传std::type_index{typeid(const MyClass&)}→ 查不到 - 对指针参数
Base* ptr,误用typeid(ptr)→ 得到的是Base*类型键,而非所指对象的实际类型;应改用std::type_index{typeid(*ptr)} - 统一建议:工厂注册和运行时查询都使用“退修饰后的值类型”,例如
std::type_index{typeid(std::remove_cv_t<:remove_reference_t>>{})}</:remove_reference_t>,或在调用点显式剥离:std::type_index{typeid(T)}(当 T 是模板参数且已去引用)
std::unordered_map<:type_index t> 编译失败?优先换 std::map
虽然 C++11 标准要求特化 std::hash<:type_index></:type_index>,但 GCC 4.8、MSVC 2013 等旧环境仍可能缺失;即使新版,若构建时禁用 RTTI(-fno-rtti),std::type_index 构造本身就会失效,哈希器问题只是表象。
立即学习“C++免费学习笔记(深入)”;
- 验证方式:
static_assert(std::is_default_constructible_v<:hash>>);</:hash>,不通过就得干预 - 最简方案:改用
std::map<:type_index t></:type_index>——std::type_index已重载operator<,无需额外配置,兼容性零风险 - 坚持用
std::unordered_map?显式传std::hash<:type_index></:type_index>:std::unordered_map<:type_index t std::hash>></:type_index>;别自己封装调ti.hash_code(),那是底层实现细节,且hash_code()值不跨进程稳定,仅适合单次运行内桶索引
RTTI 必须开启,且不能忽略其隐式依赖
所有 std::type_index 行为都建立在 RTTI 基础上。关掉 RTTI 后,typeid 行为未定义,std::type_index 构造可能静默返回错误结果,find() 永远失败——编译器通常不报错,调试时极难定位。
- GCC/Clang:确认未加
-fno-rtti(默认开启) - MSVC:确认启用
/GR(默认开启),而非/GR- - 头文件缺一不可:
#include <typeindex>(提供std::type_index定义)和#include <typeinfo>(支撑typeid) - 跨动态库场景下,
hash_code()值可能不一致,但==比较仍可靠 —— 所以永远用==判断相等,别依赖哈希值


















