Question

代码

struct CustomReal
{
   private real value;

   this(real value)
   {
      this.value = value;
   }

   CustomReal opBinary(string op)(CustomReal rhs) if (op == "+")
   {
      return CustomReal(value + rhs.value);
   }

   bool opEquals(ref const CustomReal x) const
   {
      return value == x.value; // just for fun
   }
}

// Returns rvalue 
CustomReal Create()
{
   return CustomReal(123.123456);
}

void main()
{
   CustomReal a = Create();
   assert(a == CustomReal(123.123456)); // OK. CustomReal is temporary but lvalue
   assert(a == Create());               // Compilation error (can't bind to rvalue)
   assert(a != a + a);                  // Compilation error (can't bind to rvalue)
}

编译错误

prog.d(31): Error: function prog.CustomReal.opEquals (ref const const(CustomReal) x) const is not callable using argument types (CustomReal)
prog.d(31): Error: Create() is not an lvalue

http://ideone.com/O8wFc

问题：

为什么const ref无法绑定到右值？好吗？
我是否需要从ref CustomReal返回const ref CustomReal或opBinary()来解决此问题？好吗？
返回对堆栈上创建的本地对象的引用是否正确？ ref CustomReal Create() { return CustomReal(0.0); }

Answer 1

ref和const ref之间的唯一区别是const ref是const而ref不是。两者都必须采取变量。两者都不能暂时。这与C ++不同，其中const T&将采用T类型的任何值 - 包括临时值。

opBinary无法返回ref或const ref，因为没有要返回的变量。它正在创造一个临时的。 Create也是如此。并且使用您想要返回的值创建局部变量也没有帮助，因为您无法返回对局部变量的引用。它最终会引用一个不再存在的变量。

您需要做的是添加opEquals的另一个重载：

bool opEquals(CustomReal x) const
{
    return value == x.value; // just for fun
}

这样，您的代码就会编译。

我会指出，opEquals 的当前情况需要解决一下。你会注意到，如果你只有我给你的opEquals的重载，而不是你当前拥有的重载，代码就无法编译，你会收到类似这样的错误：

prog.d(15): Error: function prog.CustomReal.opEquals type signature should be const bool(ref const(CustomReal)) not const bool(CustomReal x)

编译器目前过于挑剔opEquals结构的确切签名（其他一些函数 - 例如toString - 有类似的问题）。这是一个已知问题，可能会在不久的将来得到解决。但是，就目前而言，只声明opEquals的两个重载。如果您将CustomReal与变量进行比较，则会使用const ref版本，如果您将CustomReal与临时版本进行比较，则会使用其他版本。但如果你有两者，你应该没问题。

现在，为什么

assert(a == CustomReal(123.123456));

有效，

assert(a == Create());

没有，我不确定。我实际上期望这两个失败，因为const ref不能暂时，但由于某种原因，编译器在这里接受它 - 它可能与如何它对待opEquals特殊。无论如何，正如我所说，opEquals和结构都存在一些问题需要解决，希望很快就会发生。但与此同时，声明opEquals的两个重载似乎都可以解决问题。

编辑：看来原因是

assert(a == CustomReal(123.123456));

有效，

assert(a == Create());

不是因为事实（由于我不理解的原因）结构文字被认为是左值，而不是ref的函数的返回值（不出所料）是右值。有一个与couple相关的bug reports，认为结构文字应该是rvalues，但显然它们是设计的左值（这让我感到困惑）。在任何情况下，这就是为什么一个函数使const ref使用结构文字而不是函数的返回值。

Answer 2

#1：是的，const ref无法绑定到rvalues。 Andrei认为在C ++ IIRC中允许这样做是个坏主意。 http://digitalmars.com/d/archives/digitalmars/D/const_ref_rvalues_103509.html#N103514

奇怪的是结构文字计为D2中的左值，所以这有效：

struct A {}
void foo(ref A a) {}
void main()
{
    foo(A());
}

在调用以下内容时不会：

static A bar()
{
    return A();
}

foo(bar());

Answer 3

对于＃2（和扩展名＃3）：不，这将是无效的，因为它必须是对一个只有锣超出范围的对象的引用。

D中的const ref和rvalue

3 个答案: