decltype 是 C++11 引入的关键字，用于在编译时精确推导表达式类型，包含 const、volatile 和引用属性。其基本语法为 decltype(expression)，根据表达式形式直接获取类型。例如 int x = 5; decltype(x) y = x; 中 y 的类型为 int；const int& rx = x; decltype(rx) z = x; 中 z 的类型为 const int&。decltype 推导遵循三条规则：若表达式是标识符或类成员访问，返回其声明类型；若表达式带括号如 (x)，视为左值并保留引用；若为复杂表达式且结果为左值，则返回引用类型，否则返回值类型。示例中 int a = 10; int& b = a; decltype(a) c = a; 得 c 为 int；decltype(b) d = a; 得 d 为 int&；decltype((a)) e = a; 因 (a) 是左值表达式，故 e 为 int&；decltype(1 + 2) f = 3; 因 1+2 为右值，f 为 int。在模板中，decltype 常与 auto 配合使用尾置返回类型，实现返回类型依赖参数的函数模板，如 template auto add(T t, U u) -> decltype(t +
decltype 是 C++11 引入的关键字，用于在编译时推导表达式的类型。它不计算表达式的值，而是根据表达式的形式直接得出其类型，常用于泛型编程中，帮助编写更灵活、更安全的代码。
decltype 的基本用法
decltype 的语法形式为：
decltype(expression)它会返回 expression 的**确切类型**，包括 const、volatile 限定符以及左值/右值属性。
例如：
立即学习“C++免费学习笔记（深入）”；
int x = 5;decltype(x) y = x; // y 的类型是 int
const int& rx = x;
decltype(rx) z = x; // z 的类型是 const int&
decltype 推导规则
decltype 的类型推导遵循以下三条核心规则：
- 如果表达式是标识符或类成员访问，decltype 返回该变量或成员的声明类型。
- 如果表达式是带括号的表达式，如 (x)，即使 x 是变量，也会被视为左值，decltype 会保留引用。
- 如果表达式是其他复杂表达式（如函数调用、算术运算等），且结果是左值，则返回该类型的引用；否则返回值类型。
示例说明：
int a = 10;int& b = a;
decltype(a) c = a; // c 是 int
decltype(b) d = a; // d 是 int&
decltype((a)) e = a; // (a) 是左值表达式，e 是 int&
decltype(1 + 2) f = 3; // 1+2 是右值，f 是 int
decltype 在模板中的应用
decltype 常与 auto 配合使用，特别是在返回类型依赖参数的函数模板中。
C++11 支持“尾置返回类型”语法，允许使用 decltype 指定返回类型：
templateauto add(T t, U u) -> decltype(t + u) {
return t + u;
}
这样，函数返回类型由 t + u 的实际类型决定，避免了手动指定类型的麻烦。
另一个常见场景是获取容器元素类型：
std::vectordecltype(vec.begin()) it = vec.begin(); // it 的类型是 std::vector
decltype 与 auto 的区别
auto 和 decltype 都用于类型推导，但有本质区别：
- auto 根据初始化表达式忽略引用和顶层 const进行推导。
- decltype 则完全保留表达式的原始类型信息，包括引用和 const。
例如：
立即学习“C++免费学习笔记（深入）”；
const int ci = 10;const int& ref = ci;
auto a = ref; // a 是 int（去除了 const 和 &）
decltype(ref) b = ci; // b 是 const int&
基本上就这些。decltype 提供了精确的类型控制能力，在写模板、lambda 表达式或复杂表达式处理时非常有用，理解其推导规则能避免很多类型错误。
