C++ Primer 学习____decltype类型指示符

1. 为什么使用decltype类型指示符
   有时会遇到这种情况:希望从表达式的类型推断出要定义的变量的类型，但是又不想用表达式的值初始化变量。decltype的作用就是选择并返回表达式的数据类型。在此过程中编译器分析表达式并得到它的类型，却不实际计算表达式的值：

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

1. 如何使用decltype类型指示符
   decltype对顶层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&，y绑定到变量x
decltype（cj）z;//错误：z是一个整数常量的引用，必须初始化

引用从来都作为其所指对象的同义词出现，只有用在decltype处是一个例外：就代表本身的类型！
有些表达式将向decltype返回引用类型，当这种情况发生时，意味着该表达式的结果对象能最为一条赋值语句的左值：

int i = 42,*p=&i,&r=i;
decltype(r + 0) b;//正确，加法的结果是int，因此b是一个未初始化的int变量
decltype(*p) c;//错误，解引用返回的是引用类型，所以c为引用类型，必须初始化

与auto不同，decltype的结果类型与表达式形式密切相关。有一种情况需要特别注意：对于decltype所用的表达式来说，如果变量名加上了一对括号，则编译器就会把它当成是一个表达式。变量是一种可以作为赋值语句左值的特殊表达式，所以这样的decltype就会得到引用类型：

decltype((i)) d;//错误，变量加了括号，结果是引用类型，所以d必须初始化
decltype（i）e;//正确，e是一个未初始化的int