刷primer看到原文讲到"引用从来都作为其所指对象的同义词出现，只有用在decltype处是一个例外。",我很是好奇。
这个“引用”当然是指引用类型,like this:
int i =1; int &r= i;
r就是引用类型，的确如上文所说，它从来都是作为"所指对象" i的同义词出现。
如果使用decltype 关键字推断 r 的类型：
decltype(r) d; //会报错
在vs中会报错，提示"引用变量d需要初始值设定项",同时可以移动鼠标到 d 上，vs会提示 d的类型为 int& d 。
正确代码应该是这样:
decltype(i) a=0;// a 是int 类型 decltype(r) d= a;// 等同于 int & d=a;
到这里为止依旧符合原文“引用从来都作为其所指对象的同义词出现”。
那么它的“只有用在decltype处是一个例外”在哪呢？
如下代码：
int *p=&i; decltype(*p) c;
vs报错提示："引用变量c 需要初始值设定项",似曾相识。同时可以移动鼠标到 c 上，vs会提示 c 的类型为 int &c 。
这就纳闷了，讲道理我一个 int * 类型 就这么变成一个 int & 类型了呢？
原文说到“有些表达式将向decltype 返回一个引用类型。一般来说这种情况发生时，意味着该表达是的结果对象能作为一条赋值语句的左值”
以下面为例：
int i =10,*p=&i,&r=i; decltype(i) a=0; decltype(r) b=a; decltype(r+0) c=0; decltype(*p) d =a;
decltype(i) a 得到一个int 类型变量a ，我们初始化为0。
decltype(r) b 得到一个int& 类型变量b ,即一个 int类型引用 需要绑定一个int变量，我们绑定到a。
这就是向decltype返回一个引用类型，表达的结果对象 b能做一条赋值语句的左值，没毛病。
decltype(r+0) c来源于书上，r是引用，r+1表达式的结果是一个int值,等同于变量a.
decltype(*p) d ，*p的结果是一个 int 对象，即变量 i 。是不是可以等同于decltype(i) 从而得到int类型对象呢?
图样森破~前面已经在vs里验证了，decltype(*p)得到的是一个int&类型，书上的解释为*p生成左值，故得到int&.
这是关键，说明decltype（i）和decltype（*p）作用机理是不一样的。
原文："解引用指针可以得到指针所指的对象，而且还能给这个对象赋值"
加粗部分是重点，能给这个对象赋值不就是说获得了对象的地址吗？
所以表达式 *p 同样得到 i 这个对象，但我们得到的其实是i变量的地址.而变量i呢？
对于其本身的操作有如下3种:
1、 int i;开辟内存空间
2、 int i =10; //这里的i为左值
3、 int b =i;
我们知道，类型区别就是内存空间字节长度区别，明显decltype(i)这里没有用到i变量的地址(用不上啊),或者说它功能就是读取i这块内存里存储的值.
不妨一试:
decltype(p) e;
p是指针，但p自己的内存储存了一个地址，这个环境下decltype(p)除了类型不一样，没有区别。
最后，简单的说如果decltype（）处理的不是表达式而是变量，那么返回变量类型.
否则根据表达式结果来给出返回的类型.
ps:以上都是个人理解，如有错误还望指点。