走进C++11（七）禁用默认函数

 

      ----君子的力量永远是行动的力量，而不是语言的力量。

 

在传统C++中，若用户没有提供， 则编译器会自动为对象生成默认构造函数(default constructor)、 复制构造函数(copy constructor)，赋值运算符(copy assignment operator operator=) 以及析构式(destructor)。另外，C++也为所有的类定义了数个全局运算符(如operator delete及operator new)。当用户有需要时，也可以提供自定义的版本改写上述的函数。

 

问题在于原先的c++无法精确地控制这些默认函数的生成。比方说，要让类型不能被拷贝，必须将复制构造函数与赋值运算符声明为private，并不去定义它们。尝试使用这些未定义的函数会导致编译期或链接期的错误。但这种手法并不是一个理想的解决方案。

 

此外，编译器产生的默认构造函数与用户定义的构造函数无法同时存在。若用户定义了任何构造函数，编译器便不会生成默认构造函数；但有时同时带有上述两者提供的构造函数也是很有用的。目前并没有显式指定编译器产生默认构造函数的方法。

 

C++11 允许显式地表明采用或拒用编译器提供的自带函数。例如要求类型带有默认构造函数，可以用以下的语法：

 

class Magic{  public:  Magic() = default; // 显式声明使用编译器生成的构造  Magic &operator=(const Magic &) = delete; // 显式声明拒绝编译器生成构造  Magic(int magic_number);}

 

显式地使用default关键字声明使用类的默认行为，对于编译器来说明显是多余的，但是对于代码的阅读者来说，使用default显式地定义复制操作，则意味着这个复制操作就是一个普通的默认的复制操作。将默认的操作留给编译器去实现将更加简单，更少的错误发生 ，并且通常会产生更好的目标代码。

“default”关键字可以用在任何的默认函数中，而“delete”则可以用于修饰任何函数。例如，我们可以通过下面的方式排除一个不想要的函数参数类型转换：

 

    struct Z {        // …        Z(long long);     // 可以通过long long初始化        Z(long) = delete; // 但是不能将long long转换为long进行初始化(?)    };

关注公众号获取更多信息：