C++11新特性：自动类型推导

1、auto 关键字

1.1、概念

// 语法 auto 变量a = 变量b;
int b = 10;
double c = 3.14;
auto a = b;	// a 是 int 类型
auto d = c;	// d 是 double 类型

使用 auto 关键字修饰的变量 a可根据给它赋值的变量b的类型推导出变量a的类型，即变量b 是什么类型，那么变量a 就是什么类型。

C++11 中 auto 并不代表一种实际的数据类型，只是一个类型声明的 “占位符”，auto 并不是万能的在任意场景下都能够推导出变量的实际类型，使用auto 声明的变量必须要进行初始化，以让编译器推导出它的实际类型，在编译时将auto 占位符替换为真正的类型。

auto a;	// 没有初始化，报错

1.2、auto 修饰指针或引用

auto 还可以和指针、引用结合起来使用，也可以带上 const、volatile 限定符。但在这种情况下，变量b 是什么类型，那么变量a 就是什么类型 ，这句话就失效了 ，它在不同的场景下有对应的推导规则，规则如下：

• 当变量不是指针或者引用类型时，推导的结果中不会保留 const、volatile 关键字
• 当变量是指针或者引用类型时，推导的结果中会保留 const、volatile 关键字

1.3、auto 的限制

auto 不是万能的，它在以下场景下不能使用：

• 不能作为函数参数使用
• 不能用于类的非静态成员变量的初始化
• 不能使用 auto 关键字定义数组
• 无法使用 auto 推导出模板参数

1.4、auto 的应用

用于 STL 容器的迭代遍历，如

vector<int> arr{1,2,3,4,5};

for(auto it = arr.begin();it != arr.end();++it)
{
	cout<<*it<<endl;
}

2、decltype 关键字

2.1、概念

// decltype(表达式)
int a = 10;
decltype(a) b = 15;			// b 是 int 类型
decltype(10+3.14) c = 4.5;	// c 是 double 类型

在某些情况下，不需要或者不能定义变量，但是希望得到某种类型，这时候就可以使用 C++11 中的 decltype 关键字了，它的作用是在编译器编译的时候推导出一个表达式的类型。
decltype 的推导是在编译期完成的，它只是用于表达式类型的推导，并不会计算表达式的值。

2.1、推导规则

• 表达式为普通变量或者普通表达式或者类表达式，在这种情况下，使用 decltype 推导出的类型和表达式的类型是一致的
• 表达式是函数调用，使用 decltype 推导出的类型和函数返回值一致
• 表达式是一个左值，或者被括号 ( ) 包围，使用 decltype 推导出的是表达式类型的引用（如果有 const、volatile 限定符不能忽略）

3、auto 与 decltype 的区别

auto 与 decltype 都可用于自动类型推导，但它们还是有区别的：

1、auto 是通过编译器计算变量的初始值来推断类型，decltype 同样也是通过编译器来分析表达式进而得到它的类型，但它并不会计算表达式的值

2、当被推导的变量中 const 、volatile 修饰时，auto 会根据不同的情景来决定是否保留const 、volatile ，而 decltype 却会将它们保留下来

const int a = 10;
auto& c = a;		// auto 推导出 const int 类型,c是指针或引用，保留cons
auto b = a;			// auto 推导出 int 类型,b不是指针或引用，不会保留const
decltype(a) d = a;	// decltype 推导出 const int 类型

3、auto 修饰的变量在声明时必须定义，decltype不用，所以 auto 不可以用于函数参数，而 decltype可以

int a = 10;
auto b;			// error,声明时必须定义
decltype(a) c;	// 可以声明，不定义
c = 10;
cout << c << endl;	// 输出结果：10

参考资料：
自动类型推导 | 爱编程的大丙