拷贝构造函数
如果有一个构造函数第一个参数是自身类类型的引用,且任何额外参数都有默认值,则此构造函数是拷贝构造函数。
class Foo
{
public:
Foo();
Foo(const Foo&); //拷贝构造函数
};
如果没有为一个类定义拷贝构造函数,编译器会为我们定义一个。
拷贝构造函数不仅在我们用=定义变量时发生,也会在一下情况发生:
- 将一个对象作为实参传递给一个非引用类型的形参
- 从一个返回类型为非引用类型的函数返回一个对象
- 用花括号列表初始化一个数组中的元素或一个聚合类中的成员
拷贝赋值运算符
与拷贝构造函数一样,如果类未定义自己的拷贝赋值运算符,编译器会为它合成一个。
class Foo
{
public:
Foo& operator=(const Foo&);
};
赋值运算符通常返回一个指向其左侧运算对象的引用。‘
析构函数
析构函数释放对象使用的资源,并销毁对象的非static数据成员。
class Foo
{
public:
~Foo();
};
析构函数也有一个函数体和一个析构部分。析构函数首先执行函数体,然后销毁成员。
三/五法则
有三个基本操作可以控制类的拷贝操作:拷贝构造函数、拷贝赋值运算符和析构函数。
通常:对析构函数的需求要比对拷贝构造函数或赋值运算符的需求更明显。如果这个类需要一个析构函数,肯定它也需要一个拷贝构造函数和一个拷贝赋值运算符。
如果一个类需要一个拷贝构造函数,几乎可以肯定它也需要一个拷贝赋值运算符。反之亦然。
如果类定义了一个移动构造函数和/或一个移动赋值运算符,则该类的合成拷贝构造函数和拷贝赋值运算符会被定义为删除的。