auto推导初始化结果的实际类型并去除顶层const/引用，decltype按表达式字面形式精确保留类型（含引用、const）；二者配合解决模板中“先有类型再有变量”问题。
auto 和 decltype 都能推导类型，但推导逻辑完全不同：前者看初始化表达式的“值类别 + 类型”，后者只看表达式本身的语法形式，不求值、不忽略引用和 const。
auto 推导的是初始化结果的“实际类型”
它模仿变量定义时的类型推导规则，会自动去除顶层 const、引用（&/&&），但保留底层 cv 限定符。适用于大多数声明场景，写起来简洁安全。
-
int x = 42;→auto a = x;推出int（不是int&） -
const int& y = x;→auto b = y;推出int（顶层引用和 const 全被丢掉） -
auto& c = y;才能保留为const int&；auto&& d = y;是const int&（非万能引用，因 y 是左值） - 不能用于函数形参、类成员（无初始化器）、模板形参，也不能单独写
auto x;
decltype 看的是表达式“字面写法”，不计算也不降级
它完全按 C++ 标准的 decltype 规则查表达式类型：若表达式是标识符或类成员访问，直接取其声明类型；若是其他表达式（如 a + b），则看求值结果的类型和值类别（int、int&、int&& 都可能）。
-
int x = 42;→decltype(x)是int；decltype((x))是int&（加括号变表达式，x 是左值） -
const int& y = x;→decltype(y)是const int&（原样保留） - 常用于模板中精确转发返回类型，比如
decltype(f(std::declval())) - 注意：
decltype不触发 SFINAE，但写错表达式会直接编译失败（不是延迟失败）
auto 和 decltype 混用：declval + decltype 是模板元编程标配
单独 auto 无法在未定义变量时推导类型；decltype 又不能直接定义变量。二者配合才能解决“先有类型、再有变量”的问题，尤其在模板中。
立即学习“C++免费学习笔记（深入）”；
-
template—— 返回类型必须用auto get_ref(T& t) -> decltype(t) { return t; } decltype，否则无法保留引用 -
using type = decltype(std::declval—— 在不构造对象前提下模拟调用，获取返回类型().size()); -
auto x = std::declval是非法的（(); declval只能在 unevaluated context 中用），但decltype(std::declval合法且是()) int&&
容易踩坑的边界情况
很多错误不是语法错，而是对“表达式类别”理解偏差导致的类型意外：
-
auto x = 0, y = 0.0;❌ 编译失败 ——auto要求所有初始化器类型一致，int和double不兼容 -
decltype(*ptr)是T&（假设ptr是T*），但auto z = *ptr;是T—— 解引用结果类型语义不同 -
decltype((a = b))是void（赋值表达式返回 void），而decltype(a = b)（无括号）在 C++17 前是T&，C++17 起也是void—— 版本差异极易误判 - lambda 表达式类型是 unique unutterable class type，
auto f = []{};没问题，但decltype([]{}) f;❌ 无法声明变量
真正难的不是记住规则，而是每次写 decltype 时，得在脑内判断那个表达式是不是左值、有没有括号、有没有副作用、是否在 unevaluated context 里 —— 这些细节一错，类型就偏了，而且往往编译错误信息根本不提 decltype，只报“cannot convert”。
