不能直接替代。std::type_index仅提供类型id比较，不检查继承关系或支持安全下转型，适用于类型映射等场景，但运行时安全转换必须用dynamic_cast。
std::type_index 能不能替代 dynamic_cast 做类型判断？
不能直接替代。它只提供类型 ID 的比较能力，不涉及对象内存布局或继承关系检查。std::type_index 本质是 std::type_info 的可拷贝、可哈希、可排序封装，适合做缓存键或类型映射表的 key，但无法像 dynamic_cast 那样安全下转型或跨继承链查询。
常见错误是以为 typeid(obj) == typeid(T) 就等价于 dynamic_cast<t>(&obj) != nullptr</t> —— 这在多态类型中完全不成立。比如基类指针指向派生类对象时，typeid(*ptr) 返回的是派生类的 type_info，但 typeid(Base) 永远不会等于它。
- 仅适用于已知确切静态类型的场景（如模板推导后存档）
- 对非多态类型（无虚函数）行为可靠；对多态类型，
typeid返回的是**最派生类型**，不是指针/引用声明的类型 - 若需运行时安全转换，必须用
dynamic_cast，而非比对std::type_index
如何用 std::type_index 作 unordered_map 的 key？
std::type_index 支持哈希（std::hash<:type_index></:type_index> 特化存在）和比较（operator），所以能直接用于 <code>std::unordered_map 或 std::map。这是它最实用的场景：实现类型到数据、工厂函数或配置的映射。
std::unordered_map<:type_index std::string> type_names;
type_names[std::type_index(typeid(int))] = "integer";
type_names[std::type_index(typeid(std::string))] = "string";
<p>// 使用时注意：必须用 typeid(T)，不能用 typeid(var) 除非 var 是多态对象且你明确要最派生类型
auto it = type_names.find(std::type_index(typeid(double)));
if (it != type_names.end()) {
std::cout second; // "double"（如果插入过）
}</p></:type_index>
- 插入键必须统一用
typeid(T)（T 是具体类型名），避免混用typeid(expr)导致意外的最派生类型 - 不同编译单元中同一类型的
std::type_index是否相等，取决于 ABI 和 RTTI 实现，但标准保证同一程序内一致 - 不要对
void*或未定义类型的typeid取std::type_index，行为未定义
std::type_index 在模板工厂中怎么避免重复注册？
典型模式是用静态局部变量 + std::type_index 键控注册表，配合 SFINAE 或 constexpr if 控制单次初始化。关键点在于：类型唯一性由编译器保证，但注册逻辑必须线程安全且幂等。
template<typename t>
T* create_instance() {
static const std::type_index idx = std::type_index(typeid(T));
static auto& registry = get_registry(); // 返回 static unordered_map<type_index creator_func>
static const auto _ = []{
if (registry.find(idx) == registry.end()) {
registry[idx] = []{ return new T{}; };
}
return 0;
}();
return static_cast<t>(registry.at(idx)());
}</t></type_index></typename>
- 用
static const std::type_index确保每个特化只生成一个 type_index 实例，避免每次调用都构造 - lambda 中的静态局部变量初始化是线程安全的（C++11 起），但
registry本身需是静态全局或静态局部，且访问需加锁（除非用std::call_once） - 若 T 是 cv 限定或引用类型，
typeid(T)仍有效，但通常应约束为std::is_class_v<t> && !std::is_reference_v<t></t></t>
为什么 typeid(nullptr) 或 typeid(void) 会编译失败？
typeid 运算符要求操作数类型是完整类型（complete type），且不能是 void、不含 cv 限定的 void、或纯右值引用类型。因此 typeid(nullptr) 合法（nullptr 是 std::nullptr_t 类型，完整），但 typeid(void) 直接报错。
-
typeid(void)→ 编译错误：error: 'void' is not a valid argument to 'typeid' -
typeid(nullptr)→ 合法，结果等价于typeid(std::nullptr_t) -
typeid(T{})对于无默认构造函数的 T，可能触发编译错误（因尝试构造临时对象）；应改用typeid(T) - 在模板中慎用
decltype(expr)作为typeid参数，若 expr 有副作用或依赖未定义行为，typeid可能不执行求值（但类型推导仍发生）
真正容易被忽略的是：即使两个 std::type_index 相等，也不代表它们的对象可以互相 reinterpret_cast —— 类型等价性不等于内存布局兼容性。别用它绕过类型安全。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
