移动构造函数与移动赋值

Question

作为This 问题的扩展，我正在努力让我的移动分配正确。

我有以下代码：

// copy assignment operator
LinkedList<T>& operator= (LinkedList<T> other) noexcept
{
    swap(*this, other);
    return *this;
}

// move assignment operator
LinkedList<T>& operator= (LinkedList<T>&& other) noexcept
{
    swap(*this, other);
    return *this;
}

但是当我尝试使用它时，我的代码无法编译。

首先是一些代码：

LinkedList<int> generateLinkedList()
{
    LinkedList<int> List;   
    List.add(123);
    return List;
}


int main()
{
    LinkedList<int> L;   
    L = generateLinkedList();
      ^ get an error here...

我收到以下错误：

main.cpp(24): 错误 C2593: 'operator =' 不明确

linkedlist.h(79)：注意：可能是 'LinkedList &LinkedList::operator =(LinkedList &&) noexcept'（指向移动赋值运算符）

linkedlist.h(63): note: or 'LinkedList &LinkedList::operator =(LinkedList) noexcept' （指向复制赋值运算符）

main.cpp(24): 注意：在尝试匹配参数列表时'(LinkedList, LinkedList)'

我的移动赋值运算符是错的，还是我用错了？

Answer 1

复制赋值运算符将采用const LinkedList<T>& other，而不是LinkedList<T> other。

这个

LinkedList<T>& operator= (LinkedList<T> other) noexcept
{
    swap(*this, other);
    return *this;
}

是如何使用copy-and-swap 同时实现复制和移动分配的。通过重新使用复制和移动构造函数（other 是复制构造的或移动构造的），您只需将this 与other 交换。 other 在函数结束时死亡，并带走了 this 的旧状态。这个实现完全没问题，但是你不需要对临时对象进行第二次重载（这确实是模棱两可的）。

如果您想为复制分配和移动分配提供单独的复制分配运算符，签名将是

// copy assignment operator
LinkedList<T>& operator=(const LinkedList<T>& other) noexcept
{
  //...
}

// move assignment operator
LinkedList<T>& operator=(LinkedList<T>&& other) noexcept
{
  //...
}

但由于您已经拥有 swap 和复制+移动构造函数，因此最好使用复制和交换。

PS：由于这些似乎是内联定义（即在类主体中），您可以跳过 <T> 模板参数 - 在 LinkedList 模板类定义中，编写 LinkedList 自动引用“当前实例化"（即LinkedList<T>）。