typeid 用于运行时获取类型信息，返回 std::type_info 引用；decltype 用于编译期推导表达式类型；二者不可混用或替代，且 typeid.name() 结果依赖编译器实现。
typeid 和 decltype 解决的是两类完全不同的问题：前者在运行时获取类型信息（仅限多态类型或完整类型），后者在编译期推导表达式的类型——不能混用，也不能互相替代。
typeid 返回的是 std::type_info 引用，不是类型名字符串
很多人以为 typeid(var).name() 直接输出可读类型名，但实际结果依赖编译器实现：g++ 输出 mangled 名（如 i 表示 int，std::vector<int></int>），clang 类似，而 MSVC 虽较可读但仍非标准格式。
- 必须配合
abi::__cxa_demangle（GCC/Clang）或__unDName（MSVC）才能还原为可读名，且需手动管理内存 -
typeid对非多态类型（无虚函数的类）不保证跨翻译单元唯一性；对临时对象、纯右值调用可能触发未定义行为 - 不能用于模板形参未实例化的上下文，例如在类模板定义体内直接写
typeid(T)（若T未被具体化，可能编译失败）
int x = 42; const std::type_info& ti = typeid(x); // 下面这行输出不可移植，不要用于日志或配置生成 std::cout << ti.name() << "\n";
decltype 是编译期类型推导，不求值、不触发副作用
decltype 看的是表达式“怎么写的”，而不是“算出来是什么”。它严格保留引用性、const/volatile 限定符，甚至能区分“变量名”和“带括号的变量名”这种微妙差异。
-
decltype(x)→int（x 是变量名） -
decltype((x))→int&（加括号后变成左值表达式） -
decltype(func())→ 按函数返回类型声明推导，哪怕func()有副作用也不会执行 - 常用于模板中保持参数原始类型，比如完美转发：
template<typename T> void f(T&& t) { g(std::forward<T>(t)); }中，decltype(std::forward<T>(t))就是推导转发引用的关键依据
想在运行时做类型分支？别硬套 typeid
用 typeid 做 if (typeid(a) == typeid(b)) 判断，看似直观，实则脆弱：
立即学习“C++免费学习笔记（深入）”；
- 对类类型，要求至少一个基类有虚函数，否则比较结果未定义
- 不同动态库加载的相同类，
typeid可能不等（尤其 Windows DLL 场景） - 无法处理继承关系判断（比如“是否为某基类的派生类”）
更稳妥的方式是使用虚函数 + dynamic_cast：
struct Base { virtual ~Base() = default; };
struct Derived : Base {};
<p>Base<em> p = new Derived;
if (dynamic_cast<Derived</em>>(p)) {
// 安全确认是 Derived 类型
}decltype 的常见误用：混淆表达式与变量声明
写 decltype(auto) x = expr; 时，容易忽略 expr 的值类别。例如：
-
int a = 10; decltype(auto) b = a;→b是int（复制） -
int a = 10; decltype(auto) c = (a);→c是int&（引用，绑定到a） - 若后续
a生命周期结束，c成为悬垂引用——这是静默的未定义行为
除非明确需要保引用，否则优先用 auto；需要精确控制时，宁可显式写 int& 或 const int&，而非依赖 decltype 的“自动”行为。
