c++类的拷贝、赋值与销毁（拷贝构造函数、拷贝赋值运算符和析构函数）

拷贝构造函数

    如果一个构造函数的第一个参数是自身类类型的引用，且任何额外参数都有默认值，则此构造函数是拷贝构造函数。

    拷贝构造函数第一个参数必须是一个引用类型。此参数几乎总是一个const的引用。拷贝构造函数在几种情况下都会被隐式地使用。因此，拷贝构造函数通常不应该是explicit的。

    合成拷贝构造函数

    与合成默认构造函数不同，即使我们定义了其他构造函数，编译器也会为我们合成一个拷贝构造函数。

    对某些类来说，合成拷贝构造函数用来阻止我们拷贝该类类型的对象。而一般情况，合成的拷贝构造函数会将其参数的成员逐个拷贝到正在创建的对象中。每个成员的类型决定了它如何拷贝。

    拷贝初始化

    直接初始化和拷贝初始化的差异。

    string dots(10,',');    //直接初始化

    string s(dots);         //直接初始化

    string s2 = dots;       //拷贝初始化

    当使用直接初始化时，我们实际上是要求编译器使用普通的函数匹配来选择与我们提供的参数最匹配的构造函数。当我们使用拷贝初始化时，我们要求编译器将右侧运算对象拷贝到正在创建的对象中，如果需要的话还要进行类型转换。

    拷贝初始化通常使用拷贝构造函数来完成。拷贝初始化是依靠拷贝构造函数或移动构造函数来完成的。

    拷贝初始化不仅在我们用=定义变量时会发生，在下列情况下也会发生

    •将一个对象作为实参传递给一个非引用类型的形参。

    •从一个返回类型为非引用类型的函数返回一个对象。

    •用花括号列表初始化一个数组中的元素或一个聚合类中的成员。

    参数和返回值

    拷贝构造函数被用来初始化非引用类类型参数，这一特性解释了为什么拷贝构造函数自己的参数必须是引用类型。如果其参数不是引用类型，则调用永远也不会成功——为了调用拷贝构造函数，我们必须拷贝它的实参，但为了拷贝实参，我们又必须调用拷贝构造函数，如此无限循环。

    拷贝初始化的限制

    vector<int> v1(10);     //直接初始化

    vector<int> v1 = 10;    //错误：接受大小参数的构造函数是explicit的

    如果我们希望使用一个explicit构造函数，就必须显式的使用：

    void f(vector<int>);    //f的参数进行拷贝初始化

    f(10);                  //错误：不能用一个explicit的构造函数拷贝一个实参

    f(vector<int>(10));     //正确：从一个int直接构造一个临时vector

    如果我们希望使用一个explicit构造函数，就必须显式的使用：

    编译器可以绕过拷贝构造函数

    编译器被允许将下面的代码string null_book = "9-999-99999-9";

    给写成string null_book("9-999-99999-9");//编译器略过了拷贝构造函数。

 

 

拷贝赋值运算符

      类通过拷贝赋值运算符控制其对象如何赋值。

    重载赋值运算符

    重载赋值运算符本质上是函数，其名字由operator关键字后接表示要定义的运算符的符号组成。因此，赋值运算符就是一个名为operator=的函数。类似于任何其他函数，运算符函数也有一个返回类型和一个参数列表。

    值得注意的是，标准库通常要求保存在容器中的类型要具有赋值运算符，且其返回值是左侧运算对象的引用。

    合成拷贝赋值运算符

    与处理拷贝构造函数一样，如果一个类未定义自己的拷贝赋值运算符，编译器会为他它生成一个合成拷贝赋值运算符。类似拷贝构造函数，对于某些类，合成拷贝构造运算符用来禁止该类型对象的赋值。

 

    

析构函数

    析构函数释放对象使用的资源，并销毁对象的非static数据成员。

    析构函数是类的一个成员函数，名字由波浪号接类名构成。它没有返回值，也不接受参数。

    由于析构函数不接受参数，因此它不能被重载，对一个给定类，只会有唯一一个析构函数。

    析构函数完成什么工作

    如同构造函数有一个初始化部分和一个函数体，析构函数也有一个函数体和一个析构部分。在一个析构函数中，首先执行函数体，然后销毁成员。成员按初始化顺序的逆序销毁。

    在对象最后一次使用之后，析构函数的函数体可执行类设计者希望执行的任何收尾工作。通常，析构函数释放对象在生存期分配的所有资源。

    在一个析构函数中，不存在类似构造函数中初始化列表的东西来控制成员如何销毁，析构部分是隐式的。成员销毁时发生什么完全依赖于成员类型。销毁类类型的成员需要执行成员自己的析构函数。内置类型没有析构函数，因此销毁内置类型成员什么也不需要做。

    隐式的销毁一个内置指针类型的成员不会delete它所指向的对象。

    什么时候会调用析构函数

    无论何时一个对象被销毁，就会自动调用其析构函数：

    •变量在离开其作用域时被销毁。

    •当一个对象被销毁时，其成员被销毁。

    •容器（无论是标准库容器还是数组）被销毁时，其元素被销毁。

    •对于动态分配的对象，当对指向它的指针应用delete运算符时被销毁。

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

    由于析构函数自动运行，我们的程序可以按需要分配资源，而（通常）无须担心何时释放这些资源。

    当指向一个对象的引用或指针离开作用域时，析构函数不会执行。

    合成析构函数

    下面的代码片段等价于Sales_data的合成析构函数：

    class Sales_data{

    public:

    ~Sales_data(){}

    };

    在（空）析构函数体执行完毕后，成员会被自动销毁。认识到析构函数体自身并不直接销毁成员是非常重要的。

    

   

三/五法则

使用=default

阻止拷贝

 

转载于:https://www.cnblogs.com/mu-ye/p/7898728.html