隐式移动构造函数和赋值运算符

Question

隐式移动构造函数执行成员方式移动和隐式移动赋值运算符执行成员方式分配是什么意思？

来自https://en.cppreference.com/w/cpp/language/move_constructor：

对于非联合类类型（类和结构），move 构造函数 对对象的基础和非静态执行完整的成员移动 成员，按其初始化顺序，使用直接初始化 带有 xvalue 参数。如果这满足一个要求 constexpr构造函数，生成的move构造函数是constexpr。

来自https://en.cppreference.com/w/cpp/language/move_assignment：

对于非联合类类型（class 和 struct），move 赋值 运算符执行对象的完整成员移动分配 直接基数和直接非静态成员，在其声明中 顺序，对标量使用内置赋值，按成员 数组的移动赋值，类的移动赋值运算符 类型（非虚拟调用）。

以下示例类模板的隐式成员是否如下所示：

template<class T>
class Holder {
public:
    Holder(int size) : m_size(size) { m_data = new T[m_size]; }

    Holder(Holder && other) :
        m_size(std::move(other.m_size)),
        m_data(std::move(other.m_data))
    {}

    Holder& operator=(Holder && other) {
       if(this == &other) return *this;
       m_data = std::move(other.m_data);
       m_size = std::move(other.m_size);
       return *this;
    }

    ~Holder() { delete [] m_data; }
private:
    T* m_data;
    int m_size;
};

还有，上例中的std::move()会转移什么资源？

Answer 1

如果您进一步向下查看链接页面，您会看到您的类编译器生成的移动构造函数（和移动赋值运算符）实际上是琐碎的：

简单的移动构造函数

如果满足以下所有条件，则类 T 的移动构造函数是微不足道的：

• 它不是用户提供的（意味着它是隐式定义或默认的）；
• T 没有虚成员函数；
• T 没有虚拟基类
• 为 T 的每个直接基数选择的移动构造函数是微不足道的；
• 为 T 的每个非静态类类型（或类类型的数组）成员选择的移动构造函数是微不足道的；

普通移动构造函数是执行与普通复制构造函数相同的操作的构造函数，即复制 对象表示就像 std::memmove。所有数据类型 与 C 语言兼容（POD 类型）可轻松移动。

（强调我的）

这两个成员变量是 POD 类型，因此可以轻松移动。由于您的类不是虚拟的并且它不包含非平凡的成员，因此它是平凡的并且所有数据成员都将被复制。如 cmets 中所述，这将导致双重删除您的指针和 UB。

既然是这种情况，您需要正确实现移动语义，方法是获取移动对象指针的所有权并将其设置为nullptr。或者更好的是，只需使用std::vector 甚至std::unique_ptr。