typeid无法实现真正反射，仅提供编译器特定的mangled类型名，不可靠不可移植；对非多态类型返回静态类型，多态类型需虚函数支持；name()结果需demangle才可读，且生命周期受限。
typeid 不能实现真正意义上的反射，它只提供有限的运行时类型名称信息，且结果不可靠、不可移植，别指望靠它做字段遍历或动态调用。
typeid 返回的是 type_info 引用，不是字符串
直接用 typeid(obj).name() 拿到的是一串编译器特定的 mangled 名字（比如 "i" 表示 int，"St6vectorIiSaIiEE" 表示 std::vector），不是可读类型名。
- 不同编译器输出差异大：GCC/Clang 是 mangled，MSVC 默认是 demangled（但不保证）
-
name()返回值生命周期绑定到程序启动期，不能strcpy或长期保存 - 想看可读名必须手动 demangle：
abi::__cxa_demangle(typeid(obj).name(), nullptr, nullptr, nullptr)（GCC/Clang），MSVC 用__unDName
typeid 在多态类型上必须配合虚函数才能工作
对非多态类型（即类中没有虚函数），typeid 在指针/引用上返回的是**静态类型**，不是实际对象类型：
struct Base { };
struct Derived : Base { };
Base* p = new Derived;
std::cout << typeid(*p).name(); // 输出 "4Base"，不是 "7Derived"
只有加上虚函数后，RTTI 才被启用：
立即学习“C++免费学习笔记（深入）”；
struct Base { virtual ~Base() = default; }; // 至少一个虚函数
struct Derived : Base { };
Base* p = new Derived;
std::cout << typeid(*p).name(); // 此时才可能输出 "7Derived"（取决于编译器和 demangle）
- 没虚函数 → 编译器可能完全不生成 RTTI 数据，
typeid行为退化为静态推导 - 有虚函数 → 才能通过 vtable 找到 runtime type info，但仍是只读、不可扩展的
- 注意：
typeid对内置类型（int、double）始终有效，不依赖虚函数
比较类型要用 ==，不是 strcmp 或字符串相等
type_info 重载了 == 和 !=，这是唯一安全的类型比较方式：
if (typeid(a) == typeid(b)) { ... } // ✅ 正确
if (strcmp(typeid(a).name(), typeid(b).name()) == 0) { ... } // ❌ 错误：mangled 名可能不同，且 name() 不保证稳定-
type_info::operator==比较的是类型标识符本身，与名字无关 - 即使两个
name()字符串不同（比如因编译器版本或 ABI 变化），只要类型相同，==仍返回true -
type_info对象不可拷贝，但可安全比较、可取地址（用于 map key 等）
真正需要反射的场景（如序列化、依赖注入、脚本绑定），typeid 远远不够——它不暴露成员、不支持构造、不提供访问入口。得靠宏 + 类型注册、第三方库（如 refl-cpp、magic_enum）或语言扩展（C++23 的 std::meta 草案）。把 typeid 当反射用，基本等于在类型系统边缘反复试探边界。
