C++学习笔记之auto类型说明符

把表达式的值赋给一个变量，要求在声明变量的时候清楚地知道表达式的类型，举个例子：

int a=1,b=2;
int c=a+b;//因为我们知道a+b是整型，所以我们把c也声明为整型

auto是一种类型，和int、double等等类似，但它是一种“随机应变”的类型。

C++11标准引入auto类型说明符，使编译器通过变量的初始值来推断变量类型，从而替我们分析表达式所属类型：

int a=1,b=2;
auto c=a+b;

auto能在一条语句中声明多个变量，但语句中的所有变量的初始基本数据类型必须一致：

auto a=0,*p=&a;//正确
auto b=0,c=3.14;//错误：b和c类型不同

• 复合类型、常量和auto

操作一个引用实际上是在操作引用的对象，当引用被用来初始化一个变量时，真正参与初始化的是引用对象的值，编译器以引用对象的类型作为auto的类型：

int a=0;
int &r=a;
auto a=r;//a为整型（r是a的别名，而a是整型）

auto一般会忽略顶层const，保留底层const（概念见C++学习笔记之顶层const和底层const）

int i=0;
const int a=i;
const int &r=a;
//顶层const被忽略的情况
auto b=a;  //b为int型，而非const int
auto c=r;  //c为int型（r是a的别名，而a是个顶层const）
auto p1=&i;  //p1为int*型，即指向普通变量的整型指针

//底层const被保留的情况
auto p2=&a;  //p2为const int*型，即指向常量的整型指针（底层const被保留）

如果希望推断出的auto类型是顶层const，得自己指出来：

const auto d=a;

前面都是把变量设为auto，还可以将引用类型设为auto，此时初始值中的顶层const属性保留：

auto &e=a;//e为整型常量的引用 ，注意和auto e=a的区别
auto &f=42;//错误：不能为非常量引用绑定字面值
const auto &f=42;//正确

[注]字面值：1（整型字面值）、1.2（浮点型字面值）、'a'（字符字面值）、"Hello"（字符串字面值）

• 基于范围的for循环

格式：

for(declaration : expression)
    statement

举个例子：

string str("some string");
for(auto c : str)
    cout<<c<<endl;

for循环把变量c和str联系起来，auto使编译器决定c的类型，这里是char型。每一次迭代，str的下一个字符会拷贝给c，然后对c进行输出。

int ia[3];
for(auto p=ia;p!=ia+3;++p)
    cout<<*p<<endl;

声明一个指针p并令其指向数组ia的第一个元素，然后依次迭代直到ia的全部3个元素输出完毕。

• auto和动态分配

在使用new动态分配内存和初始化对象时，如果我们提供一个括号包围的初始化器，就可以使用auto根据这个初始化器来推断待分配的对象的类型，即，能用auto分配变量。但注意，只有当括号中仅有一个初始化器时才能使用auto：

int a=0;
auto p1=new auto(a); //p1指向一个与a类型相同的对象，且用a来初始化这个对象
auto p2=new auto{a,b,c}; //错误：括号中只能有一个初始化器

在动态分配对象的数组时，可以用一个空括号对数组中的元素进行值初始化，但是不能在括号中给出初始化器，这意味着 不能用auto分配数组（无法通过初始化器推断数组元素类型）：

int p=new int[10]();
auto p=new auto[10](); //错误：不能用auto分配数组

参考资料：《C++ Primer》