在赋值移动运算符中使用交换

Question

I c++编程语言13.6.2 std::swap用于实现移动语义，思路如下：

class deutscheSchweine{
 public:
  deutscheSchweine(){std::cout<<"DS\n";}
  deutscheSchweine& operator=(const deutscheSchweine& other){
   deutscheSchweine tmp;
   swap(*this, tmp);
   return *this;
  }
  deutscheSchweine(deutscheSchweine&& other){}
  deutscheSchweine& operator=(deutscheSchweine&& other){
   swap(*this, other);
   return *this;
  }
};


int main(){
deutscheSchweine ds;
deutscheSchweine ds2;
ds2 = ds;

我上面的例子在调用赋值之后我们可以使用移动语义来从临时复制，但是这个例子导致递归调用移动赋值。我的问题是我们可以在移动语义中以某种适当的方式使用交换吗？

Answer 1

通过交换实现复制分配是个好主意，但您错过了一些细节。

您需要在某个时候对每个单独的成员调用 move。这可以通过调用swap(*this, other); 并实现swap 的特化，通过直接对每个成员调用swap，或让std::swap 调用您的移动赋值运算符来完成。

不应使用swap 实现移动分配。

我们已经有了“copy-and-swap”习语的优秀指南，在这里：What is the copy-and-swap idiom?

另请阅读Should the Copy-and-Swap Idiom become the Copy-and-Move Idiom in C++11?

最后，您想要的（假设您的成员对象设计正确）是：

class deutscheSchweine
{
 public:
  deutscheSchweine(){std::cout<<"DS\n";}

  // defaulted move operations (member-wise moves)
  deutscheSchweine(deutscheSchweine&& other) = default;
  deutscheSchweine& operator=(deutscheSchweine&& other) = default;

  // copy construction is defaulted (member-wise copies)
  deutscheSchweine(const deutscheSchweine& other) = default;

  // copy assignment uses copy-and-move for exception safety
  deutscheSchweine& operator=(deutscheSchweine other)
  {
    return *this = std::move(other);
  }
};