Effective C++——》条款12：复制对象时勿忘其每一部分

这句话包含两部分的意思：第一部分是要考虑到所有成员变量，特别是后加入的，相应的拷贝构造函数和赋值运算符要及时更新；第二部分是在存在继承时，不要遗忘基类部分的复制。先看第一部分的意思，举个例子：

1 class SampleClass
2 {
3 private:
4          int a;
5 public:
6          SampleClass(const SampleClass& s):a(s.a)
7          {}
8 };

这里只举了一个拷贝构造函数的例子，赋值运算符与之类似，如果这个时候又加了一个成员变量，比如double b，拷贝构造函数和赋值运算符就要相应地更新（构造函数当然也要更新，只是构造函数一般不会被忘记，而拷贝构造函数和赋值运算符却常常被遗忘）。像这样：

1 class SampleClass
2 {
3 private:
4          int a;
5          double d;
6 public:
7          SampleClass(const SampleClass& s):a(s.a),d(s.d)
8         {}
9 };

再看第二部分的意思，当存在继承关系时：

1 class Derived: public SampleClass
2 {
3 private:
4          int derivedVar;
5 public:
6          Derived(const Derived& d):derivedVar(d.derivedVar){}
7 };

像这样，很容易就会漏掉基类的部分，导致基类部分没有得到正常的拷贝，应该修改为如下：

1 class Derived: public SampleClass
2 {
3 private:
4          int derivedVar;
5 public:
6          Derived(const Derived& d):SampleClass(d), derivedVar(d.derivedVar){}
7 };

对于赋值运算符的重载，应该写成这样：

1 Derived& operator=(const Derived& d)
2 {
3          SampleClass::operator=(d);
4          derivedVar = d.derivedVar;
5          return *this;
6 }

可以看到，赋值运算符重载与拷贝构造函数的代码具有很高的相似性，但书上说“不要尝试以某个copying函数实现另一个copying函数”。我觉得这里有争议，上一个条款中，书上已经做到了在赋值运算符中调用拷贝构造函数了，像这样：

1 Derived& operator=(const Derived& d)
2 {
3          Derived tmp(d);
4          swap(*this, tmp);
5          return *this;
6 }

这就是一个在赋值运算符内调用拷贝构造函数的例子，也许在有些情况下，它的效率看上去不那么高，但却为代码的一致性提供了很好的保障，也能有效提供异常安全性。所以，在这个地方，我不大认同书上所说的，如果你有什么想法，可以留言共同讨论。书上所说的定制一个共有的private函数，比如init()，分别在拷贝构造函数和operator=中调用当然也是可以的。

最后总结一下：

Copying函数应该确保复制“对象内的所有成员变量”及“所有基类成分”。