copy构造函数和copy assignment操作符,我们将它们称之为copying函数。我们在写自己的copying函数时要额外注意,因为即使你写的代码不完全甚至一定会出错时,编译器也不会告诉你。以下的例子可以说明问题:
class Customer{
public:
......
Customer(const Customer& rhs);
Customer& operator=(const Customer& rhs);
......
private:
std::string name;
};
Customer::Customer(const Customer& rhs): name(rhs.name){
......
}
Customer& Customer::operator=(const Customer& rhs){
name = rhs.name;
return *this;
}
以上代码一切都好,直到当你添加了一个新的变量:
class Date{.......};
class Customer{
public:
......
private:
std::string name;
Date transaction;
};
这时既有的copying函数的确复制了name,但是并没有复制新添加的transaction。而编译器对此不会发出警告,即便是你写的代码不完全。因此如果你添加了一个新的class变量,你必须为此修改copying函数。
一旦涉及到继承,你会面临一个更为严重的隐藏问题:
class VIP: public Customer{
public:
.......
VIP(const VIP& rhs);
VIP& operator=(const VIP& rhs);
......
private:
int level;
};
VIP::VIP(const VIP& rhs): level(rhs.level){
......
}
VIP& VIP::operator=(const VIP& rhs){
levle = rhs.level;
return *this;
}
VIP中的copying函数看起来已经复制了所有的变量,但是检查会发现,它只是复制了VIP内声明的变量,但每个VIP还包含其所继承的Customer成员变量复件,而那些成员变量却没有被复制。VIP的copy构造函数并没有传递参数给base class构造函数,因此VIP内的Customer成分会被不带参数的Customer构造函数(即default构造函数)初始化。
任何时候你要为derived class编写构造函数时,必须要很小心地复制其base class成分。这些成分往往是private,你无法直接访问它们,你应该让derived class的copying函数调用相应的base class函数。
VIP::VIP(const VIP& rhs): Customer(rhs), level(rhs.level){
......
}
VIP& VIP::operator=(const VIP& rhs){
Customer::operator=(rhs);
levle = rhs.level;
return *this;
}
由以上的例子我们可以得到以下两点经验:
(1) 复制所有的local成员变量
(2) 不要忘记base class成分,调用所有base classes内的适当的copying函数
还要注意的是,不要试图用某个copying函数去实现另一个copying函数。应该将共同机能放到第三个函数中,并由两个copying函数共同调用。令copy assignment操作符调用copy构造函数是不合理的,因为这试图在构造一个已经存在的对象。反过来,令copy构造函数调用copy assignment操作符也是无意义的。构造函数用来初始化新对象,而copy assignment操作符只施行于已初始化对象上。