第18 章探讨 C++新标准.新的类功能.特殊的成员函数,默认的方法和禁用的方法

第18 章探讨 C++新标准.新的类功能.特殊的成员函数,默认的方法和禁用的方法

第18 章探讨 C++新标准.新的类功能.特殊的成员函数,默认的方法和禁用的方法

---

新的类功能18.3

除本章前面提到的显式转换运算符和类内成员初始化外，C++11还新增了其他几个类功能。

18.3.1 特殊的成员函数

在原有4个特殊成员函数(默认构造函数、复制构造函数、复制赋值运算符和析构函数)的基础上C++11新增了两个:移动构造函数和移动赋值运算符。这些成员函数是编译器在各种情况下自动提供的。前面说过，在没有提供任何参数的情况下，将调用默认构造函数。如果您没有给类定义任何构造函数，编译器将提供一个默认构造函数。这种版本的默认构造函数被称为默认的默认构造函数。对于使用内置类型的成员，默认的默认构造函数不对其进行初始化;对于属于类对象的成员，则调用其默认构造函数。另外，如果您没有提供复制构造函数，而代码又需要使用它，编译器将提供一个默认的复制构造函数:如果您没有提供移动构造函数，而代码又需要使用它，编译器将提供一个默认的移动构造函数。假定类名为Someclass，这两个默认的构造函数的原型如下:

Someclass::Someclass(const Someclass &);// defaulted copy constructorSomeclass::Someclass(Someclass &&);//defaulted move constructor

在类似的情况下，编译器将提供默认的复制运算符和默认的移动运算符，它们的原型如下:

Someclass & Someclass::operator(const Someclass &);// defaulted copy assignmentSomeclass &Someclass::operator(Someclass &&);/defaulted move assignment

最后，如果您没有提供析构函数，编译器将提供一个，对于前面描述的情况，有一些例外。如果您提供了析构函数、复制构造函数或复制赋值运算符，编译器将不会自动提供移动构造函数和移动赋值运算符:如果您提供了移动构造函数或移动赋值运算符，编译器将不会自动提供复制构造函数和复制赋值运算符。另外，默认的移动构造函数和移动赋值运算符的工作方式与复制版本类似:执行逐成员初始化并复制内置类型。如果成员是类对象，将使用相应类的构造函数和赋值运算符，就像参数为右值一样。如果定义了移动构造函数和移动赋值运算符，这将调用它们:否则将调用复制构造函数和复制赋值运算符。

18.3.2 默认的方法和禁用的方法

C++11让您能够更好地控制要使用的方法。假定您要使用某个默认的函数，而这个函数由于某种原因不会自动创建。例如，您提供了移动构造函数，因此编译器不会自动创建默认的构造函数、复制构造函数和复制赋值构造函数。在这些情况下，您可使用关键字 default 显式地声明这些方法的默认版本:

class Someclass
{
public :
	Someclass(Someclass &&);
	
	Someclass()=default;/use compiler-generated default 
	constructorSomeclass(const Someclass &)=default;

	Someclass &operator=(const Someclass &)=default;
...
}

编译器将创建在您没有提供移动构造函数的情况下将自动提供的构造函数。
另一方面，关键字 delete可用于禁止编译器使用特定方法。例如，要禁止复制对象，可禁用复制构造函数和复制赋值运算符:

class Someclass
{
public :
 Someclass()=default;//use compiler-generated default constructor//disable copy constructor and copy assignment operator :
Someclass(const Someclass&)=delete;
Someclass &operator=(constSomeclass &)=delete;
///use compiler-generated move constructor and move assignment operator:Someclass(Someclass &&)=default;
Someclass &operator=(Someclass &&)=default;
Someclass &operator+(const Someclass &)const
}

第12章说过，要禁止复制，可将复制构造函数和赋值运算符放在类定义的private 部分，但使用 delete也能达到这个目的，且更不容易犯错、更容易理解。
如果在启用移动方法的同时禁用复制方法，结果将如何呢?前面说过，移动操作使用的右值引用只能关联到右值表达式，这意味着:

Someclass one
Someclass two;
Someclass three(one);
// not allowed,one an lvalue
Someclass four(one +two);//allowed,expression is an rvalue

关键字 default 只能用于6个特殊成员函数，但 delete 可用于任何成员函数。delete 的一种可能用法是禁止特定的转换。例如，假设Someclass类有一个接受double参数的方法:

class Someclass
{
public:
...
void redo(double);
...
}

:再假设有如下代码:

Someclass sC;
sc.redo(5);

int值5将被提升为 5.0，进而执行方法 redo( )。现在假设将 Someclass类的定义改成了下面这样:

class Someclass
public :
{
void redo(double):
void redo(int)= delete;
}

在这种情况下，方法调用 sc.redo(5)与原型redo(int)匹配。编译器检测到这一点以及redo(int)被禁用后，将这种调用视为编译错误。这说明了禁用函数的重要一点:它们只用于査找匹配函数，使用它们将导致编译错误。