C++ 中的auto关键字

auto关键字

C++11

1. auto简介

在早期的C/C++中auto的含义是：使用auto修饰的变量，具有自动存储器的局部变量。
C++11中，auto有了全新的含义：auto不再是一个存储类型的指示符，而是作为一个新的类型指示符来指示编译器，auto声明的变量必须由编译器在编译时期推导而得。

int a = 5;
auto b = a;

cout << typeid(b).name() << endl;

会自动推导出b的类型↑↑

注意：使用auto定义变量时必须对其进行初始化，在编译阶段编译器需要根据初始化表达式来推导auto的实际类型。因此auto并非是一种“类型”的声明，而是一个类型声明时的“占位符”，编译器在编译期会将auto替换为变量实际的类型

---

2. auto的使用规则

2.1 auto与指针和引用结合起来使用

用auto声明指针类型时，用auto和auto* 没有任何区别，但是声明引用类型时必须加上&

int x = 5;
auto a = &x;
auto* b = &x;//ab等价
auto& c = x;

2.2 在同一行定义多个变量

当在同一行定义多个变量时，这些变量必须是相同的类型，否则编译器将会报错，因为编译器实际只对第一个类型进行推导，然后用推导出来的类型定义其他变量。

auto a = 1, b = 2;
auto c = 3, d = 4.0;
//c d这行代码会编译失败，因为c和d的初始化表达式类型不同

---

3. auto不能推导的场景

3.1 auto不能作为函数的参数

//代码编译失败，auto不能作为形参类型，因为编译器无法对a的类型进行推导
void Test(auto a)
{}

3.2 auto不能直接用来声明数组

void Test()
{
	int a[] = { 1,2,3,4 };
	auto b[] = { 5,6,7,8 };
}

3.3 为了避免与C++98中的auto发生混淆，C++11中只保留了auto作为类型指示符的用法

---

auto在实际中最常见的优势用法就是跟Ｃ＋＋１１提供的新式for循环\还有lambda表达式等进行配合使用