C++ decltype类型推导 _ 表达式类型获取技巧【实战】-C++-PHP中文网

decltype(x)取声明类型，decltype((x))因(x)是左值必推T&；函数调用推声明返回类型而非运行时值类别； decltype保留所有cv限定和引用，auto则擦除，二者语义根本不同。

c++ decltype类型推导 _ 表达式类型获取技巧【实战】

decltype 不是用来“猜”类型，而是原样提取表达式在语法上“长什么样”——括号、引用、const、左值/右值，一个都不丢。

这是最常翻车的地方。两者语义完全不同：

decltype(x)：x 是未加括号的标识符，直接取它的声明类型，比如 int x; → 推出 int；const int& rx = x; → 推出 const int&
decltype((x))：括号把 x 包裹成表达式，(x) 是左值，所以一定推出 T&（如 int&），哪怕 x 本身不是引用
误用 decltype((x)) 声明返回类型，可能让函数意外返回引用，调用方拿到的是临时对象的绑定，引发悬垂引用
想转发参数或模拟 std::forward 行为时，才该用 decltype((x))；只想取变量原始声明类型，就用 decltype(x)

它推的是函数声明的返回类型，不是运行时返回对象的值类别：

int foo() { return 42; } → decltype(foo()) 是 int（纯右值）
int& bar() { static int x; return x; } → decltype(bar()) 是 int&（左值引用）
如果函数返回 std::string 临时对象，decltype 仍推 std::string，不是 std::string&&；C++11 起规则是：函数调用表达式永远按其声明返回类型推，不看实际返回值是临时还是静态
别指望 decltype(func()) 帮你判断是否可移动——它不参与求值，也不感知生命周期

这是泛型容器编程的高频用法，但容易忽略 proxy 类型的特殊性：

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

decltype(*it) 安全：不求值 *it，哪怕 it 是空迭代器或越界，也能编译通过
对 std::vector 这种返回 proxy 对象的迭代器，decltype(*it) 自动推成 std::vector::reference，而硬写 bool& 会错
对智能指针如 std::unique_ptr，decltype(*ptr) 推出 int&，和裸指针一致，无需额外处理
若需“去掉引用+const”，得套 std::remove_reference_t<:remove_const_t>>，但多数场景直接用更稳妥——尤其涉及代理、位域等非标准内存布局时

它们根本不是替代关系，而是分工明确：

auto x = expr;：擦除顶层 const、引用，得到“干净值类型”，适合局部变量
decltype(expr) y = expr;：保留所有 cv 限定和引用性，适合模板返回类型、完美转发、类型别名
在尾置返回类型中写 -> decltype(a + b) 是对的；但写 -> auto 就失去精度，可能隐式转成 int 而不是 long long
用 decltype 做模板参数（如 template void f(T&&, decltype(T{}))）时，T 带引用会导致匹配失败——SFINAE 不起作用，直接硬报错