可行但需规避三类坑：生命周期要求用 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></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 构造本身就会失效，哈希器问题只是表象。
- 验证方式：
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></typeindex>（提供std::type_index定义）和#include <typeinfo></typeinfo>（支撑typeid） - 跨动态库场景下，
hash_code()值可能不一致，但==比较仍可靠 —— 所以永远用==判断相等，别依赖哈希值
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
