typeid(a) == typeid(b)有时不准，因typeid对多态类型（含虚函数）在指针/引用解引用时返回动态类型，对值对象或非多态类型仅返回静态类型；空指针会抛异常，且需启用RTTI才支持运行时识别。
不能直接用 == 比较两个对象的类型，必须通过 typeid 获取 type_info 对象再比较 —— 这是唯一标准、跨编译器可靠的方式。
为什么 typeid(a) == typeid(b) 有时不准？
因为 typeid 对带虚函数的类（多态类型）在指针/引用上会做运行时类型识别（RTTI），但对值对象或非多态类型只返回静态类型：
- 若
a是Base*指向Derived实例，typeid(*a)返回Derived的type_info - 若
a是Base值对象（非引用/指针），typeid(a)永远是Base，哪怕它由Derived赋值而来（已切片） - 空指针传给
typeid会抛std::bad_typeid异常，必须提前判空
typeid 在模板里怎么安全用？
模板推导出的类型是静态的，typeid(T) 和 typeid(decltype(x)) 都只反映编译时类型；如需运行时一致性判断，得配合引用/指针 + 多态：
- 确保参数是
const T&或T*，而非T值类型，避免切片 - 基类必须有虚函数（哪怕只有虚析构），否则
typeid不触发动态绑定 - 示例：
template<typename T> bool is_same_type(const T& a, const T& b) { return typeid(a) == typeid(b); // ✅ 安全：引用保留动态类型 }
比 typeid 更轻量的替代方案？
如果只是想在编译期判断类型是否相同，std::is_same_v<T, U> 更快、无 RTTI 开销、不依赖运行时信息：
立即学习“C++免费学习笔记（深入）”；
-
std::is_same_v<int, int>→true；std::is_same_v<int, long>→false - 但它完全无法处理多态场景（比如
Base*和Derived*是否指向同种实际类型） - 开启 RTTI 后，
typeid才能区分运行时类型；关闭 RTTI（如 GCC 的-fno-rtti），typeid退化为静态类型比较，且可能编译失败
真正难的不是写 typeid(a) == typeid(b)，而是想清楚你到底要“静态类型一致”还是“运行时对象真实类型一致”——前者用 std::is_same，后者必须确保对象以引用或指针形式参与，且基类有虚函数。漏掉任意一个条件，结果就不可靠。
