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

所以如果只允许"special member function"，这个“=default”似乎没有用：因为如果我不在"Derived"中定义特殊成员函数，编译器会为我，等于使用“=default”。

所以我的问题是，为什么以及什么时候我们需要“=default”？

Answer 1

if I don't give definition of special member functions in "Derived", compiler will generate one for me, equal to using "=default".

不，实际上。

声明任何构造函数 - 编译器提供的默认构造函数将消失。要将其恢复（以其编译器提供的形式），您可以将其定义为 = default.

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

提供用户声明的移动赋值运算符 - 您的编译器提供的复制构造函数和复制赋值运算符将消失。好吧，你明白了。

= default 用于在某些情况下需要恢复编译器提供的特殊成员函数的功能，而其他情况导致该函数变为 "disappear".

Answer 2

because if I don't give definition of special member functions in "Derived", compiler will generate one for me, equal to using "=default".

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

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

C++11：我们什么时候需要为默认成员函数特化“=default”？

C++11: When do we need to specialize "=default" for default member function?

c++

default

function

member

c++11