一、auto
1、auto功能
auto的功能主要是让编译器替我们去分析表达式所属的类型。和原来那些只对应某种特定的类型说明符(例如 int)不同。auto 让编译器通过初始值来进行类型推演。从而获得定义变量的类型,显然, auto定义的变量必须有初始值。
例:
// 由val_1 和val_2相加的结果可以推断出item的类型
auto item = val_1 + val_2;//item 类型初始化为val_1 + val_2相加后的类型,值为val_1+val_2相加的值。
auto在一条语句中声明多个变量时要注意该语句中的初始基本数据类型都必须一样。
例:
auto i = 0, *p = &i; // 正确:i为整型,p是整型指针
auto sz = 0, pi = 3.14; // 错误:sz和pi的类型不一致
例:
int i = 0;
const int ci = i,
auto &n = i, *p2 = &ci; // 错误:i为int,而&ci为const int
2、auto和复合类型、常量
编译器推断出来的auto类型有时候会跟初始值的类型并不完全一样,编译器会适当的改变结果类型使得其更符合初始化规则。
(1)引用
首先,正如我们熟知的,使用引用其实是使用引用的对象,特别当引用被用作初始值的时候,真正参与初始化的其实是引用对象的值。此时编译器以引用对象的类型作为auto的类型:
int i = 0, &r = i;
auto a = r; // a是一个整型(r是i的别名,而i是一个整数)
(2)const
1)auto会忽略顶层const,保留底层const,比如当初始值是一个指向常量的指针时:
例:
int i = 0;
const int ci = i, &cr = ci; //ci 为整数常量,cr 为整数常量引用
auto a = ci; // a 为一个整数, 顶层const被忽略
auto b = cr; // b 为一个整数,顶层const被忽略
auto c = &ci; // c 为一个整数指针.
auto d = &cr; // d 为一个指向整数常量的指针(对常量对象区地址是那么const会变成底层const)
2)若希望auto推断出顶层const,需要明确指出:
例:
auto &g = ci; //g是一个整数常量引用,绑定到ci。
auto &h = 42; // 错误:非常量引用的初始值必须为左值。
const auto &j = 42; //正确:常量引用可以绑定到字面值。
二、decltype
1、decltype功能
有的时候我们还会遇到这种情况,我们希望从表达式中推断出要定义变量的类型,但却不想用表达式的值去初始化变量。还有可能是函数的返回类型为某表达式的的值类型。在这些时候auto显得就无力了,所以C++11又引入了第二种类型说明符decltype,它的作用是选择并返回操作数的数据类型。在此过程中,编译器只是分析表达式并得到它的类型,却不进行实际的计算表达式的值。
例:
decltype(f()) sum = x;// sum的类型就是函数f的返回值类型。
在这里编译器并不实际调用f函数,而是分析f函数的返回值作为sum的定义类型。
2、decltype与const
decltype在处理顶层const和引用的方式与auto有些许不同,如果decltype使用的表达式是一个变量,则decltype返回该变量的类型(包括顶层const和引用在内)。
例:
const int ci = 42, &cj = ci;
decltype(ci) x = 0; // x 类型为const int
auto z = ci; // z 类型为int
decltype(cj) y = x; // y 类型为const int&
auto h = cj; // h 类型为int
decltype(cj) z; // 错误:cj为引用,故z是一个引用,必须初始化
3、decltype与引用
当表达式向decltype返回一个引用类型时,意味着该表达式的结果对象能作为一条赋值语句的左值:
int i = 42, *p = &i, &r = i;
decltype(r + 0) b; // 正确:加法的结果为int,故b是一个未初始化的int
decltype(*p) c; // 错误:c是int&,必须初始化
因为r是一个引用,故decltype(r)的结果是引用操作,则decltype将得到引用类型。若想让结果是r所指的类型,可以把r作为表达式的一部分,如r + 0,显然这个表达式的结果将是一个具体值而非引用。
如果表达式的内容是解引用操作,则decltype将得到引用类型。正如我们所熟悉的那样,解引用指针可以得到指针所指对象,而且还可以给这个对象赋值。因此decltype(*p)的结果类型就是int&。
注:
decltype和auto还有一处重要的区别是,decltype的结果类型与表达形式密切相关。有一种情况需要特别注意:对于decltype 所用表达式来说,如果变量名加上一对括号,则得到的类型与不加上括号的时候可能不同。如果decltype使用的是一个不加括号的变量,那么得到的结果就是这个变量的类型。但是如果给这个变量加上一个或多层括号,那么编译器会把这个变量当作一个表达式看待,变量是一个可以作为左值的特殊表达式,所以这样的decltype就会返回引用类型:
例:
int i = 42;
decltype(i) a; // 正确:i为(未初始化)int类型
decltype((i)) b; // 错误:i为int&类型,引用类型必须初始化
即,decltype((variable))(注意是双重括号)的结果永远是引用,而decltype(variable)结果只有当variable本身就是一个引用时才是引用。