【C++关键字】auto的使用(C++11)

随着程序的复杂化，程序中用到的类型也越来越复杂化，经常体现在：

1.类型难以拼写

2.含义不明确导致容易出错

在C语言阶段处理这类问题的方法，可以使用typedef给类型取别名，但有时typedef也会出现很多问题，例如，要修饰的对象很多，是否需要每个都typedef定义一个别名呢？

在C++11中，关键字auto被赋予了新的含义可以解决这类型问题。

auto关键字

早期C\C++中auto的含义是：使用auto修饰的变量，是具有自动存储器的局部变量，但由于一般函数内没有声明为static的变量总是具有自动存储期的局部变量，导致关键字auto被遗弃。

而在C++11中，标准委员会赋予了auto全新的含义：

auto不再是一个存储类型指示符，而是作为一个新的类型指示符来指示编译器，auto声明的变量必须由编译器在编译时期推导而得。

cpp 复制代码

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

【注意】关键字typeid：打印变量类型

cpp 复制代码

int main(void)
{
	double d = 1.1;
	int i = 10;
	auto a = i + d;
	cout << a << endl;
	return 0;
}

cpp 复制代码

	auto a;

【注意】这种情况属于编译错误，使用auto定义变量时必须对其进行初始化，在编译阶段编译器需要根据初始化表达式来推导auto的实际类型。

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

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

cpp 复制代码

int main(void)
{
	int i = 10;
	auto a = i;
	auto* b = &a;//auto此时为int
	auto c = &a;//auto此时为int*
	return 0;
}

使用auto声明指针类型时，用auto和auto*没有区别。

cpp 复制代码

int main(void)
{
	int i = 10;
	auto a = i;
	auto& b = a;//auto此时为int
	auto c = a;//auto此时为int
	return 0;
}

auto声明引用类型时必须加&

2.在同一行定义多个变量

cpp 复制代码

int main(void)
{
	auto a = 1, b = 2;//编译成功
	auto c = 3, d = 4.4//编译失败
	return 0;
}

c和d的初始化表达式类型不同

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

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

cpp 复制代码

void Func(auto a){}

此代码为错误代码，代码会编译失败，auto不能作为形参类型，因为编译器无法对a的实际类型进行推导。

2.auto不能声明变数组

cpp 复制代码

	auto a[] = {1,2,3};

此代码为错误代码，代码会编译失败，主要因为数组的大小在声明时需要明确的指定，而auto是根据初始化表达式来推导类型的，无法确定数组的大小。

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