std::type_index可安全用作map键，因其可拷贝、支持比较与哈希，而std::type_info&不可用；需开启rtti，注意类型修饰符敏感性、hash_code()非持久化及完整类型要求。
std::type_index 可以安全地作为 std::map 或 std::unordered_map 的键，但必须注意它不自动提供稳定哈希或跨平台可比性，且依赖 RTTI 开启。
为什么不能直接用 std::type_info& 做容器键
因为 std::type_info 禁止拷贝、不可构造、无默认比较语义，也不能存入标准关联/无序容器。你写 std::map<:type_info t></:type_info> 会编译失败；即使绕过（比如用指针），std::type_info::operator== 在某些旧标准下行为未定义，且无法哈希。
而 std::type_index 是专为解决这个问题设计的包装：它可拷贝、可移动、支持 ==/!=、提供 hash_code()，并隐式转换自 const std::type_info&。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 常见错误现象：
std::type_info引用生命周期短（如临时typeid(x)），存储其地址会导致悬垂指针 - 使用场景：工厂注册表、策略映射、插件系统中按类型分发对象
- 性能影响：
std::type_index内部仅保存指向std::type_info的 const 指针，构造和比较都是 O(1)；hash_code()通常也是 O(1)，但值不稳定
std::type_index 作 std::unordered_map 键要手动提供哈希器
std::unordered_map 默认用 std::hash<:type_index></:type_index>，C++11 起标准已特化该模板，所以多数编译器下直接可用。但要注意：
- 若你用的是极老编译器（如 GCC 4.7 之前），需自行定义
std::hash特化 -
std::type_index::hash_code()返回值是实现定义的——同一程序多次运行可能不同，不能用于持久化或网络传输 - 不要把
hash_code()当作类型唯一 ID 使用；它只适合单次进程内哈希查找 - 示例：
std::unordered_map<:type_index std::function>> handlers;</:type_index>是合法且高效的
类型修饰符敏感：int 和 const int 是不同键
std::type_index{typeid(int)} 与 std::type_index{typeid(const int)} 不相等，哪怕你传的是 const int x = 42;。这是由 typeid 语义决定的，std::type_index 忠实反映它。
- 常见错误现象：注册了
std::type_index{typeid(MyClass)}，却用std::type_index{typeid(const MyClass&)}去查，结果查不到 - 使用场景：做类型擦除容器（如
any替代品）时，务必统一约定“注册用值类型，查询也用值类型” - 参数差异：对指针类型，
typeid(T*)和typeid(T)完全不同；多态识别要用typeid(*ptr)或typeid(obj)，而非typeid(ptr) - 兼容性影响：所有主流编译器（GCC/Clang/MSVC）都遵守这一规则，无需条件编译
RTTI 必须开启，否则 typeid 行为未定义
std::type_index 本身不触发 RTTI，但它依赖 typeid 的结果。若编译时加了 -fno-rtti（常见于嵌入式或游戏引擎底层模块），typeid 对多态类型会抛异常或崩溃，对非多态类型虽可能编译通过，但行为不可靠。
- 常见错误现象：程序在调试版正常，发布版（开了
-fno-rtti）运行到typeid(x)就 abort - 检查方法：编译时确认没传
-fno-rtti；CMake 中可加set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -frtti") - 容易被忽略的地方：头文件里用了
std::type_index，但源文件编译选项不一致，导致链接时符号缺失或运行时异常 - 前置声明类不能用：
class X;后直接typeid(X)是非法的——类型必须有完整定义
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
