概述
在C++ 11标准中，引入了两大关键类型推导机制，即：auto关键字和decltype表达式。这两个特性不仅极大地简化了代码编写，提升了可读性，还为开发者提供了更加灵活、直观的类型声明方式。本文将详细解读auto和decltype的概念、工作原理及其在实际编程中的应用。
auto的使用
auto在C++ 03中表示临时变量的语义，由于使用极少且多余，在C++ 11中已被删除。在C++ 11之前，变量的类型必须在声明时显式指定。然而，随着模板元编程和复杂类型表达式的广泛使用，手动书写完整的类型显得既冗余又容易出错。C++ 11引入的auto关键字解决了这个问题，并具有两种用途：自动类型推断和返回值占位。
1、自动类型推断。当使用auto声明变量时，编译器会根据初始化表达式自动推断变量的类型。
#include <iostream>
#include <vector>
using namespace std;
int main()
{
std::vector<int> vctNumber = {1, 2, 3};
// it 的类型会被推断为 std::vector<int>::iterator
auto it = vctNumber.begin();
return 0;
}2、函数返回值类型推断。auto还可以用于声明函数的返回类型，尤其在配合尾置返回类型时，可以方便地推断模板函数的返回类型。
template<typename T, typename U>
auto add(T a, U b) -> decltype(a + b)
{
return a + b;
}3、下面是一些使用auto的示例。
// 错误示例：没有初始化表达式，无法推断出a的类型
auto a;
// 错误示例：auto临时变量的语义在C++ 11中已不存在
auto int a = 10;
auto a = 10;
auto c = 'A';
auto s("HOPE");
vector<int> vctTemp;
auto it = vctTemp.begin();
auto ptr = [](){ cout << "Hello HOPE" << endl; };decltype的使用
decltype是一个操作符，可用于推导括号内表达式的类型，其规则如下：
1、如果表达式e是一个变量，那么就是这个变量的类型。
2、如果表达式e是一个函数，那么就是这个函数返回值的类型。
3、如果以上都不符合，则看e是左值还是右值。若e是左值，类型为T，那么decltype(e)是T&；若是右值，则是T。
decltype的精妙之处在于以下两点。
1、类型查询。decltype是一种类型指示符，它允许程序员查询并引用表达式的类型，而不执行表达式。
#include <iostream>
using namespace std;
int main()
{
int x = 66;
// y的类型被推断为：int
decltype(x++) y = 100;
// x的值仍为：66
cout << x << endl;
return 0;
}2、保持表达式的引用和cv限定符（const/volatile）。decltype能准确地保留表达式的引用类型和cv限定符，这对于编写模板代码以及处理复杂的类型关系非常有用。
#include <iostream>
using namespace std;
int main()
{
int nNumber = 0;
const int &nRef1 = nNumber;
// nRef2是一个const int &类型
decltype(nRef1) nRef2 = nNumber;
nNumber = 66;
// 输出：66
cout << nRef2 << endl;
return 0;
}总结
auto和decltype是C++ 11中增强类型安全、简化代码的重要工具，它们通过提供类型推断功能使得程序更加简洁易读，同时也提高了开发效率。熟练掌握这两种特性，有助于编写更高质量、更具扩展性的现代C++代码。
