作者:阿润菜菜
专栏:C++
背景简介
atuo的应用
使用细则
实际应用
在早期C/C++中auto的含义是:使用auto修饰的变量,是具有自动存储器的局部变量,但遗憾的是一直没有人去使用它,大家可思考下为什么?
C++11中,标准委员会赋予了auto全新的含义即:auto不再是一个存储类型指示符,而是作为一个新的类型指示符来指示编译器,auto声明的变量必须由编译器在编译时期推导而得。
诞生背景:
随着程序越来越复杂,程序中用到的类型也越来越复杂,经常体现在:1. 类型难于拼写 2. 含义不明确导致容易出错
如:
std::map dict;
std::map::iterator dit = dict.begin();
我们知道std::map
typedef std::map::iterator dit = dict.begin(); DictItl
用typedef给类型取别名确实可以简化代码,但是typedef不是万能的,如:
typedef char* pstring;
int main()
{
const pstring p1; // 编译失败
const pstring* p2; // 编译成功
return 0;
}
C++中引入auto 实际价值是: 简化代码,类型很长时,可以考虑自动推导
1.auto与指针和引用结合起来使用
用auto声明指针类型时,用auto和auto*没有任何区别,但用auto声明引用类型时则必须加&
int x = 10;
auto a = &x;
auto* b = &x;
auto& c = x;
2. 在同一行定义多个变量
当在同一行声明多个变量时,这些变量必须是相同的类型,否则编译器将会报错,因为编译器实际只对第一个类型进行推导,然后用推导出来的类型定义其他变量
auto a = 1, b = 2;
auto c = 3, d = 4.0; // 该行代码会编译失败,因为c和d的初始化表达式类型不同
3.auto不能推导的场景
auto不能作为函数的参数
// 此处代码编译失败,auto不能作为形参类型,因为编译器无法对a的实际类型进行推导
void TestAuto(auto a)
{}
auto不能直接用来声明数组
void TestAuto()
{
int a[] = {1,2,3};
auto b[] = {4,5,6};
}
4.为了避免与C++98中的auto发生混淆,C++11只保留了auto作为类型指示符的用法
auto在实际中最常见的优势用法就是C++11提供的新式for循环,还有lambda表达式等进行配合使用。
简化代码
std::map dict;
//std::map::iterator dit = dict.begin();
auto dit = dict.begin();
新式for循环 -语法糖 自动依次取数组中数据赋值给e对象,自动判断结束
void TestFor()
{
int array[] = { 1, 2, 3, 4, 5 };
for(auto& e : array)
e *= 2;
for(auto e : array)
cout << e << " ";
return 0;
}
注意赋值拷贝 不会改变实际内容 若要改变 可以使用引用 for(auto& e :array)
lambda 表达式
auto fn = [capture] (paras) {statements;}; // 注意最后要有分号
实际使用中 auto会比typedef更爽一些
nullptr :C++11 中使用 nullptr 来代替 NULL,避免不同系统对 NULL 具体数值的不同定义可能带来的问题,以及 NULL 与整型数据类型可能存在的二义性问题。