Effective C++ T12：复制对象时勿忘其每一个成分

Effective C++学习笔记总链接

改善程序与设计的55个具体做法学习笔记-每日1条

---

条款12：复制对象时勿忘其每个成分

【技巧】

1. copying函数应该确保复制“对象内所有成员变量”及“所有base class 成分”

2. 不要尝试以某个copying函数实现另一个copying函数，应该将共同机能放进第三个函数中，并由copying函数共同调用

---

copying函数

设计良好之面向对象系统会将对象的内部封装起来，只留两个函数负责对象拷贝，copy构造函数和copy assignment操作符，被称为copying函数。

在没有声明copying函数，编译器将自动生成，将被对象的所有成员变量都做一份拷贝（浅复制）。

详情见下链接的 复制构造函数，内含有详细解释及代码分析。
【C++ Primer Plus】学习笔记–第12章 类和动态内存分配

如果声明自己的copying函数，编译器将生小孩子气，当你的实现copying函数几乎必然出错时却不告诉你。

切记，如果你为class添加一个成员变量，你必须同时修改copying函数。（也需要修改class的所有构造函数以及任何非标准形式的operator=）

base class成员复制

任何时候只要你承担起“为derived class” 撰写coping，必须很小心的复制其base class成分

你应该让derived class的copying 函数调用相应的base class 函数。

PriorityCustomer::PriorityCustomer(const PriorityCustomer& rhs)
	: Customer(rhs),  // 调用base class的copy构造函数
	priority（rhs.priority）
{}

PriorityCustomer& PriorityCustomer::operator=(const PriorityCustomer& rhs)
{
	Customer::operator=(rhs); // 对base class成分进行赋值动作
	priority = rhs.priority;
	return *this;
}

当你编写一个copying函数，请确保

• 复制所有的local 成员变量
• 调用所有base class 内的适当的copying函数

拒绝copying函数调用另一个copying函数

这两个copying函数有代码重复，但是令某个copying函数调用另一个copying函数是不合理的。

• 令copy assignment 操作符调用copy构造函数是不合理的，因为这就像试图构造一个已经存在的对象，可能造成对象败坏。
• 令copy构造函数调用copy assignment 操作符是无意义的，构造函数用来初始化新对象，而assignment 操作符只施行于已初始化对象身上，对一个尚未构造好的对象赋值，是错误的。

安全消除copying构造函数和copy assignment操作符之间的代码重复的做法是建立一个新的成员函数给两者调用，这样的函数往往是private而且常被命名为init。