前言
C语言中包括了关键字auto,它可用于定义局部变量。但自从所有的非全局变量的缺省值假定为auto以来,auto就几乎很少使用了。 在C或者以前C++中,auto关键字基本上可以被无视.
但是在C++11中auto不再是一个存储类型指示符,而是作为一个新的类型指示符来指示编译器,auto声明的变量必须由编译器在编译时期推导而得。
一、C语言中的auto
在C语言的学习中我们几乎用不到auto
关键字,它的存在感实在是太低了!!!
即便如此,我们还是为了C++中的auto
的学习先复习一下C语言中的auto
关键字吧。
1、C语言中,auto用于声明一个变量为自动变量
自动变量也称局部变量。auto关键字主要用于声明变量的生存期为自动,即将不在任何类、结构、枚举、联合和函数中定义的变量视为全局变量,而在函数中定义的变量视为局部变量。这个关键字经常被省略,因为所有的局部变量默认就是auto的。
- 用auto声明全局变量时,编译出错:
#include<stdio.h>
auto int i=0; //编译出错
int main()
{
return 0;
}
- auto声明局部变量时,编译正常:
#include<stdio.h>
int 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是用来自动推导表达式或变量的实际类型的。
例如:
#include<iostream>
using 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<std::string, std::string>::iterator
我们完全可以使用一个auto
来进行代替
下面的代码可能你看不懂,但是你只需要理解这里auto
的作用就行了。
#include <string>
#include <map>
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定义变量时必须对其进行初始化
#include<iostream>
using 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声明引用类型时则必须加&
#include<iostream>
using 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. 在同一行定义多个变量
当在同一行声明多个变量时,这些变量必须是相同的类型,否则编译器将会报错,因为编译器实际只对第一个类型进行推导,然后用推导出来的类型定义其他变量。文章来源:https://www.toymoban.com/news/detail-712652.html
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作为类型指示符的用法文章来源地址https://www.toymoban.com/news/detail-712652.html
到了这里,关于【C++】C++入门 auto关键字详解(C++11)的文章就介绍完了。如果您还想了解更多内容,请在右上角搜索TOY模板网以前的文章或继续浏览下面的相关文章,希望大家以后多多支持TOY模板网!