[C++]类的设计（2）——拷贝控制（析构和三五法则）

1、析构函数：释放对象使用的资源，并销毁对象的非static数据成员；析构函数不接受参数，因此不能被重载。对于一个给定类，有且只有一个析构函数。

2、析构函数的组成：一个函数体+一个析构部分（implicit）；所完成的工作：先执行函数体，然后按照初始化成员的逆序销毁成员。在这里需要注意的是销毁成员的并不是函数体，而是析构部分。

3、什么时候会调用析构函数：

1）变量在离开其作用域时

2）当一个对象被销毁时，其成员被销毁

3）容器被销毁时，其元素被销毁

4）对于动态分配的对象，当对指向它的指针应用delete运算符时被销毁（当指向一个对象的引用或指针离开作用域时，析构函数不会执行）

5）对于临时对象，当创建它的完整表达式结束时被销毁

{//新的作用域

   Sales_data *p = new Sales_data;//指向动态分配的对象，离开作用域应该不会被销毁,这里回调用拷贝构造函数

   shared_ptr<Sales_data> p2 = make_shared<Sales_data>();//离开作用域会被销毁

   Sales_data item(*p);//执行了拷贝构造函数

   vector<Sales_data>v;

   v.push_back(*p);

   //析构函数目前应该执行3次，除了p不会被释放，其他的都应该被释放

   delete p;//现在应该是4次

 }

4、三/五法则：描述了什么时候需要析构函数、拷贝构造函数和拷贝赋值操作。

1）需要析构函数的类也需要拷贝构造函数和拷贝赋值函数

通常，若一个类需要析构函数，则代表其合成的析构函数不足以释放类所拥有的资源，其中最典型的就是指针成员（析构时需要手动去释放指针指向的内存）。

所以，若存在自定义（且正确）的析构函数，但使用合成的拷贝构造函数，那么拷贝过去的也只是指针，此时两个对象的指针变量同时指向同一块内存，指向同一块内存的后果很有可能是在两个对象中的析构函数中先后被释放两次。所以需要额外的拷贝控制函数去控制相应资源的拷贝。

所以这类例子的共同点就是：一个对象拥有额外的资源（指针指向的内存），但另一个对象使用合成的拷贝构造函数也同时拥有这块资源。当一方对象被销毁后，析构函数释放了资源，这时另一个对象便失去了这块资源（但程序员还不知道）。

class person

{

public:

       std::string *name;

       int age;

       person(const char* the_name, int the_age)

       {

              name = new std::string(the_name);

              age = the_age;

              cout << "这是构造函数" << endl;

       }

       ~person()

       {

              delete name;

       }

};

int main(void)

{

       person a("me", );

       person b(a);

       std::cout << *b.name << std::endl;

       return ;

}

//在上面的代码中对象b使用合成的拷贝构造函数拷贝对象a的值，这个程序没有什么实际意义。

//在main函数返回时，a,b变量会分别被析构，它们的成员name指向同一块内存，所以在程序结束时便会发生错误。

//修改方法，添加拷贝构造函数

person(const person &np):age(np.age),name(new string("the_name")){}

2）需要拷贝操作的类也需要复制操作，反之亦然

3）析构函数是不能删除的

4）如果一个类有删除的或不可访问的析构函数，那么其默认和拷贝构造函数会被定义为删除的。

5）如果一个类有const或引用成员，则不能使用合成的拷贝赋值操作

本质上，当不可能拷贝、赋值、或销毁类的所有成员时，类的合成拷贝控制函数就被定义成删除的了。

5、可以使用=default来要求编译器生成合成的版本，隐式地声明为内联函数，如果不希望是内联的，可以将成员的定义放在类外。

巴特西

[C++]类的设计（2）——拷贝控制（析构和三五法则）

最新文章

热门文章