C++0x T operator+(const T&, T&&) 模式，还需要移动吗？

Question

前段时间有人告诉我，实现二元运算符的常用模式在返回时需要一个最终的move。

Matrix operator+(const Matrix &a, Matrix &&b) {
    b += a;
    return std::move(b);
}

但现在有一个特殊规则，即在 return 中，编译器可能会将返回值视为临时值，然后就没有必要这样做了——一个简单的 return b 就足够了。

但话又说回来，b 在这个函数中有一个 name，因此，它是一个 LValue——这会阻碍编译器将其视为临时变量， move 是必需的。

在最新版本的 C++0x 标准中仍然是这种情况吗？ 我们需要move 来实现上述模式吗？

Answer 1

在此示例中您需要显式的 std::move，因为 b 不是非易失性 自动 对象的名称。参考12.8【class.copy】/p31/b1：

• 在具有类返回类型的函数的返回语句中，当 表达式是非易失性自动对象的名称（其他 比函数或 catch 子句参数）具有相同的 cv- 非限定类型作为函数返回类型，复制/移动操作 可以通过将自动对象直接构造到 函数的返回值

Answer 2

我不确定为什么这个函数按值返回。这个函数不应该像下面这样返回Matrix&&吗？

Matrix&& operator+(const Matrix &a, Matrix &&b) {
  b += a;
  return std::move(b);
}

这有一个额外的优势，x1 + x2 + x3 + ... + xn 最多创建一个临时的，如果 Matrix 恰好是堆栈分配的，这一点很重要（因为它不会从移动中获得任何收益）。

我认为签名应该是这样的：

Matrix&& operator+(Matrix &&a,      Matrix &&b     );
Matrix&& operator+(const Matrix &a, Matrix &&b     );
Matrix&& operator+(Matrix &&a,      const Matrix &b);
Matrix   operator+(const Matrix &a, const Matrix &b);