decltype 是 C++11 引入的关键字，用于编译期精确推导表达式类型：标识符推导为声明类型，括号表达式（如 (x)）推导为 T&，函数调用推导为含引用的返回类型，严格保留 const 和引用属性。
表达式的结果类型不是靠“猜”或“记住规则”，而是由编译器根据操作数类型、运算符语义和标准转换规则**逐层推导**出来的。你写 a + b，编译器不会直接告诉你结果是 int，而是先看 a 和 b 的类型，再查算术转换规则，最后确定结果类型。
看操作数类型和算术转换顺序
两个不同整型参与运算（比如 char 和 int），C++ 会先做「整型提升」和「通常算术转换」：
-
char、short、bool在表达式中一律先提升为int（即使平台是 16 位） - 然后比较两个操作数：范围小的向范围大的靠拢，比如
int和long long运算 → 结果是long long -
int和double运算 →int被转成double，结果是double - 特别注意：
unsigned int和int混用时，int可能被转成unsigned int（负值变极大正数），这不是“升级”，而是陷阱
用 typeid 或 decltype 验证实际类型
光靠脑算容易错，尤其涉及模板、函数返回值或复合表达式时。最直接的办法是让编译器告诉你：
-
typeid(expr).name()可在运行时拿到类型名（但名字是编译器特定缩写，比如i表示int，d表示double） -
decltype(expr)是编译期工具，更准确，常用于模板或auto推导验证，比如decltype(5 + 3.0)就是double - 别对字面量直接用
typeid判断是否“等于某类型字符串”，因为name()不可移植；要用std::is_same_v<decltype t></decltype>
条件运算符 ?: 的类型必须可统一
cond ? a : b 的结果类型不是 a 或 b 单独决定的，而是二者必须能隐式转换为一个公共类型：
立即学习“C++免费学习笔记（深入）”；
- 如果
a是int、b是double，结果是double - 如果
a是int*、b是nullptr，结果是int* - 但如果
a是int、b是std::string，且二者无隐式转换路径，编译直接报错：error: operands to ?: have different types - 右值引用、const 限定、数组类型等会让统一变得更苛刻，稍不注意就触发 SFINAE 失败
逗号运算符和 sizeof 的结果类型有固定规则
这两个运算符不走常规算术转换，类型规则很明确：
-
sizeof(expr)的结果永远是size_t，跟expr是什么类型无关；sizeof(int)也是size_t -
a, b（逗号运算符）的结果类型就是b的类型，a的类型完全不影响结果类型，哪怕a是void函数调用也没关系 -
sizeof和逗号运算符都忽略左值/右值属性 ——sizeof(x)和sizeof((x))一样，(x, y)的类型只取决于y
真正容易出问题的地方不在基础算术表达式，而在混合了用户定义类型、重载运算符、模板推导和移动语义的上下文中。比如 std::move(x) + y，你以为只是加法，其实 std::move(x) 返回的是 xvalue，可能触发移动构造而非拷贝，进而影响整个表达式的类型和生命周期。这种链式效应没法靠背规则覆盖，只能靠 decltype 实测 + 看标准库实现逻辑。
