条款17：理解特种成员函数的生成机制

C++11当你声明一个类什么也不做时会默认生成如下函数：

1. 默认构造函数
2. 析构函数
3. 复制构造函数
4. 复制赋值运算符
5. 移动构造函数
6. 移动赋值运算符

class Widget {
public:
	Widget(Widget&& rhs);			// 移动构造函数
	Widget& operator=(Widget&& rhs);// 移动赋值运算符
};

移动构造函数将依照其形参rhs的各个非静态成员对于本类的对应成员执行移动构造
移动复制运算符则将依照其形参rhs的各个非静态成员对于本类的对应成员执行移动赋值

两种复制（复制构造函数与复制赋值运算符）操作是彼此独立的：声明了其中一个，并不会阻止编译器生成另外一个。
两种移动（移动构造函数与移动赋值运算符）操作是彼此不独立的：声明了其中一个，会阻止编译器生成另外一个。

大三律：如果你声明了复制构造函数，复制赋值运算符，或者析构函数中的任何一个，你就得同时声明所有的这个三个；

考虑如下例子，假设你有一个表示字符串表格的类，即一种允许通过整型ID来快速检索字符串值的数据结构：

class StringTable {
public:
	StringTable(){};
	//... 				//实现插入，擦除，检索等操作的函数
private:
	std::map<int, std::string>	values;
};

上述类将默认生成，复制操作，移动操作，析构操作；假设过了一段时间，决定把对象的默认构造与析构都写入到日志中：

class StringTable {
public:
	StringTable()
	{makeLogEntry("Creating Stringable object")};// 日志添加
	//... 										 // 实现插入，擦除，检索等操作的函数
	~StringTable() {makeLogEntry("Destroying Stringable object")}  //日志添加
private:
	std::map<int, std::string>	values;
};

上述改动看起来合理，但是析构函数的声明有一个潜大的，可观的副作用：它阻止了移动操作的生成，复制操作不受影响；代码被正常的编译，执行；就连针对移动操作的测试也能够通过，因为他触发的是复制从操作；这就意味着那些“移动”StringTable对象的代码，实际执行的是StringTable对象的复制，而std::map<int, std::string>对象的复制操作，可能会比移动操作慢上若干数量级；如果复制和移动操作都已经显示的用=default定义，这个问题根本不会出现。

标签：特种,17,StringTable,运算符,复制,条款,操作,移动,构造函数
来源： https://blog.csdn.net/L_H_L/article/details/120686261