C++中的类型推断机制
1. decltype 的作用
decltype 是C++11引入的一个关键字，用来推断表达式的类型。它返回的是表达式的精确类型，包括引用和const限定符等。
例子：
int x = 5;
decltype(x) y = x; // y 的类型是 int
在这个例子中，decltype(x)返回 int，因为 x 是一个 int 类型的变量，所以 y 的类型也被推导为 int。
更复杂的例子：
const int& z = x;
decltype(z) w = z; // w 的类型是 const int&
在这里，decltype(z)返回的是 const int&，因为 z 是一个常量引用。
2. std::decay_t 的作用
std::decay_t 是 C++14 中引入的一个类型转换工具，它基于 std::decay，用于将某种类型转换为“衰变”后的类型。衰变的过程涉及以下几种转换：
- 如果是数组类型，衰变为指针类型。
- 如果是函数类型，衰变为指针类型。
- 如果是引用类型，去除引用。
- 去除
const和volatile限定符。
std::decay_t<T> 其实等价于 typename std::decay<T>::type，但使用起来更加简洁。
例子：
int arr[10];
std::decay_t<decltype(arr)> ptr; // ptr 的类型为 int*
在这个例子中，arr 是一个数组类型 int[10]，而 std::decay_t<decltype(arr)> 将其类型推导并转换为指针 int*。
std::decay_t 和 decltype 一起使用
std::decay_t 和 decltype 可以结合使用，特别是在模板编程中，当我们需要对某个表达式进行推断并获得其标准化（即衰变）后的类型时非常有用。
例子：
int arr[5] = {1, 2, 3, 4, 5};
std::decay_t<decltype(arr)> p = arr; // p 的类型是 int*，而不是 int[5]
decltype(arr) 返回 int[5]，但是通过 std::decay_t，我们把这个类型衰变成了 int*，从而使 p 成为一个指向数组的指针。
3. C++中的其他类型推断工具
C++11及以后版本引入了许多类型推断机制，下面介绍一些常用的：
3.1 auto
auto 是C++11引入的关键字，用于自动推断变量的类型。编译器通过变量的初始化表达式推断出具体的类型。
例子：
int x = 10;
auto y = x; // y 的类型为 int
对于较为复杂的表达式，auto 仍然可以推断出正确的类型：
std::vector<int> vec = {1, 2, 3};
auto it = vec.begin(); // it 的类型为 std::vector<int>::iterator
3.2 decltype(auto)
decltype(auto) 是 C++14 引入的，它结合了 auto 和 decltype 的特性。
decltype(auto) 会精确推导出表达式的类型，包括const、volatile和引用修饰符。
例子：
int x = 10;
int& foo() { return x; }
decltype(auto) y = foo(); // y 的类型为 int&
在这个例子中，decltype(auto) 会推导出 foo() 的返回类型 int&，所以 y 是一个引用。如果使用普通的 auto，y 则会是 int 类型（去掉了引用）。
3.3 std::forward 和 std::declval
-
std::forward<T>：主要用于保持模板函数中参数的左右值属性，用于完美转发（perfect forwarding）。例子：
template<typename T> void wrapper(T&& arg) { process(std::forward<T>(arg)); // 保持传入参数的左右值特性 } -
std::declval<T>：用于获取某个类型的右值引用，而无需实际创建该类型的实例。通常用于不能默认构造的类型中推导出其返回类型。例子：
template<typename T> auto getReturnType() -> decltype(std::declval<T>().someFunction()) { // 这里不需要实际构造 T 对象，只是用于推导返回类型 }
3.4 trailing return type
C++11引入了一种新的返回类型语法，称为尾随返回类型（trailing return type），它结合了 decltype 来推导函数的返回类型。
例子：
template <typename T, typename U>
auto add(T a, U b) -> decltype(a + b) {
return a + b;
}
在这个例子中，decltype(a + b) 通过表达式 a + b 推导出返回类型。这在函数模板中非常有用，尤其是当返回类型依赖于模板参数的运算时。
4. 总结
decltype：用于推断表达式的精确类型，保留引用和const等限定符。std::decay_t：将类型进行标准化衰变，移除引用、const和数组类型等特性。auto：用于根据初始化表达式自动推断变量类型。decltype(auto)：结合decltype和auto的特性，能够精确推导类型。std::forward：用于完美转发，保持参数的左右值属性。std::declval：用于推导无法直接实例化的类型的表达式类型。
