基督教徒的破坏者是否可以阻止在子类中创建移动构造函数？

Question

按照这篇文章，它说[强调我的]：

如果没有用户指定的复制构造函数，复制分配运算符或 destructor ，并且如果生成的移动分配运算符是有效的，则将自动生成。需要分配常数成员）（§12.8/21）。

继承的驱动器计数吗？我的意思是，说我有一个带有空的虚拟驱动器的基础课。它会阻止在子类中创建移动构造函数吗？

Answer 1

The compiler will generate the move constructors for you:

#include <iostream>
#include <memory>
#include <utility>

struct Foo {
    virtual ~Foo() {}
};

struct Bar : public Foo {
    Bar() : pi(new int(5)) {};

    std::unique_ptr<int> pi;
};

int main()
{
    Bar b;
    std::cout << b.pi.get() << std::endl;
    Bar c = std::move(b);
    std::cout << b.pi.get() << std::endl;
    std::cout << c.pi.get() << std::endl;
}

which (on a given run), output:

0x1b65e70
0
0x1b65e70

如果编译器没有生成移动构建器， c c c c 无法构造（因为使用std :: sunily_ptr作为成员，不允许使用隐式副本），显然，对指针的所有权已正确传输。该代码是在GCC下编译的，警告在-STD = C ++ 17模式中最大化，没有问题。

Answer 2

您可以通过查看类定义来确定成员函数是否是用户宣布的。如果您看到该功能，则是用户遵守的。

例如：

class Derived : public Base {
   ~Derived() = default; // <-- see this? user-declared destructor
};

相反：

class Derived : public Base {
   // <-- see a destructor here? No. So not a user-declared destructor
};

在两种情况下，编译器都会生成相同的破坏者主体，但是前一个示例具有用户宣布的驱动器，而后者则具有自动生成的驱动器。在这种情况下，用户指定的驱动器是编译器生成的，但是通过用户的请求生成的，因此不是 auto 生成的。

对于“用户宣布”，基础类别的情况并不重要。如果您看到列出的破坏者（如第一个示例），那么编译器将不会自动产生移动分配或移动构造。如果您看不到列出的损坏器，如第二个示例，那么需要检查自动生成的其他标准。

基类对自动生成的成员的影响仅限于“有效”标准。