《Effective C++》学习笔记(条款12:复制对象时勿忘其每一个成分)

最近开始看《Effective C++》,为了方便以后回顾,特意做了笔记。若本人对书中的知识点理解有误的话,望请指正!!!

C++中有两个函数负责对象拷贝,分别是拷贝构造函数拷贝赋值运算符,我们可以统称为拷贝函数。若我们不声明自己的拷贝函数,则编译器会给你提供,若是声明了自己定义的拷贝函数,必须把所有成员变量拷贝。

void logCall(const std::string& funcName);
class Customer{
public:
    ...
    Customer(const Customer& rhs);
    Customer& operator=(const Customer& rhs);
private:
    string name;
};

Customer::Customer(const Customer& rhs):name(rhs.name){   //使用初始化列表
	logCall("Customer copy constructor");
}

Customer& Customer::operator=(const Customer& rhs){
    logCall("Customer copy assignment operator");
    name = rhs.name;    //拷贝数据
    return *this;       //返回*this
}

上述代码中自己声明的拷贝函数都很不错,直到另一个成员变量的出现

class Date {...};
class Customer{
public:
    ...
    Customer(const Customer& rhs);
    Customer& operator=(const Customer& rhs);
private:
    string name;
    Date lastTransaction;	//新出现的成员变量
};

这时候上述的拷贝函数只是局部拷贝,它们的确复制了顾客的 name,但没有赋值新出现的成员变量 lastTransaction。大多数编译器不会因此而发出错误信息,即你的拷贝函数不完整,它不会告诉你。总的来说,你每添加一个成员变量,你就必须修改已有的拷贝函数(也需要修改 class 的所有搞糟函数以及任何非标准形式的 operator=)。

一旦发生继承呢?假设 PriorityCustomer 类继承了 Customer 类,如下述代码:

class PriorityCustomer : public Customer{
public:
    ...
    PriorityCustomer(const PriorityCustomer& rhs);
    PriorityCustomer& operator=(const PriorityCustomer& rhs);
private;
    int priority;
};

PriorityCustomer::PriorityCustomer(const PriorityCustomer& rhs)
  	:priority(rhs.prority){           //使用初始化列表来构造该类的数据成员
  	logCall("PriorityCustomer copy constructor");  
}

PriorityCustomer& PriorityCustomer::operator=(const PriorityCustomer& rhs){
  	logCall("PriorityCustomer copy assignment operator");
	priority = rhs.priority;          //拷贝该类的数据成员
	return *this;
}

PriorityCustomer 的拷贝函数确实完整了复制 PriorityCustomer 中的专属成分,但它的基类 Customer 中的专属成分却未被复制。PriorityCustomer拷贝构造函数并没有指定实参传给其基类的构造函数(即它再它的初始化列表中没有提到 Customer ),因此 PriorityCustomer 中其基类的专属成分会被无参构造函数(必须有一个无参构造函数,不然无法通过编译,因为你定义了拷贝函数,所以编译器不会给你提供默认构造函数)初始化。

解决方法:

//拷贝构造函数:在初始化列表上调用其基类的拷贝函数
PriorityCustomer::PriorityCustomer(const PriorityCustomer& rhs)
  	:Customer(rhs),			//调用基类的拷贝构造函数
	priority(rhs.prority){
  	logCall("PriorityCustomer copy constructor");  
}

//拷贝赋值运算符:对基类成分进行赋值操作
PriorityCustomer& PriorityCustomer::operator=(const PriorityCustomer& rhs){
  	logCall("PriorityCustomer copy assignment operator");
	Customer::operator=(rhs);	//对基类成分进行赋值操作
    priority = rhs.priority;
	return *this;
}

所以,当自己编写一个拷贝函数时,请确保:

  • 复制所有本地成员变量
  • 调用所有基类内的适当的拷贝函数

注意:在拷贝赋值运算符函数中调用拷贝构造函数是不合理的,反之,在拷贝构造函数中调用拷贝赋值运算符同样是无意义的。

Note:

  • 拷贝函数应确保复制“对象内的所有成员变量”及“所有基类成分”
  • 不要尝试以某个拷贝函数实现另一个拷贝函数。应将共同机能放进第三方函数中,并由两个拷贝函数共同调用

条款13:以对象管理资源

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值