c++ - 当指定派生类的析构函数时，std::move 不起作用

Question

我试图将一个实例移动到另一个实例，如下所示:

#include <iostream>

class student {
public:
    student() = default;
    student(const student& student) {
        std::cout << "copy student" << std::endl;
    }
    student(student&& student) {
        std::cout << "move student" << std::endl;
    }
    virtual ~student() = default;
};

class undergraduate: public student {
public:
    undergraduate(): student() {}
    ~undergraduate() override = default; // removing this line will make std::move work
};

int main() {
    undergraduate student;
    undergraduate student1 = std::move(student);
}

这是输出:

copy student

如您所见，std::move 不起作用，student 被复制而不是移动，但是，如果我删除 undergraduate的析构函数，即以下行:

~undergraduate() override = default; // removing this line will make std::move work

输出将变为move student，这意味着std::move 有效。为什么？为什么指定派生类的析构函数时 std::move 不起作用？

Answer 1

指定类的析构函数会禁止自动生成移动构造函数和移动赋值。您可以使用 = default 来恢复它们:

class undergraduate: public student {
public:
    undergraduate(): student() {}
    ~undergraduate() override = default;

    undergraduate(const undergraduate&) = default;
    undergraduate& operator=(const undergraduate&) = default;

    undergraduate(undergraduate&&) = default;
    undergraduate& operator=(undergraduate&&) = default;
};

Howard Hinnant 为他的你想知道的关于移动语义(以及其他一些)的所有内容创建了一个出色的表格: