背景简介
在早期C/C++中auto的含义是:使用auto修饰的变量,是具有自动存储器的局部变量,但遗憾的是一直没有人去使用它,大家可思考下为什么?
C++11中,标准委员会赋予了auto全新的含义即:auto不再是一个存储类型指示符,而是作为一个新的类型指示符来指示编译器,auto声明的变量必须由编译器在编译时期推导而得。
诞生背景:
随着程序越来越复杂,程序中用到的类型也越来越复杂,经常体现在:1. 类型难于拼写 2. 含义不明确导致容易出错
如:
std::map<std::string, std::string> dict; std::map<std::string, std::string>::iterator dit = dict.begin();
我们知道std::map<std::string, std::string>::iterator 是一个类型,但是该类型太长了,特别容易写错。一般我们可能会想到:可以通过typedef给类型取别名,比如
typedef std::map<std::string, std::string>::iterator dit = dict.begin(); DictItl
用typedef给类型取别名确实可以简化代码,但是typedef不是万能的,如:
typedef char* pstring; int main() { const pstring p1; // 编译失败 const pstring* p2; // 编译成功 return 0; }
C++中引入auto 实际价值是: 简化代码,类型很长时,可以考虑自动推导
atuo的应用
使用细则
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不能直接用来声明数组
1. void TestAuto() 2. { 3. int a[] = {1,2,3}; 4. auto b[] = {4,5,6}; 5. }
4.为了避免与C++98中的auto发生混淆,C++11只保留了auto作为类型指示符的用法
实际应用
auto在实际中最常见的优势用法就是C++11提供的新式for循环,还有lambda表达式等进行配合使用。
简化代码
std::map<std::string, std::string> dict; //std::map<std::string, std::string>::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 与整型数据类型可能存在的二义性问题。