c++ decltype关键字_c++自动获取表达式类型-C++-PHP中文网

decltype原封不动提取表达式编译期类型，含引用、const等限定符；括号决定语义：decltype(x)得变量声明类型，decltype((x))得左值引用类型。

c++ decltype关键字_c++自动获取表达式类型

decltype 用来推导表达式的类型，不是变量声明类型

很多人误以为 decltype 和 auto 一样是“自动声明变量类型”，其实它只做一件事：**原封不动地提取某个表达式在编译期的类型**，包括引用、const、volatile 等所有限定符。比如 int x = 42;，decltype(x) 是 int，但 decltype((x))（加了括号）却是 int& —— 因为 (x) 是左值表达式。

括号改变语义：decltype(x) 和 decltype((x)) 完全不同

这是最常踩的坑。是否加括号直接决定返回的是“变量名类型”还是“表达式类型”：

decltype(x)：x 是标识符（id-expression），结果就是 x 的声明类型（不含引用）
decltype((x))：x 被括号包裹，变成纯左值表达式，结果是 T&（T 为 x 的类型）
decltype(++x)：前置递增是左值表达式，返回 int&（假设 x 是 int）
decltype(x + y)：算术运算结果是右值，返回 int（非引用）

和 auto 搭配用在模板函数返回类型中很实用

当函数返回类型依赖于参数表达式（比如两个迭代器相减、容器元素访问结果），decltype 配合 auto 可以写出准确又泛型的返回类型：

template <typename it>
auto get_first_diff(It a, It b) -> decltype(*a - *b) {
    return *a - *b;
}</typename>

这里不能写 auto 单独推导（C++11 不支持函数体外推导返回类型），必须用尾置返回类型 + decltype 显式说明。C++14 后允许省略尾置返回类型，但遇到复杂表达式（如带 const 成员函数调用）时，decltype 仍不可替代。

C++14

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

下载

decltype 在定义别名或模板元编程中要小心 cv 限定符传递

它会忠实地保留原始表达式的 const/volatile 和引用性，这在定义类型别名时容易出错：

const int ci = 0;
int i = 0;
using T1 = decltype(ci);   // T1 是 const int
using T2 = decltype(i);    // T2 是 int
using T3 = decltype((i));  // T3 是 int&
using T4 = decltype(static_cast<const int>(i)); // T4 是 const int&</const>

如果你本意是“去掉引用/const 做后续处理”，得配合 std::remove_reference_t 或 std::decay_t —— decltype 本身不做任何简化。

真正难的不是记住规则，而是每次写 decltype 时下意识问一句：这个表达式在当前上下文里是左值、右值，还是亡值？括号加没加？有没有隐式转换？漏掉任何一个，类型就可能差一个 & 或 const。