c++ - 自操作符覆盖 - 通过引用返回或通过拷贝返回

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

Is there any potential bug that might possible occur?

是的。这将不再按预期工作:

(ec |= x) = y;

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

1. 它确实适用于其他类型并且
2. 可能在其他情况下这种差异很重要。

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

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