一、赋值操作符
类定义了该类型对象赋值时会发生什么。与拷贝构造函数一样,如果类没有定义自己的赋值操作符,编译器会合成一个。
1、重载操作符的简单介绍
重载操作符是一些函数,其名字为operator后跟着所定义的操作符的符号,通过定义名为operator=的函数,我们可以对赋值进行定义。操作符函数的形参表必须具有与该操作数数目相同的形参(如果操作符是一个成员,则包括隐式this形参)。赋值是二元操作符,对应的两个形参,第一个形参为左操作数,第二个形参为右操作数。
(1)当操作符为成员函数时,它的第一个操作数隐式绑定到this指针。
(2)有些操作符,例如赋值操作符必须定义为成员函数,因此赋值操作符可接受单个形参。
(3)赋值操作符返回对右操作数的引用。
2、合成赋值操作符
合成赋值操作符会执行逐个成员赋值:右操作数对象的每个成员赋值为左操作数对象的对应成员。对于数组,给每个数组元素赋值。
Sales_item& Sales_item::Sales_item(const Sales_item &rhs) { isbn = rhs.isbn; units_sold = rhs.units_sold; revenue = rhs.revenue; return *this; //返回对左操作数的引用 }
3、拷贝和赋值常一起使用
可以使用拷贝构造函数的类通常也可使用合成赋值操作符。一般而言,如果类需要拷贝构造函数,它也会需要赋值操作符。应将两者看作一个单元,如果需要其中一个,我们几乎也肯定需要另一个。
二、析构函数
析构函数的作用是完成所需资源的回收,作为类构造函数的补充。
1、何时调用析构函数
撤销类对象时自动调用析构函数:
(1)变量在超出作用域时自动撤销。例如:变量item遇到右}时。
(2)动态分配的对象只有在指向该对象的指针被删除时才撤销。例如:指针p。
Sales_item *p = new Sales_item; { Sales_item item(*p); delete p; }
注意:当对象的引用或指针超出作用域时,不会运行析构函数。只有删除指向动态分配对象的指针或实际对象(而不是对象的引用)超出作用域时,才会运行析构函数。
(3)撤销一个容器(不管是标准库还是内置数组)也会运行容器中元素的析构函数。
容器中的元素总是按逆序撤销,首先撤销下标为size()-1的元素,最后撤销下标为0的元素。
{ Sales_item *p = new Sales_item[10]; vector<Sales_item> vec(p, p + 10); delete [] p; }
2、何时编写显式析构函数
许多类不需要显式析构函数,具有构造函数的类不一定需要定义自己的析构函数,仅在有些工作需要析构函数完成时,才需要析构函数。析构函数通常用于释放在构造函数或在对象生命期内获取的资源。
(1)如果类需要析构函数,则它也需要赋值操作符和拷贝构造函数,这是一个有用的经验法则。
(2)析构函数并不仅限于用来释放资源。一般而言,析构函数可以执行任意操作,该操作是类设计者希望在该类对象的使用完毕之后执行的。
3、合成析构函数
与拷贝构造函数和赋值操作符不同,编译器总会为我们合成一个析构函数。合成析构函数按对象创建时的逆序撤销每个非static成员,按成员在类中声明的逆序撤销成员。对于类类型的每个成员,合成析构函数调用该成员的析构函数撤销对象。
注意:撤销内置类型成员或复合类型成员没什么影响,合成析构函数并不删除指针成员做指向的对象。
4、编写析构函数
析构函数的名字前加~,没有返回值,没有形参(所以不能重载析构函数)。
(1)类可以定义多个构造函数,但只能提供一个析构函数,应用于类的所有对象。
(2)析构函数区别于拷贝构造函数和赋值操作符,即使定义了自己的析构函数,合成析构函数仍然运行。
class Sales_item { public: ~Sales_item(){} private: string isbn; int units_sold; double revenue; };
撤销Sales_item对象时,首先运行这个什么都不做的析构函数,然后再运行合成析构函数撤销类的成员。