为什么rvalues没有地址?

时间:2011-09-10 06:47:57

标签: c++ expression rvalue

为什么rvalues没有内存地址?它们是在程序执行时没有加载到RAM中还是是指存储在处理器寄存器中的值?

5 个答案:

答案 0 :(得分:10)

你的问题(“为什么rvalues没有内存地址?”)有点困惑。右值是一种表达方式。 表达式没有地址:对象具有地址。问“为什么不能将地址运算符应用于右值表达式?”更为正确。

答案很简单:你只能获取一个对象的地址而不是所有的右值表达式都引用了对象(例如,表达式42有一个值,但没有引用一个对象)

某些右值表达式确实引用了对象,但这些对象缺乏持久性。由rvalue表达式引用的对象是临时对象,并在创建它的表达式的末尾被销毁。这些对象确实有地址(您可以通过在临时对象上调用成员函数来轻松发现这一点; this指针必须指向临时对象,因此临时对象必须具有地址。)

这是左值表达式和右值表达式之间的根本区别。左值表达式引用具有持久性的对象:左值表达式引用的对象persists beyond a single expression

答案 1 :(得分:1)

rvalue视为表达式的 本身没有地址。但对象涉及表达式中有地址。您可以获取对象的地址,即使它是临时对象。

考虑一下,

const int & i = 10; //ok

此处10是左值,因此显示 &i10的地址。不,那是错的。 &i int类型的临时对象的地址,它是从表达式10创建的。由于临时对象不能绑定到非const引用,我使用const。这意味着,以下是一个错误:

int & i = 10; //error

答案 2 :(得分:1)

该问题混合了与"规范相关的两个不同方面"以及"实施"。

"规范"定义一些抽象规则,定义语言对其使用的抽象机器的行为方式。 适应"抽象机"到了真正的一个"在它下面是编译器的目的(而不是语言)。

规范的实施内容是 - 语言立场 - "存储" (具有正确地址的一块内存)仅提供给具有名称(对于存在名称所在的范围)或使用显式请求动态分配的对象({{1 }})。 其他一切都是"临时的&#34 ;:分配,复制和移动就像一个对象,但不需要存在在一个定义良好且稳定的地方。至少,不是为了语言的目的。

当然,这必须留在(物理上)某处,所以你可以 - 通过适当的转换或转换 - 试图猜测一个内存地址。但是,如果您尝试主动使用它,语言规范不会授予任何一致的行为。 这意味着不同的编译器可以表现不同,并且可以更好地优化它们所针对的真实机器。

答案 3 :(得分:-1)

你是什么意思,rvalues确实有一个地址。曾经尝试过

Type const value& = rvalue;
Type const* address = &value;

答案 4 :(得分:-1)

简单地说这个案例

int a = 1 + 2;

1 + 2被解析为3.

问问自己:

  • 3是一个对象吗?
  • 3将位于内存中?

当您需要对象的地址时,请使用&amp ;.

如果rvalues可以寻址,则意味着您可以声明指向计算机决定存储位置的指针3

int* a = &3;

这看起来是对的吗? :)