c++ - 基本移动分配运算符的调用顺序

Question

在派生类中，作为返回的第一个语句或最后一个语句，从派生类中调用基类移动赋值运算符的正确位置是什么？

我在Base和Derived中有成员，这些成员需要作为移动分配运算符的一部分移动。

Class Base {
    // Members goes here

public:
    Base &operator=(Base &&o) {
        // move all the members specific to the class here
        return *this;
    }
};

class Derived {
    // Members goes here

public:
    Derived &operator=(Derived &&o) {
      // Is this correct? Base class move here or below?
      Base::operator=(std::move(o));  // Is this the correct place??

      // move all the members specific to the class here

      // The assumption is that once we use move we cannot use the variable.
      // So, should I have base class move call here?
      // Base::operator(std::move(o));  // Or is this the correct place??
      return *this;
    }
};

Answer 1

无论哪种方式都适合您的语义。
通常，使用默认移动分配是正确的:

Derived &operator=(Derived &&o) = default;

默认实现将从base开始。

但是，如果您自己定义移动，则可能有一个原因，并且这个原因可能会指示不同的顺序。

甚至可能根本不需要打基础，而做一些完全不同的事情。例如，这种需求可能来自所需的异常安全保证。