(一)
一个继承体系的声明:
class Date {...}; class Customer { public: ... private: string name; Date lastTransaction; }; class PriorityCustomer : public Customer { public: PriorityCustomer(const PriorityCustomer& rhs); PriorityCustomer& operator=(const PriorityCustomer& rhs); private: int priority; };
任何时候只要我们承担起“为derived class撰写copying函数”的重责大任,必须很小心的也复制其base class成分。但是那些成分往往是private,所以我们无法直接访问它们,所以我们应该让derived class的copying函数调用相应的base class函数:
PriorityCustomer::PriorityCustomer(const PriorityCustomer &rhs) : Customer(rhs), priority(rhs.priority) { } PriorityCustomer& PriorityCustomer::operator =(const PriorityCustomer &rhs) { Customer::operator=(rhs); priority = rhs.priority; return *this; }
结论:当我们编写一个copying函数,请确保(1)复制所有local成员变量!(2)调用所有base classes内的适当的copying函数。
(二)这两个函数都不可以互相调用!
我们不该令copy assignment操作符调用copy构造函数。这不合理,因为这就像试图构造一个已经存在的对象。
我们也不该令copy构造函数调用copy assignment操作符。因为构造函数是用来初始化的,而copy assignment操作符只作用于已经初始化的对象身上。对一个尚未初始化好的对象进行赋值!无聊的一笔啊!
如果真的很想避免代码重复,那么在这两个函数之间只有一种办法!
建立一个新的成员函数给两者调用,这个函数往往是在private中,并且往往命名为:init。
请记住:
(1)copying函数应该确保复制“对象内的所有成员变量”及“所有base classes成分”。
(2)不要尝试以某个copying函数实现另外一个copying函数。应该将共同机能放进第三个函数中,并由两个copying函数共同调用。