Question

#include <memory>
#include <algorithm>

using namespace std;

class A {
public:
    unique_ptr<int> u;
    A(){}
    A(const A& other): u(new int(*other.u)){} // If I comment this out, it works.
    // A(A&&){} // This does not help.
};

int main() {
    A a;
    A b = a;
    swap(a, b);
}

此代码不起作用 - 因模板错误列出no matching function for call to ‘swap(A&, A&)’而失败。为什么？删除第二个构造函数会有所帮助，但我需要在其他代码中使用它。我猜测它可以与其他定义的一些构造函数的自动删除相关联，但手动添加移动构造函数也无济于事。我该如何解决这个问题？

Answer 1

std::swap()要求其参数为 move-constructible 和 move-assignable 。

假设：

struct A {
    unique_ptr<int> u;
    A();
};

由于隐式定义的移动构造函数和移动赋值运算符，

A是可交换的。

但是，鉴于：

struct A {
    unique_ptr<int> u;
    A();
    A(A const&);
};

通过声明用户定义的复制构造函数，您将禁止A的移动构造函数和移动赋值运算符的隐式定义（并且通过拥有一个不可赋值可复制的成员，您将禁止隐式生成A的复制构造函数和复制赋值运算符。

要让A再次交换，您需要用户定义两者（*）：

struct A {
    unique_ptr<int> u;
    A();
    A(A const&);
    A(A&&);
    A& operator=(A&&);
};

或两者都没有，只需添加适当的副本分配：

struct A {
    unique_ptr<int> u;
    A();
    A(A const&);
    A& operator=(A const&);
};

但是，这可能会破坏你在交换时避免深层拷贝的最初意图，所以你最终可能会最终定义所有这些。

为了简洁起见，省略了

（*） noexcept 规范......

使用unique_ptr

1 个答案: