让我困惑的引用，左值右值的问题

smartvessel

#include <iostream> using namespace std; int main() {     int i = 2;     double &r = i;     return 0; }

gcc error: invalid initialization of reference of type 'double&' from expression of type 'int'

如果改成

const double &r = i;

没有问题。

看过一些解释：如果初始化引用，=右边必需要么是左值（lval)要么能有函数把它变成左值，否则在定义的时候就必需声明为常量引用形式。

难道这里的i不是左值？

程序改成

int main() {     double i = 2;     double &r = i;     return 0; }

没有错误
难道这里的i又是左值啦？

现在比较困惑引用，左值和右值就更加困惑了。

drangon

const double &r = i;

由于类型不匹配，实际相当于：

const double inner_tmp = (double)i;

const double &r = inner_tmp;

临时的中间变量都是const，所有没有const的引用会失败。

smartvessel

原帖由 drangon 于 2010-1-8 12:11 发表
const double &r = i;

由于类型不匹配，实际相当于：

const double inner_tmp = (double)i;

const double &r = inner_tmp;

临时的中间变量都是const，所有没有const的引用会失败。

谢谢，是不是每一个赋值的操作都会有中间变量的参与？

[ 本帖最后由 smartvessel 于 2010-1-8 12:29 编辑 ]

smartvessel

double i = 2;
    double &r = i;

如何解释这样，却又是没有报错的呢？

redspider

C++ primer 4th
对你的问题有一段专门说明

smartvessel

原帖由 redspider 于 2010-1-8 13:21 发表
C++ primer 4th
对你的问题有一段专门说明

身边没有这本书，可否说明在那一章节，或者明示在下。

smartvessel

原帖由 smartvessel 于 2010-1-8 12:28 发表
double i = 2;
    double &r = i;

如何解释这样，却又是没有报错的呢？

引用r和变量i的类型相同，所以不产生临时变量，因此没有错误。

是不是这样理解的？

smartvessel

对“普通”的T&，初始式必须是一个类型T的左值，而对于一个const T&的初始式不必是一个左值，甚至可以不是类型T的。

smartvessel

版上是否有关于“左值”的精华帖？

gz80

左值右值关系不大，是引用的特性