标签：变量类型 区别 复制 编译器 就会 必须 val 右值 决定
“引用从来都作为其所指对象的同义词出现，只有用在decltype处是一个例外”
理解：
Decltype和auto区别：
1. auto是从表达式类型推断出要定义的变量类型，且用该表达式的值去初始化。而decltype虽然也是从表达式类型推断要定义的变量类型，但是不会用该表达式的值去初始化
2. decltype的结果类型与表达式形式密切相关（表达式只有变量和表达式不止有变量）
第二点就是理解这里的关键，对于decltype来说，如果表达式是变量名加上括号得到的就是一个引用（加括号的时候编译器将其视为表达式而不是变量）：
Int i=0；
decltype（（i））d； //d是一个int引用，必须初始化
decltype（i）d； //d是一个普通的int
因此对于：
Decltype（*p）c //c是一个int&，即引用。
在这里，引用和*p联系到了一起，这就是那个例外。
那么，为什么会是这样呢？
此外，为什么变量加个括号，在decltype中就会返回引用类型呢？
这一切都和区别2和左右值在decltype中的应用有关。
首先我们要明确，decltype中，表达式只有变量不会出现这种差异，变量是什么就返回什么；只有在表达式不止是变量时会有不同。
表达式之所以不同，是因为decltype此时是根据表达式的结果来返回对应的类型.那么表达式的结果有哪些呢？
1.表达式的结果对象能作为一条赋值语句的左值时，decltype返回的是引用类型
想到这，有必要再次深入了解C++中的左右值区别了。之前存的文章：
https://stackoverflow.com/questions/3601602/what-are-rvalues-lvalues-xvalues-glvalues-and-prvalues
以及最近在看的网络课笔记：
http://www.cnblogs.com/wuduojia/articles/7635635.html
派上了用场，接下来就是自己试着合起来理解一下。
首先是stack overflow里高票答案的理解：
一切的原因可能是因为移动时全语义的变化（全语义的意思见网络课笔记）。一旦我们对表达式进行移动而非复制，很容易就能看出在不同表达式上移动的区别。根据我对草案的理解，我认为rvalue和lvalue的概念和以前一样，只是在移动时更加细分了这个概念。
为什么需要它？也许并不是我们想的那样即定义不一样了，而是定义的更加精确了而已。
1.lvalue=left value=左值
2.xvalue =expiring value
3.glvalue =generalized lvalue
4.rvalue=right value=右值
5.prvalue =pure rvalue
由于英语差，感觉自己理解的这五种值不对，又去查了资料：
https://www.zhihu.com/question/22111546
https://www.2cto.com/kf/201602/489942.html
发现这些答案应该可以说清楚了，但是很多基础性的东西还不懂，无法理解！所以决定先放一放，以后再回头理解！
暂时先按照这篇文章的理解：
http://www.cnblogs.com/wuchanming/p/3751847.html
“使用关键字decltype的时候，左值和右值也有所不同。如果表达式的求值结果是左值，decltype作用于该表达式（不是变量）得到一个引用类型。举个例子，假定p的类型是int* ，因为解引用运算符生成左值，所以decltype(*p)的结果是int&。另一方面，因为解地址运算符生成右值，所以decltype(&p)的结果是int**，也就是说，结果是一个指向整型指针的指针。”
标签：变量类型 区别 复制 编译器 就会 必须 val 右值 决定
原文地址：http://www.cnblogs.com/wuduojia/p/7637057.html
