再战primer——decltype 和引用

刷primer看到原文讲到"引用从来都作为其所指对象的同义词出现，只有用在decltype处是一个例外。",我很是好奇。

这个“引用”当然是指引用类型,like this:

int i =;

int &r= i;

r就是引用类型，的确如上文所说，它从来都是作为"所指对象" i的同义词出现。

如果使用decltype 关键字推断 r 的类型：

decltype(r) d;  //会报错

在vs中会报错，提示"引用变量d需要初始值设定项",同时可以移动鼠标到 d 上，vs会提示 d的类型为 int& d 。

正确代码应该是这样:

decltype(i) a=;// 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 =,*p=&i,&r=i;

decltype(i) a=;

decltype(r) b=a;

decltype(r+) c=;

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:以上都是个人理解，如有错误还望指点。

巴特西