5

代码

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

问题：

  1. 为什么const ref不能绑定到右值？可以吗？
  2. 我需要返回ref CustomReal或返回const ref CustomReal来opBinary()解决这个问题吗？可以吗？
  3. 返回对在堆栈上创建的本地对象的引用是否正确？ ref CustomReal Create() { return CustomReal(0.0); }
4

3 回答 3

4

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

opBinary不能返回refor 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)

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

现在，为什么

assert(a == CustomReal(123.123456));

工作，和

assert(a == Create());

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

编辑：看来是因为

assert(a == CustomReal(123.123456));

工作，和

assert(a == Create());

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

于 2011-08-09T04:41:34.080 回答
3

#1: 是的，const ref 不能绑定到右值。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());
于 2011-08-08T22:35:31.000 回答
2

对于#2（以及扩展#3）：不，这将是无效的，因为它必须是对刚刚超出范围的对象的引用。

于 2011-08-08T20:34:14.143 回答