自操作员覆盖 - 按引用返回或按副本返回

Question

考虑以下代码？

我想知道，如果我改变它（功能体仍然相同）

error_code& operator|=(const error_code &e)

到

error_code operator|=(const error_code &e)

是否有可能发生的潜在错误？我看到的唯一区别是，它会执行额外的复制操作，除此之外，没什么大不了的。

那么，我应该坚持通过引用返回，还是无所谓？

---

class error_code {
public:
 error_code() : hi(0), lo(0) {}
 error_code(__int64 lo) : hi(0), lo(lo) {}
 error_code(__int64 hi, __int64 lo) : hi(hi), lo(lo) {}

 // How about return by copy?
 error_code& operator|=(const error_code &e) {
  this->hi |= e.hi;
  this->lo |= e.lo;
  return *this;
 }

 __int64 hi;
 __int64 lo;
};

error_code operator|(const error_code& e0, const error_code& e1) {
 return error_code(e0.hi | e1.hi, e0.lo | e1.lo); 
}

int main() {
 error_code e0(1);
 error_code e1(2);
 e0 |= e1;
}

Answer 1

  

是否有可能发生的潜在错误？

是。这将无法按预期工作：

(ec |= x) = y;

现在，这是一段愚蠢的代码，毫无疑问，但

1. 适用于其他类型和
2. 可能还有其他情况，这种差异很重要。

例如，如果您的类error_code将具有修改它们被调用的对象的成员函数，那么如果您通过复制而不是引用返回，这些将修改临时对象：

(ec |= x).normalize();  // whatever "normalizing" error code means...

Answer 2

这意味着您对返回的对象所做的任何操作都不会再影响原始对象。反之亦然 - 返回的对象永远不会反映对原始对象所做的更改。这是价值与身份的典型问题。你保留了对象值的副本，但是你失去了它的身份。