c++ - move 代码与复制代码相同时的规则 5？

Question

假设我的类只有一个成员，一个 int。 “move ”这个 int 而不是复制它没有任何好处。因此，我是否需要一个 move 构造函数和一个 move 赋值运算符，它们都与它们的复制表兄弟执行相同的操作？

Answer 1

如果你的类对复制成员或析构函数没有做任何特殊的事情，最好的办法就是不声明它们:

class A
{
    int i_;
public:
    // Special members
    A() : i_{0} {}

    // Other constructors
    explicit A(int i) : i_{i} {}

    // ...
};

这为您的类提供了编译器生成的复制和 move 成员(以及析构函数)，它们与 int 本身的成员相同。

如果您的类对析构函数或任一复制成员做了一些特殊的操作，并且您希望编译器为 move 成员生成行为，那么您必须= default 它们。否则，您将没有 move 成员，这可能正是您想要的(从右值复制使用复制成员)。

class A
{
    int i_;
public:
    // Special members
    A() : i_{0} {}
    A(const& A a);                 // do something special
    A(A&&) = default;              // just copy the int
    A& operator=(A&&) = default;   // just copy the int

    // Other constructors
    explicit A(int i) : i_{i} {}

    // ...
};

请注意，您的类从左值复制和从右值复制的行为不同是非常不寻常的，如上面代码所述。我无法立即想出此类代码的激励用例。

如果您希望能够复制类的右值，但没有特殊的“move ”处理(只需使用复制)，那么典型的公式是:

class A
{
    int i_;
public:
    // Special members
    A() : i_{0} {}
    A(const& A a);             // do something special for lvalues and rvalues
    A& operator=(const& A a);  // do something special for lvalues and rvalues

    // Other constructors
    explicit A(int i) : i_{i} {}

    // ...
};

现在客户端仍然可以“move ”A，但 move 只是根据 A 的复制成员进行复制。