前言
C语言中包括了关键字auto,它可用于定义局部变量。但自从所有的非全局变量的缺省值假定为auto以来,auto就几乎很少使用了。 在C或者以前C++中,auto关键字基本上可以被无视.
但是在C++11中auto不再是一个存储类型指示符,而是作为一个新的类型指示符来指示编译器,auto声明的变量必须由编译器在编译时期推导而得。
auto关键字
- 一、C语言中的auto
- 1、C语言中,auto用于声明一个变量为自动变量
- 2、C语言中,只使用auto修饰变量,变量的类型默认为整型
- 二、C++中的auto
- 1、auto的基本介绍
- 2、auto的使用细则
- 1.使用auto定义变量时必须对其进行初始化
- 2.auto与指针和引用结合起来使用
- 3. 在同一行定义多个变量
- 3、auto不能推导的场景
- 1.auto不能作为函数的参数
- 2.auto不能直接用来声明数组
一、C语言中的auto
在C语言的学习中我们几乎用不到auto
关键字,它的存在感实在是太低了!!!
即便如此,我们还是为了C++中的auto
的学习先复习一下C语言中的auto
关键字吧。
1、C语言中,auto用于声明一个变量为自动变量
自动变量也称局部变量。auto关键字主要用于声明变量的生存期为自动,即将不在任何类、结构、枚举、联合和函数中定义的变量视为全局变量,而在函数中定义的变量视为局部变量。这个关键字经常被省略,因为所有的局部变量默认就是auto的。
- 用auto声明全局变量时,编译出错:
#includeauto int i=0;//编译出错int main(){return 0;}
- auto声明局部变量时,编译正常:
#includeint main(){auto int i=0; return 0;}
2、C语言中,只使用auto修饰变量,变量的类型默认为整型
void main(void){float a = 3.2f, b = 2.1f;auto c = a + b;//c语言中,c = 5}
二、C++中的auto
1、auto的基本介绍
在C++11中,auto是用来自动推导表达式或变量的实际类型的。
例如:
#includeusing namespace std;int main(){int a = 0;auto b = a;//此时b为int 类型cout << typeid(a).name() << endl;//typeid().name()可以自动识别变量的类型cout << typeid(b).name() << endl;return 0;}
可能你会觉得auto的这点功能好像可有可无啊,但其实随着程序越来越复杂,程序中用到的类型也越来越复杂,经常体现在:
- 类型难于拼写
- 含义不明确导致容易出错
例如这样长的的变量类型std::map::iterator
我们完全可以使用一个auto
来进行代替
下面的代码可能你看不懂,但是你只需要理解这里auto
的作用就行了。
#include #include int main(){std::map<std::string, std::string> m{ { "apple", "苹果" }, { "orange","橙子" },{"pear","梨"} };std::map<std::string, std::string>::iterator it = m.begin();//auto it = m.begin();//与上一行代码作用相同,只是auto更加方便return 0;}
可能你会觉得C语言中的typedef
关键字也能做到同样的简化代码的效果,但是使用typedef有时会遇到新的难题。
例如:
typedef char* pstring;int main(){const pstring p1; // 编译成功还是失败?const pstring* p2; // 编译成功还是失败?return 0;}
答案是第一个编译失败,第二个编译成功。
- 第一个实际类型是:
char*const p1;
const
修饰的是p1,p1是一个常变量,常变量的创建必须初始化,而且只能初始化一次,而上面的代码并没有进行初始化,因此报错。
- 第二个的实际类型是:
char*const* p2;
const
修饰的是*p2,没有问题。
通过上面的对比相信你也能体会到auto
的作用了吧,在编程时,常常需要把表达式的值赋值给变量,这就要求在声明变量的时候清楚地知道表达式的类型。然而有时候要做到这点并非那么容易,auto的出现就解决了这个问题。
2、auto的使用细则
1.使用auto定义变量时必须对其进行初始化
#includeusing namespace std;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;//auto e; 无法通过编译,使用auto定义变量时必须对其进行初始化return 0;}
使用auto定义变量时必须对其进行初始化,在编译阶段编译器需要根据初始化表达式来推导auto的实际类型。因此auto并非是一种”类型”的声明,而是一个类型声明时的”占位符”,编译器在编译期会将auto替换为变量实际的类型。
2.auto与指针和引用结合起来使用
用auto声明指针类型时,用auto和auto*没有任何区别,但用auto声明引用类型时则必须加&
#includeusing namespace std;int main(){int x = 10;auto a = &x;auto* b = &x;//使用auto*时,表达式右边必须是指针,否则报错auto& c = x;cout << typeid(a).name() << endl;cout << typeid(b).name() << endl;cout << typeid(c).name() << endl;*a = 20;*b = 30;c = 40;return 0;}
3. 在同一行定义多个变量
当在同一行声明多个变量时,这些变量必须是相同的类型,否则编译器将会报错,因为编译器实际只对第一个类型进行推导,然后用推导出来的类型定义其他变量。
void TestAuto(){auto a = 1, b = 2;auto c = 3, d = 4.0; // 该行代码会编译失败,因为c和d的初始化表达式类型不同}
3、auto不能推导的场景
1.auto不能作为函数的参数
// 此处代码编译失败,auto不能作为形参类型,因为编译器无法对a的实际类型进行推导void TestAuto(auto a){}
2.auto不能直接用来声明数组
void TestAuto(){int a[] = {1,2,3};auto b[] = {4,5,6};//报错}
tip:为了避免与C++98中的auto发生混淆,C++11只保留了auto作为类型指示符的用法