拷贝控制 c++ primer 5e

版权声明:本文为博主原创文章,未经博主允许不得转载。 https://blog.csdn.net/github_39286601/article/details/77751806

拷贝赋值运算符
与类控制其对象如何初始化一样,类也可以控制其对象如何赋值:

Sales_data trans,accum;
trans=accum;   //使用Sales_data的拷贝赋值运算符

与拷贝构造函数一样,如果类未定义自己的拷贝赋值运算符时,编译器会默认合成一个。

重载赋值运算符
赋值运算符通常应该返回一个指向其左侧运算对象的引用。

合成拷贝赋值运算符
如果一个类未定义自己的拷贝构造赋值运算符,编译器会为它生成一个合成拷贝赋值运算符。
对于某些类,合成拷贝赋值运算符用来禁止该对象的赋值。

ex1.
Sales_data &operator=(const Sales_data &)=delete;  //阻止赋值
~Sales_data()=default;   //使用合成的析构函数

合成拷贝赋值运算符返回一个指向其左侧运算对象的引用。

Sales_data&  
Sales_data::operator=(const Sales_data &rhs) {

    bookNo=rhs.bookNo;
    units_sold=rhs.units_sold;
    revenue=rhs.revenue;
    return *this;

}

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

class Foo{
public :
    ~Foo();
    //...
    };

在一个析构函数中,首先执行函数体,然后销毁成员(成员是在析构函数体之后隐含的析构阶段中被销毁的),成员按初始化顺序的逆序销毁。
通常情况,析构函数会释放对象在生存期分配的所有资源。
隐式销毁一个内置指针类型的成员不会delete它所指向的成员
调用析构函数
无论任何一个对象被销毁,都会自动调用析构函数。

合成析构函数
如果一个类没有定义自己的析构函数,编译器会为它定义一个合成析构函数,类似拷贝构造函数和赋值拷贝构造函数,对于某些类,合成构造拷贝函数被用来阻止该类型的对象被销毁。(ex1);
如果不是这种情况,合成析构函数的函数体就为空。

三/五法则
五个操作:拷贝构造函数、拷贝赋值运算符、移动构造函数、移动赋值运算符、析构函数。
一般情况,需要其中一种操作,也会需要所有操作,这些操作通常被看做一个整体。
(1)需要析构函数的类也需要拷贝和赋值操作
当我们决定一个类是否要定义它自己版本的构造函数时,一个基本原则首先确定这个类是否需要析构函数,如果需要,似乎可以肯定他也需要拷贝构造函数和拷贝赋值运算符。

class HasPtr {
public:
    HasPtr(const std::string &s=std::string()):ps(new std::string),i(0) {}
    ~HasPtr() {delete ps;}
    //error:HasPtr需要一个拷贝构造函数和拷贝赋值运算符
};
在这个类的定义中,构造函数分配的内存将在HasPtr对象销毁时释放,error:我们使用了合成构造函数和拷贝构造函数,这些函数简单拷贝指针成员,这样就会使多个HasPtr对象指向相同的内存。delete时出错。
HasPtr f(HasPtr hp){
   HasPtr ret=hp;   //copy HasPtr
   return ret;     //销毁hp and ret
   }
  当f返回时,hp和ret都会被销毁,在两个对象上都会调用HasPtr的析构函数,此析构函数会delete ret 和hp
  中的指针成员,但这两个对象都包含相同的指针值,此代码会导致指针被delete两次,就会出错(...未定义的)。

(2)需要拷贝的类也需要赋值操作,反之亦然

猜你喜欢

转载自blog.csdn.net/github_39286601/article/details/77751806