🎈归属专栏:浅尝C++
🚗个人主页:Jammingpro
🐟记录一句:再写两篇博客就休息
文章前言:本篇文章简要介绍auto关键字,介绍每个小点时,都会附上对应的代码,如果可能的话。
文章目录
给类型取别名(typedef)
随着程序越来越复杂,程序中用到的类型也越来越复杂,经常体现在:
- 类型难于拼写
- 含义不明确导致容易出错
例如下面的代码👇,这就出现了第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