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