可行且推荐用 std::type_index 作异构容器类型键，但需手动提供哈希函数才能用于 std::unordered_map，否则编译失败；std::map 可直接使用，因已支持 operator
直接说结论：用 std::type_index 做异构容器的类型键是可行且推荐的，但不能直接塞进 std::unordered_map——因为标准库没为它特化 std::hash，编译会失败；必须手动提供哈希函数或改用 std::map。
为什么 std::type_index 不能直接当 unordered_map 的 key
虽然 std::type_index 自带 hash_code() 成员函数，但 std::unordered_map 要求键类型有对应的 std::hash<t></t> 特化。而标准库 **没有** 为 std::type_index 提供这个特化，所以写 std::unordered_map<:type_index t></:type_index> 会触发编译错误，典型报错类似：
error: no match for call to ‘std::hash<:type_index>()’</:type_index>
这不是你漏了头文件，是标准就是这么规定的。
- 解决办法只有两个：显式传入自定义哈希仿函数，或换用
std::map（它只依赖operator，而 <code>std::type_index已完整支持） - 别试图用
typeid(T).name()字符串做 key——名字不跨编译器稳定，且无类型语义，std::type_index才是唯一可移植、可比较、可拷贝的运行时类型标识
std::type_index + std::map 实现类型安全工厂
这是最常用、最稳妥的异构容器检索模式，比如实现一个对象创建工厂：
#include <typeindex>
#include <map>
#include <memory>
#include <functional><p>struct Base { virtual ~Base() = default; };
struct ConcreteA : Base {};
struct ConcreteB : Base {};</p>
<p>using FactoryMap = std::map<:type_index std::function>()>></:type_index></p>
<p>FactoryMap factory;
factory[std::type_index{typeid(ConcreteA)}] = [] {
return std::make_unique<concretea>();
};
factory[std::type_index{typeid(ConcreteB)}] = [] {
return std::make_unique<concreteb>();
};</concreteb></concretea></p>
<p>// 检索并创建
auto it = factory.find(std::type_index{typeid(ConcreteA)});
if (it != factory.end()) {
auto obj = it->second(); // 类型安全，无需 cast
}</p></functional></memory></map></typeindex>
- 所有
std::type_index{typeid(...)}必须作用于具体表达式（如typeid(ConcreteA{})或typeid(ConcreteA)），模板内若写typeid(T)（T 是未实例化的模板参数）是未定义行为 -
std::map查找是O(log n)，对几十个类型完全够用；若真要高频查找且类型数多，再考虑自定义哈希
手动为 std::type_index 提供 std::hash 特化
如果坚持用 std::unordered_map，必须自己补上哈希支持：
namespace std {
template
struct hash<:type_index> {
size_t operator()(const std::type_index& ti) const noexcept {
return ti.hash_code();
}
};
} // namespace std
<p>std::unordered_map<:type_index std::string> type_names;
type_names[std::type_index{typeid(int)}] = "int";
type_names[std::type_index{typeid(std::string)}] = "std::string";</:type_index></p></:type_index>
- 这个特化必须在全局命名空间，且在首次使用
std::unordered_map<:type_index ...></:type_index>之前声明（通常放在头文件顶部或统一的哈希配置头里） - 不要在多个翻译单元重复定义，否则 ODR 违规；建议只在一个 .cpp 中定义，或用 inline namespace 封装
- 注意：不同编译器/标准库对
hash_code()返回值是否跨进程一致无保证，仅限单进程内使用
和 std::any 配合做运行时类型分发
当你要存一堆不同类型的值，并按需取回时，std::type_index 和 std::any 是天然搭档：
std::map<:type_index std::any> storage;
<p>storage[std::type_index{typeid(double)}] = 3.14;
storage[std::type_index{typeid(std::vector<int>)>}] = std::vector<int>{1,2,3};</int></int></p>
<p>// 安全取值
auto it = storage.find(std::type_index{typeid(double)});
if (it != storage.end()) {
double d = std::any_cast<double>(it->second); // 不会抛异常，类型已确认
}</double></p></:type_index>
- 先用
find()检查类型存在性，再用std::any_cast，比盲目 cast 更安全——避免std::bad_any_cast - 别把
std::any当万能胶水：它只支持可复制类型，且有堆分配开销；高频小对象建议用 variant 或手动 union
真正容易被忽略的是：同一个类型在不同编译单元中生成的 std::type_index 是否相等？答案是肯定的——只要类型定义一致，std::type_index 的比较和哈希在跨 TU 场景下仍然可靠。但前提是 RTTI 未被关闭（即编译选项没加 -fno-rtti），否则 typeid 行为未定义。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
