【浅尝C++】auto关键字

🎈归属专栏：浅尝C++
🚗个人主页：Jammingpro
🐟记录一句：再写两篇博客就休息

---

文章前言：本篇文章简要介绍auto关键字，介绍每个小点时，都会附上对应的代码，如果可能的话。

---

---

给类型取别名（typedef）

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

1. 类型难于拼写
2. 含义不明确导致容易出错

例如下面的代码👇，这就出现了第1点情况，类型难以拼写。

#include <iostream>
#include <map>
#include <string>

int main()
{
	std::map<std::string, std::string> m = { {"dog", "狗"}, {"cat", "猫"}, {"fish", "鱼"}};
	std::map<std::string, std::string>::iterator mit = m.begin();
	while(mit != m.end())
	{
		//do something
	}

	return 0;
}

我们在使用容器的迭代器时，我们可能会输错冗长的、难以拼写的类型标识。这时可以用到typedef，给类型取别名。可将上述代码修改如下👇

#include <iostream>
#include <map>
#include <string>

typedef std::map<std::string, std::string> Map;

int main()
{
	Map m = { {"dog", "狗"}, {"cat", "猫"}, {"fish", "鱼"}};
	Map::iterator mit = m.begin();
	while(mit != m.end())
	{
		//do something
	}

	return 0;
}

但是，typedef有不直观的地方。举个例子👇。下面代码中将char*定义为MyString类型，MyString* s2;的定义等同于char** s2，但这并不直观，有时候会导致代码理解混乱。

typedef char* MyString;
void Test()
{
	MyString s1;
	MyString* s2;//这里等同于 char** s2;
	return 0;
}

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

auto关键字介绍

在早期C/C++中auto的含义是：使用auto修饰的变量，是具有自动存储器的局部变量，但遗憾的是一直没有人去使用它。因为定义局部变量时，我们完全可以int a;代替auto int a;。为什么要多此一举，在局部变量前加个auto呢！
C++11中，标准委员会赋予了auto全新的含义即：auto不再是一个存储类型指示符，而是作为一
个新的类型指示符来指示编译器，auto声明的变量必须由编译器在编译时期推导而得。也就是说，auto可以自动推导变量的类型。下面的代码演示auto自动推导出a为int类型👇

#include<iostream>
using namespace std;

int TestAuto()
{
	return 16;
}

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

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

auto关键字使用细则

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

定义变量时，auto和auto*没有区别。下面所示代码，其输出的两个结果相同，说明p1和p2类型相同，也就是说，p1前的auto被替换为int*，p2前的auto被替换为int。

#include<iostream>
using namespace std;

int main()
{
	int a = 5;
	auto p1 = &a;
	auto* p2 = &a;
	cout << typeid(p1).name() << endl;
	cout << typeid(p2).name() << endl;
	
	return 0;
}

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

#include <iostream>
using namespace std;

int main()
{
	int a = 10;
	auto& refer_a = a;

	cout << "a's type is " << typeid(a).name() << endl;
	cout << "a's address is " << &a << endl;
	cout << "refer_a's type is " << typeid(refer_a).name() << endl;
	cout << "refer_a's address is " << &refer_a << endl;
}

同一行定义多个变量

当在同一行声明多个变量时，这些变量必须是相同的类型，否则编译器将会报错，因为编译
器实际只对第一个类型进行推导，然后用推导出来的类型定义其他变量。下面代码中的auto c = 10, d = "xiaoming";报错，因为auto在判断完c为整型后，将auto替换为int，而int d = "xiaoming"是错误语法，因而会报错。

int main()
{
	auto a = 10, b = 20;
	auto c = 10, d = "xiaoming";//报错
}

auto不能推导的情况

auto不能作为函数参数

下面这段代码👇，编译器无法推导出参数类型。

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

auto不能用于声明数组

下面这段代码👇，编译器无法推导出变量类型。

int main()
{
	int arr[] = {1, 2, 3};
	auto arr[] = {1, 2, 3};//报错
	return 0;
}

ps1:为了避免与C++98中的auto发生混淆，C++11只保留了auto作为类型指示符的用法。
ps2:auto在实际中最常见的优势用法就是跟C++11提供的新式for循环，还有lambda表达式等进行配合使用。

---

文章结语：这篇文章对C++中的auto关键字进行了简要的介绍。
🎈欢迎进入浅尝C++专栏，查看更多文章。
如果上述内容有任何问题，欢迎在下方留言区指正b(￣▽￣)d