拷贝赋值运算符 与类控制其对象如何初始化一样,类也可以控制其对象如何赋值:
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)需要拷贝的类也需要赋值操作,反之亦然