Effective C++(12) 复制对象时要复制每一个成员

问题聚焦：

负责拷贝的两个操作：拷贝构造函数和重载赋值操作符。

一句话总结，确保被拷贝对象的所有成员变量都做一份拷贝。

Demo

void logCall(const std::string& funcName);  // log函数

class Date{ ... };

class Customer {
public:
    ....
    Customer(const Customer& rhs);
    Customer& operator=(const Customer& rhs);
private:
    std::string name;
    Date lastTransaction;
};

Customer::Customer(const Customer& rhs) 
    : name(rhs.name)      // 忽略了lastTransaction成员变量
{
    logCall("Customer copy constructor");
}

Customer& Customer::operato=(const Customer& rhs)
{
    logCall("Customer copy assignment operator");
    name = rhs.name;         // 忽略了lastTransaction成员变量
    return *this;
}

上述代码的问题很明显，就是没有拷贝lastTransaction成员变量，更为严重的是，编译器并不会提醒你这个错误。

结论就是，如果为class添加一个成员变量，必须同时修改copying函数（包括拷贝构造函数和重载赋值操作符）

如果发生了继承，会带来什么样的危险呢？

class PriorityCustomer: public Custoer {
public:
    ...
    PriorityCustomer(const PriorityCustoer& rhs);
    PriorityCustomer& operato=(const PriorityCustomer& rhs);
    ...
private:
    int priority;
};

PriorityCustomer&
PriorityCustomer::PriorityCustomer (const PriorityCustomer& rhs)
    : priority(rhs.priority)
{
    logCall("PriorityCustoer copy constructor");
}

PriorityCustomer&
PriorityCustomer::operator=(const PriorityCustomer& rhs)
{
    logCall("PriorityCustomer copy assignment operator");
    priority = rhs.priority;
    return *this;
}

问题：

PriorityCustomer的拷贝函数们拷贝了它声明的成员变量，却忽略了它所继承的Customer成员变量的拷贝，也没有指定实参传递给Customer的构造函数，因此，PriorityCustomer对象的Customer成分会被不带实参的Customer默认构造函数初始化。

改进：为子类编写拷贝函数时，必须要复制其基类部分。

PriorityCustomer&
PriorityCustomer::PriorityCustomer (const PriorityCustomer& rhs)
    : Customer(rsh), priority(rhs.priority)
{
    logCall("PriorityCustoer copy constructor");
}

PriorityCustomer&
PriorityCustomer::operator=(const PriorityCustomer& rhs)
{
    logCall("PriorityCustomer copy assignment operator");
    Customer::operator=(rhs);
    priority = rhs.priority;
    return *this;
}

结论

确保赋值所有local成员变量

调用所有base classes内的适当的拷贝函数

需要注意的一点是：

虽然重载赋值操作符和拷贝函数的代码长得很像，但是很难复用它们，因为重载赋值操作符时调用拷贝构造函数就像在构造一个已经存在的对象；

同样地，令拷贝构造函数调用重载赋值操作符一样没有意义。

所以，复用这两个代码的方式就是写一个新的成员函数给两者调用。

小结：

拷贝构造函数和重载赋值操作符应该确保复制“对象内的所有成员变量”及“所有base class成分”；

不要尝试拷贝构造函数调用重载赋值操作符或是反过来。

参考资料：

《Effective C++ 3rd》