C++ C++;11:我们什么时候需要专业化=“违约”;对于默认成员函数?

C++ C++;11:我们什么时候需要专业化=“违约”;对于默认成员函数?,c++,function,c++11,default,member,C++,Function,C++11,Default,Member,做了一个简单的测试,发现“=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; } 所以,若只允许使用“特殊成员函数”

做了一个简单的测试,发现“=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;
}
所以,若只允许使用“特殊成员函数”,那个么“=default”似乎是无用的:因为若我不在“派生”中给出特殊成员函数的定义,编译器将为我生成一个,相当于使用“=default”

所以我的问题是,为什么以及什么时候我们需要“=默认值”

若我并没有在“派生”中给出特殊成员函数的定义,编译器将为我生成一个,相当于使用“=default”

不,事实上

声明任何构造函数-编译器提供的默认构造函数将消失。要使其返回(以编译器提供的形式),可以将其定义为
=default

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

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

=default
用于在其他情况导致特殊成员函数“消失”时,需要恢复编译器提供的特殊成员函数的功能

因为若我不在“派生”中给出特殊成员函数的定义,编译器将为我生成一个,等于使用“=default”

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

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