·C++98中的auto
其实在C++98的标准中就有对auto的定义,auto用于声明变量为自动变量,自动变量就是拥有自动生命周期的变量,如下:
int a=1;
auto int b=1;
但是我们不妨想一下,函数中定义的变量不也是一个拥有自动生命周期的变量,一旦函数执行完毕也就意味着变量生命周期结束。因此auto显得很多余,于是C++11页已经删除了这一用法。
·C++11中的auto
在C++中的string库中有一个size()函数,我们通常会将它的返回值定义为unsigned或者int类型,但是其实返回值的类型却是string::size_type。当然我们定义为int类型本身并不会产生多大的问题,但是这是不安全的,因此auto提供了这一功能——自动推断变量的类型并且进行初始化。(ps:当然有些时候我们并不希望直接进行初始化而是拿到这一类型,那么我们可以使用decltype)
int i=10;
auto a=i;
当然,我们也可以直接推断并且进行初始化,如下:
auto i=0,*p=&i;
·const中的注意事项
在将auto和const联用的时候,auto会忽略掉顶层const,同时底层的const则会保留下来,比如当初始值是一个指向常量的指针时。(ps:顶层const表示指针本身是个常量;底层const表示指针所指向的对象是个常量)
const int ci=i,&cr=ci;
auto b=ci;//b推断是一个整数,ci的顶层const特性被忽略了
auto c=cr;//c是一个整数,cr是ci的引用,ci本身是一个顶层const
auto d=&i;//d是一个整型指针
auto e=&ci;//e是一个指向整数常量的指针,对常量对象取地址是一种底层const
那么如果我们希望推断的类型是一个顶层的const就需要明确在auto前面加上const关键字:
const auto f=ci;
·数组中的注意事项
我们知道数组名其实代表的是首元素的地址,对数组的一些操作实际上也可以看成是对指针的操作。我们在auto中推断数组类型时也是指针,但是我们如果使用decltype则会告诉你它依然是一个数组。
int ia[]={0,1,2,3,4,5,6,7,8,9};
auto ia2(ia);
ia2=42;//错误,ia2是一个指针,不可以用整型给指针进行赋值
decltype(ia) ia3={0,1,2,3,4,5,6,7,8,9};
ia3=p;//不可以用指针给数组赋值
ia3[4]=i;
·引用中的注意事项
如果直接推断引用对象,则结果会是一个引用指向对象的类型。
int a=10;
int &b=a;
auto c=b;//此时c的类型为int而非int&
auto &d=b;//此时c的类型为int&
·auto用法
贴一个我自己常用的地方吧。
std::vector<std::string> v;
for(std::vector<std::string>::iterator i=v.begin();i!=v.end();i++)//这样是不是看起来很长
for(auto i=v.begin();i!=v.end();i++)//迭代器本身就是库中定义的类型,所以可以使用auto推断
for(auto i:v)//跟范围for结合一下