【C++】一篇文章搞懂auto关键字及其相关用法！

个人主页 ：阿然成长日记 点击可跳转
个人专栏： 数据结构与算法C语言进阶
不能则学，不知则问，耻于问人，决无长进

一、案例引入

1.首先学习一个小的技巧。使用typeid 打印变量类型。

typeid(变量).name()：打印变量的类型。

2.问题引入：看如下代码：

#include 

int main()
{
	int a = 8;
	char b = 'x';
	auto* c = &a;
	auto& d = b;


	std::cout << typeid(a).name() << std::endl;
	std::cout << typeid(b).name() << std::endl;
	std::cout << typeid(c).name() << std::endl;
	std::cout << typeid(d).name() << std::endl;
}

输出结果：

从打印结果不难看出，auto关键字可以自动推倒类型。当然如果使用在这些地方反而是的代码更加繁琐。下面会讲它的主要用途。

二、auto简介

在早期C/C++中auto的含义是：使用auto修饰的变量，是具有自动存储器的局部变量，但遗憾的是一直没有人去使用它，大家可思考下为什么？
C++11中，标准委员会赋予了auto全新的含义即：auto不再是一个存储类型指示符，而是作为一个新的类型指示符来指示编译器，auto声明的变量必须由编译器在编译时期推导而得。

三、auto的使用：

1.替换类型名

看如下代码;

#include 
#include 
using namespace std;
int main()
{
	vector<string> v;
	vector<string>::iterator it = v.begin();
	auto it = v.begin();

	return o;
}

vector< string >::iterator it = v.begin();的类型十分的冗长，这时auto的作用就体现出来了。如下替换，一下就非常简洁了：

vector < string > ::iterator => auto;

2.C++11中引入了基于范围的for循环

对于一个有范围的集合而言，由程序员来说明循环的范围是多余的，有时候还会容易犯错误。因此C++11中引入了基于范围的for循环。for循环后的括号由冒号“ ：”分为两部分：第一部分是范围内用于迭代的变量，第二部分则表示被迭代的范围。

如：遍历数组，遍历容器中的元素。

for(auto e : array)

解释：从arry数组中依次取元素，切记取的是值，赋值给e，并打印e的值（也就是说e是数组每一个值的拷贝），自动++向后遍历，并且自动判断结束。

要想改变数组中的值，只需要使用引用：auto& e

for(auto& e : array){ e++}

这里的e就相当于数组中的元素，修改e，也就是修改对应数组的值。

四、注意事项：

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

五、auto的使用细则

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

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

int x = 10;
auto a = &x;//1
auto* b = &x;//2
auto& c = x;

上述1.2行没有区别，但是，使用引用&时，必须使用auto& c = x;

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

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

	auto a = 1, b = 2;
	auto c = 1, d = 1.11;

第二行中，c和d为不同类型。报错！

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

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

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

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

void TestAuto()
{
int arr1[] = {1,2,3};
auto arr2[] = {4，5，6};//报错！！！！
}

auto b[] = {4，5，6};//报错！！！！

5.在老版本C++中，auto不能作为函数的返回值。

六、总结：

auto的意义是在定义对象时，如果类型较长的话，用auto替换写起来会简单很多。但是他也有几大缺点，分别是不能做参数，不能做返回值（最新版本支持了）。

如果auto做返回值，其实是非常难用的，当你想使用这个函数，但是你不知道他的返回类型，除了查文档，你就只能逐层去找这个变量到底在那定义，是什么类型。