我可以重复使用右值引用参数来返回右值引用吗？

Question

考虑以下代码：

struct MyString
{
  // some ctors

  MyString& operator+=( const MyString& other ); // implemented correctly
};

MyString operator+( const MyString& lhs, const MyString& rhs )
{
  MyString nrv( lhs );
  nrv += rhs;
  return nrv;
}

MyString&& operator+( MyString&& lhs, const MyString& rhs )
{
  lhs += rhs;
  return std::move( lhs ); // return the rvalue reference we received as a parameter!
}

这适用于以下用例

MyString a, b, c; // initialized properly
MyString result = a + b + c;

但它会为

创建一个悬空引用

const MyString& result = a + b + c;

现在，我明白了为什么会这样以及如何解决它（返回一个 ravlue 而不是一个右值引用），但是如果有人编写上面的代码，我认为这是一个使用错误，因为代码看起来像是在自找麻烦。是否有任何“规范”真实世界的示例，其中上述运算符返回右值引用是一个问题？为什么我应该始终从运算符返回右值，有什么令人信服的理由？

Answer 1

您要查找的示例是基于范围的for 语句：

MyString a, b, c;
for( MyCharacter mc : a + b + c ) { ... }

在这种情况下，a + b + c 的结果被绑定到一个引用，但是嵌套临时（由a + b 生成并由(a + b) + c 作为右值引用返回）在基于范围的 for 循环执行之前被销毁.

标准定义了基于范围的for循环

6.5.4 基于范围的for语句[stmt.ranged]

¹ 对于基于范围的for 形式的语句

for (for-range-declaration:表达式)声明

让 range-init 等价于括号括起来的表达式

( expression )

对于基于范围的for 形式的声明

for (for-range-declaration:braced-init-list)声明

让 range-init 等价于 braced-init-list。在每种情况下，基于范围的for 语句等效于

{
   auto && __range = range-init;
   for ( auto __begin = begin-expr,
              __end = end-expr;
         __begin != __end;
         ++__begin ) {
      for-range-declaration = *__begin;
      statement
   }
}

请注意，auto && __range = range-init; 会延长从 range-init 返回的临时对象的生命周期，但不会延长 inside 的嵌套临时对象的生命周期范围初始化。

Answer 2

你应该相信字符串自己的移动构造函数，而不是自找麻烦：

MyString operator+(MyString lhs, MyString rhs)
{
    lhs += std::move(rhs);
    return std::move(lhs);
}

现在MyString x = a + b; 和MyString y = MyString("a") + MyString("b"); 都可以高效工作。