c++之auto关键字

提示：文章写完后，目录可以自动生成，如何生成可参考右边的帮助文档

---

提示：以下是本篇文章正文内容，下面案例可供参考

一、为什么会有auto关键字

随着程序越来越复杂，程序中用到的类型也越来越复杂，经常体现在：
1. 类型难于拼写
2. 含义不明确导致容易出错

而在C语言中当类型复杂时我们通常使用typedef给类型取别名，使用typedef给类型取别名确实可以简化代码，但是使用typedef会遇到新的难题

比如

typedef char* pstring;
int main()
{
const pstring p1; // 编译成功还是失败？
const pstring* p2; // 编译成功还是失败？
return 0;
}

在编程时，常常需要把表达式的值赋值给变量，这就要求在声明变量的时候清楚地知道表达式的类型。然而有时候要做到这点并非那么容易，因此C++11给auto赋予了新的含义

二、auto的使用

1.auto可以根据右边的表达式自动推导类型

int TestAuto()
{
	return 10;
}

int main()
{
	int a = 10;
	auto b = a;
	auto c = 'a';
	auto d = TestAuto();
	cout << typeid(b).name() << endl;
	cout << typeid(c).name() << endl;
	cout << typeid(d).name() << endl;
	return 0;
}

注意：
使用auto定义变量时必须对其进行初始化，在编译阶段编译器需要根据初始化表达式来推导auto的实际类型。

因此
auto并非是一种“类型”的声明，而是一个类型声明时的“占位符”，编译器在编译期会将auto替换为变量实际的类型

2.auto可以与指针和引用结合起来使用

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

int main()
{
	int x = 10;
	auto a = &x;
	auto* b = &x;
	auto& c = x;
	cout << typeid(a).name() << endl;
	cout << typeid(b).name() << endl;
	cout << typeid(c).name() << endl;
	return 0;
}

3.当在同一行声明多个变量时，这些变量必须是相同的类型

否则编译器将会报错，因为编译器实际只对
第一个类型进行推导，然后用推导出来的类型定义其他变量。

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

4.auto不能作为函数的参数

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

5. auto不能直接用来声明数组

void TestAuto()
{
int a[] = {1,2,3};
auto b[] = {4，5，6};//此处编译错误
}

三、auto的语法糖

在C++98中我们如果要遍历一个数组一般如下

int main()
{
	int array[] = { 1, 2, 3, 4, 5 };
	for (int i = 0; i < sizeof(array) / sizeof(array[0]); ++i)
	{
		cout << array[i] << " ";
	}
}

对于一个有范围的集合而言，由程序员来说明循环的范围是多余的，有时候还会容易犯错误。
因此C++11中
引入了基于范围的for循环。
其特点如下
1.适用于数组
2.范围for 语法糖
3.依次取数组中数据赋值给e
4.自动迭代，自动判断结束
5.基本形式为 for (int x : arr)；
代码如下

int main()
{
	int array[] = { 1, 2, 3, 4, 5 };
	for (auto e : array)
	{
		cout << e << " ";
	}
}