C++ 11:我们什么时候需要为默认成员函数专门化"= default"？

Question

做了一个简单的测试,发现"= default"只适用于特殊的成员函数,如下所示:

#include<cstdio>
#include<utility>
struct Base{
    Base(int){printf("Base(int)\n");}
};
struct Derived{
    Derived(int)=default;
};
int main(){
    Derived d(0);
    return 0;
}

clang将报告编译错误:

error: only special member functions may be defaulted

所以如果只允许"特殊成员函数",这个"= default"似乎没用:因为如果我不在"Derived"中给出特殊成员函数的定义,编译器会为我生成一个,等于使用"=默认".

所以我的问题是,为什么以及何时需要"=默认"？

Answer 1

如果我不在"Derived"中给出特殊成员函数的定义,编译器将为我生成一个,等于使用"= default".

不,实际上.

声明任何构造函数 - 您的编译器提供的默认构造函数将消失.要将其恢复(在其编译器提供的表单中),您可以将其定义为= default.

提供用户声明的析构函数 - 您的编译器提供的移动构造函数和移动赋值运算符将消失.要将它们带回来,您可以将它们定义为= default.

提供用户声明的移动赋值运算符 - 您的编译器提供的复制构造函数和复制赋值运算符将消失.反正你懂这个意思.

= default 当你需要在某些情况下带回编译器提供的特殊成员函数功能时,当其他情况导致该函数"消失"时使用.

Answer 2

因为如果我在“Derived”中不给出特殊成员函数的定义，编译器会为我生成一个，相当于使用“=default”。

因为在某些情况下，某些特殊的成员函数不会生成，例如当您声明复制构造函数时，不会生成移动构造函数，然后移动请求将由复制构造函数处理。添加（默认）移动构造函数可以防止：

struct Derived {
    Derived(const Derived&) { ... }
    Derived(Derived&&) = default;
};