先介绍一下auto、const:
在块作用域、命名作用域、循环初始化语句等等 中声明变量时,关键词auto用作类型指定符。
const:修饰符
接下来我们细细分析一下:
(1)auto
auto即 for(auto x:range) 这样会拷贝一份range元素,而不会改变range中元素;
但是!(重点) 使用for(auto x:vector<bool>)时得到一个proxy class,操作时会改变vector<bool>本身元素。应用:for(bool x:vector<bool>)
(2)auto&
当需要修改range中元素,用for(auto& x:range)
当vector<bool>返回临时对象,使用auto&会编译错误,临时对象不能绑在non-const l-value reference (左值引用)需使用auto&&,初始化右值时也可捕获
(3)const auto&
当只想读取range中元素时,使用const auto&,如:for(const auto&x:range),它不会进行拷贝,也不会修改range
(4)const auto
当 需要拷贝元素,但不可修改拷贝出来的值时,使用 for(const auto x:range),避免拷贝开销
整理一下:
想要拷贝元素:for(auto x:range)
想要修改元素 : for(auto &&x:range)
想要只读元素:for(const auto& x:range)
auto:用来声明自动变量。它是存储类型标识符,表明变量(自动)具有本地范围,块范围的变量声明(如for循环体内的变量声明)默认为auto存储类型。其实大多普通声明方式声明的变量都是auto变量,他们不需要明确指定auto关键字,默认就是auto的了。auto变量在离开作用域是会变程序自动释放,不会发生内存溢出情况(除了包含指针的类)。使用auto变量的优势是不需要考虑去变量是否被释放,比较安全。
new:new是用来在堆上申请内存地址的关键字,他产生的变量不会自动释放,除非delete来手动释放,或者程序结束时由操作系统释放,使用new的优势是内存使用比较灵活,理论可以申请任意大小的内存区块(实际与操作系统有关),但这很容易产生问题,一不小心忘记释放对象,特别是在频繁调用的函数内创建的对象忘记释放时,会产生内存溢出,严重时导致程序出错,系统崩溃。new一般都是在类的定义中使用,结合delete可以使包含new出来对象的类也具有自带变量功能,这样就继承了两种方式的优势。
auto 的对应类型不是使用 new 出来的变量,也不是static变量
auto 变量在函数结束时即释放了,再次调用这个函数时,又重新定义了一个新的变量。
static 变量是程序结束的时候才释放对象的,但它不需要手动释放。
static 如果在一个函数内申明,这每次进入这个函数时,还是使用第一次声明的变量,并且还保存的上次使用的值。
static 变量如果在结构和类中使用,这结构或类定义的一切对象,都将共享唯一 static 变量。