C++中的decltype关键字有什么用？（类型推导）

decltype用于编译期推导表达式形式类型，保留引用和cv限定符；变量名推导声明类型，(x)视为左值推导T&，函数调用推导结果类型；常用于返回类型后置、模板编程及declval类型探测。

decltype 用来在编译期推导表达式的类型，不求值、不执行，只看表达式“长什么样”，就决定它是什么类型。

推导表达式本身的类型（不是结果值的类型）

和 auto 不同，decltype 关注的是表达式在代码中出现的形式：

• 变量名：推导为该变量的声明类型（带引用、const 等限定符）；
• 加括号的变量名，如 (x)：视为表达式，若 x 是左值，则 decltype(x) 是 T&；
• 函数调用、算术表达式等：推导其返回/计算结果的类型（按值返回则通常不带引用）。

常用于模板和泛型编程中保持原类型精度

比如写一个通用的 wrapper 函数，想让返回类型和某个表达式完全一致（包括 const、引用），auto 可能会退化掉引用，而 decltype 能保留：

• decltype(func(a, b)) result = func(a, b); —— result 类型和 func 调用结果一模一样；
• 配合 declval 在未定义对象时做类型探测，常见于 SFINAE 和概念约束中。

和 auto 的关键区别：是否保留引用和 cv 限定符

假设 const int& x = 42;：

• auto y = x; → y 是 const int（引用被丢弃）；
• decltype(x) y = x; → y 是 const int&（原封不动）；
• decltype((x)) y = x; → 因为 (x) 是左值表达式，y 是 const int&。

实际用得最多的地方：返回类型后置语法

当函数返回类型依赖参数表达式时，必须用 decltype（配合 decltype(auto) 更简洁）：

• template auto add(T&& t, U&& u) -> decltype(t + u) { return t + u; }
• C++14 起可直接写 decltype(auto) add(...) { return t + u; }，自动推导返回类型并保留引用等属性。

基本上就这些。它不复杂，但容易忽略括号带来的语义变化 —— 多写两个括号，类型可能就从 T 变成 T&。