decltype 是 C++11 提出的类型推导关键字，用于编译时获取表达式类型，支持精确保留 const 和引用属性，常用于模板编程和尾置返回类型中以实现灵活且安全的泛型代码设计。

decltype 是 C++11 引入的一个类型推导关键字，用于在编译时获取表达式的类型，而不需要实际执行该表达式。它常用于泛型编程中，帮助我们编写更灵活、更安全的模板代码。

decltype 的基本用法

decltype 的语法形式为：decltype(expression)，它会根据 expression 推导出其类型。

• 如果表达式是一个变量名，decltype 返回该变量的声明类型（包括 const 和引用）
• 如果表达式是函数调用，decltype 返回该函数的返回类型
• 如果表达式是带括号的变量，行为会有所不同（见下文细节）

示例：

int x = 5;
const int& rx = x;
decltype(x) a;     // a 的类型是 int
decltype(rx) b = x; // b 的类型是 const int&
decltype((x)) c = x; // (x) 是一个左值表达式，c 的类型是 int&

decltype 与 auto 的区别

auto 和 decltype 都能进行类型推导，但机制不同：

立即学习“C++免费学习笔记（深入）”；

• auto 根据初始化表达式推导类型，会忽略引用和顶层 const
• decltype 严格保留表达式的原始类型信息，包括引用和 const

例如：

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

const int cx = 10;
const int& ref = cx;

auto y = ref;      // y 的类型是 int（去除了 const 和 &）
decltype(ref) z = cx; // z 的类型是 const int&

decltype 在返回类型推导中的应用

在模板函数中，有时返回类型依赖于参数类型，这时可以用 decltype 结合尾置返回类型（trailing return type）来定义函数。

例如，实现一个返回两个参数和的函数模板：

template<typename T, typename U>
auto add(T t, U u) -> decltype(t + u) {
    return t + u;
}

这里使用了尾置返回类型语法，让编译器先看到参数 t 和 u，再通过 decltype(t + u) 推导返回类型。

decltype 的推导规则细节

decltype 的推导遵循以下三条规则：

• 如果 expression 是一个没有加括号的标识符或类成员访问表达式，decltype 返回该变量的声明类型
• 如果 expression 是一个左值（如变量加括号），decltype 推导为该类型的引用
• 如果 expression 是一个右值（如字面量、临时对象），decltype 推导为该类型的非引用

例子：

int i = 42;
decltype(i)   a = i; // int
decltype((i)) b = i; // int&，因为 (i) 是左值表达式
decltype(42)  c = 42; // int，字面量是右值

基本上就这些。decltype 提供了比 auto 更精确的类型控制能力，尤其在复杂模板场景中非常有用。理解它的推导规则，能帮助你写出更可靠的泛型代码。