C++11新特性中auto 和 decltype 区别和联系

2020-01-06 16:25:54于海丽

            如果你希望推断出auto类型是一个顶层的const,需要明确指出:


const auto f = ci; 

            还可以将引用的类型设为auto,此时原来的初始化规则仍然适用(用于引用声明的const都是底层const):


auto &g = ci; //g是一个整数常量引用,绑定到ci。 
auto &h = 42; // 错误:非常量引用的初始值必须为左值。 
const auto &j = 42; //正确:常量引用可以绑定到字面值。  

二. decltype简介

            有的时候我们还会遇到这种情况,我们希望从表达式中推断出要定义变量的类型,但却不想用表达式的值去初始化变量。还有可能是函数的返回类型为某表达式的的值类型。在这些时候auto显得就无力了,所以C++11又引入了第二种类型说明符decltype,它的作用是选择并返回操作数的数据类型。在此过程中,编译器只是分析表达式并得到它的类型,却不进行实际的计算表达式的值。


decltype(f()) sum = x;// sum的类型就是函数f的返回值类型。 

在这里编译器并不实际调用f函数,而是分析f函数的返回值作为sum的定义类型。

 基本上decltype的作用和auto很相似,就不一一列举了。对于decltype还有一个用途就是在c++11引入的后置返回类型。

三. decltype 和 auto 区别

            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还有一些值得注意的地方,我们先来看看下面这段代码:


int i = 42, *p = &i, &r = i; 
 
decltype(i) x1 = 0;    //因为 i 为 int ,所以 x1 为int 
auto x2 = i;       //因为 i 为 int ,所以 x2 为int 
 
decltype(r) y1 = i;    //因为 r 为 int& ,所以 y1 为int& 
auto y2 = r;       //因为 r 为 int& ,但auto会忽略引用,所以 y2 为int 
 
decltype(r + 0) z1 = 0;  //因为 r + 0 为 int ,所以 z1 为int, 
auto z2 = r + 0;     //因为 r + 0 为 int ,所以 z2 为int, 
 
decltype(*p) h1 = i;   //这里 h1 是int&, 原因后面讲 
auto h2 = *p;       // h2 为 int. 

           如果表达式的内容是解引用操作,则decltype将得到引用类型。正如我们所熟悉的那样,解引用指针可以得到指针所指对象,而且还可以给这个对象赋值。因此decltype(*p)的结果类型就是int&.