复制控制
复制构造函数、赋值操作符和析构函数总称为复制控制。编译器自动实现这些操作,但类也可以定义自己的版本。
合成复制构造函数
如果我们没有定义复制构造函数,编译器就会为我们合成一个。
如果我们定义了复制构造函数,编译器也会为我们合成一个。
合成复制构造函数的行为是,执行逐个成员初始化,将新对象初始化为原对象的副本。
class Foo {
public:
Foo(); // default constructor
Foo(const Foo&); // copy constructor
// ...
};
赋值操作符
重载操作符是一些函数,其名字为 operator 后跟着所定义的操作符的符号。
操作符函数有一个返回值和一个形参表。
操作符函数有两个形参:第一个形参对应着左操作数,第二个形参对应右操作数。
它的第一个操作数隐式绑定到 this 指针。
右操作数一般作为 const 引用传递。
赋值操作符的返回类型应该与内置类型赋值运算返回的类型相同。内置类型的赋值运算返回对右操作数的引用,因此,赋值操作符也返回对同一类类型的引用。
class Sales_item {
public:
// other members as before
// equivalent to the synthesized assignment operator
Sales_item& operator=(const Sales_item &);
};
析构函数
动态分配的对象只有在指向该对象的指针被删除时才撤销。如果没有删除指向动态对象的指针,则不会运行该对象的析构函数,对象就一直存在,从而导致内存泄漏,而且,对象内部使用的任何资源也不会释放。
三法则(rule of three)
如果类需要析构函数,则它也需要赋值操作符和复制构造函数,这是一个有用的经验法则。这个规则常称为三法则,指的是如果需要析构函数,则需要所有这三个复制控制成员