[C++] decltype为什么对变量和对表达式,结果不同?有什么设计的出发点?

cdsfiui

语言标准上面说decltype(x)是取了x的类型，decltype((x))是取了x的引用类型。为什么要这样区分呢?
不知道这个设计本身有什么好处，或者是其他方面的原因，要求某种一致性，所以要让decltype来区分'变量'和'表达式'?

1. 
   
2. #include<stdio.h>
   
3. int x=0;
   
4. decltype((x)) y=x;
   
5. int main()
   
6. {
   
7.     y=2;
   
8.     printf("%d\n",x);
   
9.     decltype((1+2))&z=x;
   
10.     z=3;
    
11.     printf("%d\n",x);
    
12.     return 0;
    
13. }
    
14. 
    

复制代码

这个程序输出2,3。符合语法。
但是我还是想知道，这种区分的由来是什么，有什么语言设计上的考量?

windoze

主要是减少一些误用，理论上说表达式直接写一个变量名它的type就应该是一个lvalue ref，但是如果decltype就这么设计就太违反直觉了，比如

1. 
   
2. int a=0;
   
3. deltype(a) b=10;
   

复制代码

如果decltype返回一个ref type，那么这段程序就是错误的，因为lvalue ref不能绑定在常量上。

所以decltype给这种case开了个后门，如果参数就是一个id，那么decltype返回这个id的type，这样上一段程序就没问题了。

除此之外decltype是这么规定的：
1、 如果参数是lvaue，则返回T&
2、如果参数是xvalue，则返回T&&
3、 如果参数是prvalue(也就是表达式生成的临时结果)，则返回T，比如decltype(1+2)就是int，这一条也是出于易用的考虑