c++ - 如果我声明解构函数但与默认解构函数完全相同，编译器是否仍会生成默认移动构造函数？

Question

这个问题已经有答案了:

Does a default virtual destructor prevent compiler-generated move operations? (2 个回答)

已关闭 5 个月前。

在这种情况下我对默认函数生成的规则感到困惑:

对于最简单的类:

B 类{}；

它将自动生成移动构造函数。

但是，如果对于

B 类{民众:〜B(){}}

我觉得应该和默认的解构函数一样，这个时候我会有一个默认的移动构造函数吗？我怎样才能检查它？

class A{
public:
    A() {}
    A(const A& lv) {cout << "a copy ctor." << endl;}
    A(A&& rv) {cout << "a move ctor." << endl;}
};

class B{
public:
    //~B(){}
private:
    A a;
};

int main()
{
    B b;
    B b2(std::move(b));
    return 0;
}

我尝试过这个方法，似乎答案是否定的，但我不确定。

Answer 1

简短的回答是“不”。

更长的答案是，重要的不是 dtor 主体的内容，而是它是否由用户声明。具体来说(N4950，[class.copy.ctor]/8):

If the definition of a class X does not explicitly declare a move constructor, a non-explicit one will be implicitly declared as defaulted if and only if

• X does not have a user-declared copy constructor,
• X does not have a user-declared copy assignment operator,
• X does not have a user-declared move assignment operator, and
• X does not have a user-declared destructor.

因此，即使您将 dtor 定义为编译器默认生成的内容，您仍然声明了它，在这种情况下，它是用户声明的 dtor，并且编译器不再隐式生成 move-ctor (也不移 Action 业)。