c++oding="utf-8" ?>
std::type_index不能直接用于unordered_map，因为标准库未特化std::hash，导致编译失败；解决方法是显式提供哈希仿函数，如struct type_index_hash { size_t operator()(const std::type_index& ti) const { return ti.hash_code(); } };。
std::type_index 作为 map 键时为什么不能直接用 unordered_map？
因为 std::unordered_map 要求键类型提供特化的 std::hash，而标准库**没有为 std::type_index 提供 std::hash 特化**——直接写 std::unordered_map<:type_index t></:type_index> 会编译失败，报错类似：error: no match for call to '(const std::hash<:type_index>) ...'</:type_index>。
解决办法是显式传入哈希函数对象：
- 用
std::unordered_map<:type_index t std::hash>></:type_index>——但注意：这在某些旧标准库（如 libstdc++ std::hash<:type_index> 是 C++11 后逐步补全的 - 更稳妥的是自己写一个哈希仿函数：
struct type_index_hash { size_t operator()(const std::type_index& ti) const { return ti.hash_code(); } };，然后声明为std::unordered_map<:type_index t type_index_hash></:type_index> - 若仅需小规模查找（std::map<:type_index t> 反而更简单、无兼容性风险，且
std::type_index的operator 已定义，比较开销也极低
用 typeid(T{}) 构造 std::type_index 时踩的坑
模板内不能写 typeid(T)（T 是未实例化的类型名），这是非法表达式；也不能写 typeid(T).name() 做键——字符串不可靠，跨编译器、甚至同编译器不同构建都可能变。
正确做法是确保 typeid 作用于一个**可求值的表达式**：
-
std::type_index{typeid(T{})}：适用于可默认构造的类型，安全 -
std::type_index{typeid(std::declval<t>())}</t>：更通用，但需#include <utility></utility>，且T必须满足可假想构造（SFINAE 友好） - 若在工厂注册阶段已知具体类型（如
ConcreteA），直接写std::type_index{typeid(ConcreteA)}最清晰，无需模板上下文
错误示例：template<typename t> void reg() { factory[std::type_index{typeid(T)}] = ...; }</typename> —— 这行不通。
std::type_index 在异构容器中如何配合 std::any 实现类型安全分发
常见模式是用 std::type_index 做键索引，std::any 存值，但要注意二者协作边界：
-
std::any自带type()方法，返回std::type_info&，可转成std::type_index用于查找：auto key = std::type_index{val.type()} - 不要把
std::any当作“万能存储”滥用：每次std::any_cast都有运行时类型检查开销；高频访问场景建议用std::variant或专用访问器 - 若容器要支持多态行为（比如统一
draw()），std::type_index+ 函数指针/lambda 更合适，而不是塞一堆std::any；std::any适合“数据暂存”，不是“行为调度”
例如：std::map<:type_index std::function std::any>> renderers;</:type_index>，注册时绑定对应类型的渲染逻辑，调用时先查 std::type_index 再执行函数，比反复 any_cast 更可控。
跨编译单元使用 std::type_index 时的稳定性保障
std::type_index 对同一类型在不同 .cpp 文件中生成的 hash 和比较结果**总是相同**，这是标准保证的（C++11 §20.10.7.6），不依赖 RTTI 地址或 name 字符串。
但要注意两个实际约束：
- 必须确保类型定义完全一致：头文件包含顺序、宏定义、模板参数推导路径都不能导致 ODR-violation（比如在 A.cpp 里用
std::vector<int></int>，B.cpp 里用std::vector<int std::allocator>></int>，某些编译器可能视为不同类型） - 避免在动态链接库（DLL / .so）边界直接传递
std::type_index键——虽然它本身是 POD，但若类型定义不在导出头文件中显式暴露，接收方可能无法正确匹配（尤其涉及模板实例化时）
最稳妥的做法：所有注册和查找操作集中在同一动态库或主程序内完成；若必须跨库，用字符串 ID 或整数枚举做间接映射，std::type_index 仅用于内部缓存。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
