1. 特种函数
- C++中会自生成的函数,如默认构造函数、析构函数、复制构造函数、复制赋值运算符、移动构造函数、移动赋值运算符。
2. 一些生成机制
- 移动操作在某个数据成员或基类部分上执行移动构造或移动赋值的时候,并不能保证移动操作真的发生。因为对于那些不可移动的型别将通过其复制操作实现“移动”。
- 复制操作是彼此独立的,声明了其中一个,并不会阻止编译器生成另外一个;而移动操作并不彼此独立,声明了其中一个,就会阻止编译器生成另一个。
- 一旦显示声明了复制操作,这个类就不再会生成移动操作了,反之亦然。
- 大三律:如果你声明了复制构造函数、复制赋值运算符或析构函数中的任何一个,你就得同时声明这三个。其推论是:如果用户声明了析构函数,就不会生成移动操作,但仍可以生成复制操作(不过这仅仅为了兼容C++98的遗留代码而已)。
- 移动操作生成的条件:
1.该类未声明任何复制操作;
2.该类未声明任何移动操作;
3.该类未声明任何析构函数; - 假定编译器生成的这些函数有着正确的行为,C++11可以通过“=default"来显示地表达这个想法。如用户声明了析构函数,移动操作的生成就被抑制了,而如果可移动性是能够支持的,加上”=default”就能够再次给予编译器以生成移动操作的机会。如:
Base(Base&&) =default;
Base& operator=(Base&&) =default:
- 析构函数的声明有一个副作用是它阻止了移动操作的生成,但复制操作的生成并未受影响。但如果声明了析构函数且未声明移动操作,而移动操作的测试仍能通过,这是因为此时触发的复制操作。
- 成员函数模板在任何情况下都不会抑制特种成员函数的生成。如下代码编译器仍会生成Widget的复制和移动操作。
class Widget{
...
template<typename T>
Widget(const T& rhs);
template<typename T>
Widget& operator=(const T& rhs);
...
};
3. 参考
Effective Modern C++ 条款17