2.5.2 auto类型说明符
编程(www.cppentry.com)时常常需要把表达式的值赋给变量，这就要求在声明变量的时候清楚地知道表达式的类型。然而要做到这一点并非那么容易，有时甚至根本做不到。为了解决这个问题，C++(www.cppentry.com)11新标准引入了auto类型说明符，用它就能让编译器替我们去分析表达式所属的类型。和原来那些只对应一种特定类型的说明符（比如double）不同，auto让编译器通过初始值来推算变量的类型。显然，auto定义的变量必须有初始值：
- // 由val1和val2相加的结果可以推断出item的类型
- auto item = val1 + val2; // item初始化为val1和val2相加的结果
此处编译器将根据val1和val2相加的结果来推断item的类型。如果val1和val2是类Sales_item（参见1.5节，第19页）的对象，则item的类型就是Sales_item；如果这两个变量的类型是double，则item的类型就是double，以此类推。
使用auto也能在一条语句中声明多个变量。因为一条声明语句只能有一个基本数据类型，所以该语句中所有变量的初始的基本数据类型都必须一样：
- auto i = 0, *p = &i; // 正确：i是整数、p是整型指针
- auto sz = 0, pi = 3.14; // 错误：sz和pi的类型不一致
复合类型、常量和auto
编译器推断出来的auto类型有时候和初始值的类型并不完全一样，编译器会适当地改变结果类型使其更符合初始化规则。
首先，正如我们所熟知的，使用引用其实是使用引用的对象，特别是当引用被用作初始值时，真正参与初始化的其实是引用对象的值。此时编译器以引用对象的类型作为auto的类型：
- int i = 0, &r = i;
- auto a = r; // a是一个整数（r是i的别名，而i是一个整数）
其次，auto一般会忽略掉顶层const（参见2.4.3节，第63页），同时底层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）
如果希望推断出的auto类型是一个顶层const，需要明确指出：
- const auto f = ci; // ci的推演类型是int，f是const int
还可以将引用的类型设为auto，此时原来的初始化规则仍然适用：
- auto &g = ci; // g是一个整型常量引用，绑定到ci
- auto &h = 42; // 错误：不能为非常量引用绑定字面值
- const auto &j = 42; // 正确：可以为常量引用绑定字面值
设置一个类型为auto的引用时，初始值中的顶层常量属性仍然保留。和往常一样，如果我们给初始值绑定一个引用，则此时的常量就不是顶层常量了。
要在一条语句中定义多个变量，切记，符号&和*只从属于某个声明符，而非基本数据类型的一部分，因此初始值必须是同一种类型：
- auto k = ci, &l = i; // k是整数，l是整型引用
- auto &m = ci, *p = &ci; // m是对整型常量的引用，p是指向整型常量的指针
- // 错误：i的类型是int而&ci的类型是const int
- auto &n = i, *p2 = &ci;
2.5.2节练习
练习2.33：利用本节定义的变量，判断下列语句的运行结果。
a = 42; b = 42; c = 42;
d = 42; e = 42; g = 42;
练习2.34：基于上一个练习中的变量和语句编写一段程序，输出赋值前后变量的内容，你刚才的推断正确吗？如果不对，请反复研读本节的示例直到你明白错在何处为止。
练习2.35：判断下列定义推断出的类型是什么，然后编写程序进行验证。
- const int i = 42;
- auto j = i; const auto &k = i; auto *p = &i;
- const auto j2 = i, &k2 = i;