auto类型说明符与的decltype类型说明符

auto类型说明符

auto类型说明符是C++121 引入的一个新的类型说明符，它的主要作用就是，让编译器替我们去分析表达式所属的类型。
auto会让编译器通过初始值来推算变量的类型。所以，auto定义的变量一定需要有初始值。
在C/C++的语言规则里，一条声明语句只能有一个基本数据类型，所以该语句中的所有变量的初始基本数据类型都必须一样：

auto i= 0. *p= &i; // 正确， i是整数、P是整形指针
auto sz = 0, pi = 3.14; //错误： sz和pi类型不一致

但是，有的时候，编译器推算出来的类型与初始值的类型并不完全一致，编译器会适当改变结果来使其更符合初始化规则。例如：

int i = 0， &r = i;
auto a = r; 	//a 是一个整数， r是i 的别名

其次，auto会忽略顶层const 而底层const会被保留下来：

const int ci = i, &cr = ci;
auto b = ci;				//b是一个整数，忽略顶层const
auto c = cr；				//c是一个整数
auto d = &i;				//d是一个整形指针
auto e = &ci;				//e是一个指向整数常量的指针（对常量对象取地址是一种底层const）

如果想要定义一个顶层const 的auto变量，需要显示使用const：

const auto f = ci;			//f 是const int 类型
auto &g = ci;				//g 是一个整形常量引用
auto &h = 42;				//错误用法： 不能为非常量引用绑定字面值
const auto &j = 42			//正确用法： 可以为常量引用绑定字面值

在同一个语句中定义多个变量，切记& 和*只从属于某个声明符号，而非基本数据类型的一部分，一次初始值类型必须一致：

auto k =ci, &l = i;			//k是整数，l是整形引用
auto &m = ci, *p = &ci;		//m是整形引用， p是指向整形常量的指针
auto &n = i, *p2 = &ci;		//错误：i的类型是int，而&ci的类型是const int

decltype类型指示符

dectltype的作用是选择并返回操作数的类型，它会从表达式的类型推算出要定义的变量的类型，但是不用该表达式的值初始化变量。
在此过程中，编译器分析表达式并得到它的类型，却不实际计算表达式的值。

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

dectltype处理顶层const和引用的方式与auto不同。如果decltype使用的表达式是一个变量，则decltype返回该变量的类型（包括顶层const和引用在内）

const int ci = 0, &cj = ci;
decltype(ci) x = 0; 			//x的类型是const int
decltype(cj) y = x;				//y的类型是const int&，绑定到变量x上
decltype(cj) z;					//错误：z是一个引用，必须初始化

因为cj是一个引用，所以decltype(cj)是引用类型，因此z必须被初始化。
需要注意的是，引用从来都是作为所指对象的同义词出现，只有在decltype处是一个例外。

decltype和引用

decltype使用的表达式是一个变量，那么很简单，decltype返回对象的类型；
如果使用的表达式不是一个变量，那么decltype返回表达式结果对应的类型。

//decltype 的结果可以是引用类型
int i = 42， *p = &i, &r = i;
decltype(r + 0) b;	//正确： 加法的结果是int
decltype（*p） c;	//错误：c是int&， 需要初始化

r是引用类型，而r+0经过计算，结果是个int类型，所以decltype(r+0)返回int类型
如果表达式是解引用操作，那么decltype将会得到引用类型。所以decltype(*p)返回的是int&而不是int

注意：如果decltype所用的表达式变量名加了一层或者多层括号，那么编译器将会把它当成是一个表达式，
所以，这样的decltype就会得到引用类型

//decltype的表达式如果是加上了括号的变量，那么结果将是引用
decltype((i)) d;	//错误： d是int&，必须初始化
decltype(i) e;		//正确： e是一个int