C++Primer学习笔记第十三章(13/18)类 复制控制

复制控制

复制构造函数、赋值操作符和析构函数总称为复制控制。编译器自动实现这些操作，但类也可以定义自己的版本。

 

合成复制构造函数

如果我们没有定义复制构造函数，编译器就会为我们合成一个。

如果我们定义了复制构造函数，编译器也会为我们合成一个。

合成复制构造函数的行为是，执行逐个成员初始化，将新对象初始化为原对象的副本。

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)

如果类需要析构函数，则它也需要赋值操作符和复制构造函数，这是一个有用的经验法则。这个规则常称为三法则，指的是如果需要析构函数，则需要所有这三个复制控制成员