编程时,常常需要把表达式的值赋给变量,这就要求在声明变量的时候清楚地知道表达式的类型。然而要做到这一点并非那么容易,有时甚至根本做不到。为了解决这个问题,C++11 新标准引入了auto类型说明符,用它就能让编译器替我们去分析表达式的所属的类型。和原来那些只对应一种特定类型的说明符(比如double)不同,auto让编译器通过初始值来推算变量的类型。显然,auto定义的变量必须有初始值:
//由val1和val2相加的结果可以推断出item的类型
auto item =val1+val2;//item的初始化为val1和val2相加的结果
此处编译器将根据val1和val2相加的结果来判断item的类型。如果val1和val2是类(如Sales_item)的对象,则item的类型就是Sales_item;如果这两个变量是double,则item的类型就是double。
使用auto也能在一条语句中声明多个变量。因为一条声明语句只能有一个基本数据类型,所以该语句中所有变量的初始基本数据类型都必须一样:
auto i=0,*p=&i; //正确,i是整数、p是整形指针
auto sz=0,pi=3.14; //错误:sz和pi的类型不一致
编译器推断出来的auto类型有时候和 初始值的类型并不完全一样,编译器会适当地改变结果类型使其更符合初始化规则。