C++基础 | decltype

在C++11标准中，引入了decltype关键字，用于推导表达式的类型。decltype不仅可以帮助我们编写更通用的代码，还能在模板编程和类型推导中发挥重要作用。

1. decltype的基本用法

decltype关键字用于推导表达式的类型。它的基本语法如下：

decltype(expression)

decltype会返回expression的类型，但不会对expression进行求值。例如：

int x = 10;
decltype(x) y = 20;  // y的类型为int

在这个例子中，decltype(x)推导出x的类型为int，因此y的类型也是int。

1.1 decltype与auto的区别

auto关键字也可以用于类型推导，但它推导的是变量的初始化表达式的类型。而decltype推导的是表达式的类型，且不会对表达式进行求值。

例如：

int x = 10;
auto y = x;  // y的类型为int
decltype(x) z = x;  // z的类型为int

在这个例子中，auto和decltype都推导出了int类型，但它们的推导方式不同。auto推导的是x的初始化表达式的类型，而decltype推导的是x的类型。

例如：

int x = 10;
const int& cx = x;decltype(cx) y = x;  // y的类型为const int&
auto z = x;  // z的类型为int
const auto& cz = x;  // cz的类型为const int&// y++; // 错误，y为const int&，不能修改
z++; // 正确，z为int，可以修改
// cz++; // 错误，cz为const int&，不能修改

1.2 decltype的推导规则

decltype的推导规则如下：

1. 如果expression是一个标识符（如变量名）或类成员访问表达式，decltype推导出该标识符或类成员的类型。
2. 如果expression是一个函数调用，decltype推导出函数的返回类型。
3. 如果expression是一个左值表达式，decltype推导出该表达式的引用类型。
4. 如果expression是一个右值表达式，decltype推导出该表达式的类型。

例如：

int x = 10;
int& rx = x;
const int cx = x;decltype(x) a = x;        // a的类型为int
decltype(rx) b = x;       // b的类型为int&
decltype(cx) c = x;       // c的类型为const int
decltype(x + 1) d = x;    // d的类型为int
decltype((x)) e = x;      // e的类型为int&

在这个例子中，decltype(x)推导出int类型，decltype(rx)推导出int&类型，decltype(cx)推导出const int类型，decltype(x + 1)推导出int类型，decltype((x))推导出int&类型。

decltype(auto) f1(int i) {	// int f1(int i) { return i ;} return i;				// 正确 i是标识符 decltype(auto)推导为int
}decltype(auto) f2(int i) {	// int& f2(int i) { return (i) ;} return (i);				// 错误 (i)是左值表达式 decltype(auto)推导为int& // 返回局部变量的引用
}decltype(auto) f3(int& i) {	// int& f3(int& i) { return (i) ;} return (i);				// 正确 参数也是引用
}decltype(auto) f4(int i) {	// int f4(int i) { return (i+1) ;} return (i + 1);			// 正确 (i+1)是右值  decltype(auto)推导为int
}

2. decltype的应用场景

2.1 模板编程中的类型推导

在模板编程中，decltype可以用于推导模板参数的类型。例如：

template<typename T, typename U>
auto add(T t, U u) -> decltype(t + u) {return t + u;
}int main() {auto result = add(1, 2.5);  // result的类型为doublereturn 0;
}

在这个例子中，decltype(t + u)用于推导add函数的返回类型。由于t是int类型，u是double类型，t + u的结果类型为double，因此add函数的返回类型为double。

上述写法在C++14中进行了改进：

template<typename T, typename U>
decltype(auto) add(T t, U u) {return t + u;
}int main() {auto result = add(1, 2.5);  // result的类型为doublereturn 0;
}

2.2 返回类型后置语法

C++11引入了返回类型后置语法，允许我们在函数声明中使用auto和decltype来推导函数的返回类型。例如：

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

在这个例子中，add函数的返回类型通过decltype(t + u)推导出来。这种语法特别适用于模板函数，因为模板函数的返回类型可能依赖于模板参数。

2.3 类型别名与decltype

decltype可以用于定义类型别名，特别是在需要推导复杂类型的情况下。例如：

int x = 10;
using MyType = decltype(x);  // MyType是int的别名

在这个例子中，MyType是int的别名，因为decltype(x)推导出x的类型为int。

2.4 decltype与std::declval

std::declval是一个模板函数，用于在不创建对象的情况下推导出对象的类型。decltype可以与std::declval结合使用，推导出类的成员函数的返回类型。例如：

#include <utility>class MyClass {
public:int myFunction() { return 42; }
};using MyFunctionReturnType = decltype(std::declval<MyClass>().myFunction());

在这个例子中，MyFunctionReturnType是int的别名，因为myFunction的返回类型为int。

3. decltype与auto的结合使用

decltype和auto可以结合使用，用于推导复杂表达式的类型。在C++14中新增了decltype(auto)占位型说明符，例如：

int x = 10;
const int& rx = x;
auto y = rx;  // y的类型为int
decltype(auto) z = rx;  // z的类型为const int&

在这个例子中，auto推导出y的类型为int，而decltype(auto)推导出z的类型为const int&。decltype(auto)保留了表达式的引用和const属性。