c++复制对象时勿忘其每一部分

设计良好之面向对象系统会将对象内部封装起来，只留两个函数负责对象拷贝(复制)，那便是带着试切名称的copy构造函数和copy assignment操作符，称它们为copying函数，并说明这些“编译器生成版”的行为：将被拷贝对象的所有成员变量都做一份拷贝。

如果你声明自己的copying函数，意思就是告诉编译器你并不喜欢缺省实现中的某些行为。编译器仿佛被冒犯似的，会以一种奇怪的方式回敬：当你的实现代码几乎必然出错时却不告诉你。

考虑一个class用来表现顾客，其中手工写出(而非编译器创建)copying函数，使得外界对它们的调用会被日志记录(logged)下来：

void lgoCall(const 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 constructor");
    name = rhs.name;
    return *this;
}

这里的每一件事情看起来都很好，二实际上每件事情也确实都好，直到另一个成员变量加入战局：

class Data { ... };
class Customer {

public:
    ...
private:
    string name;
    Data lastTransaction;
};

这时候既有的copying函数执行的是局部拷贝(partical copy):它们的确复制了顾客的name，但没有复制新添加的lastTransaction。大多数编译器对此不出任何怨言——即使在最高警告级别中。这是编译器对“你自己写出的copying函数”的复仇行为：既然你拒绝我们为你写出copying函数，如果你的代码不完全，它们也不告诉你。结论很明显：如果你为class添加一个成员变量，你必须同时修改copying函数，你也需要修改calss的所有构造函数以及任何非标准形式的operator=。如果你忘记了，编译器不太可能提醒你。

一旦发生集成，可能会造成此一主题最暗中肆虐的潜藏危机。试考虑：

class PriorityCustomer:public Customer {

public:
    ...
    PriorityCustomer(const PriorityCustomer& rhs);
    PriorityCustomer& operator=(const PriorityCustomer& rhs);
    ...

private:
    int priority;
}

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

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

PriorityCustomer的copying函数看起来好像复制了PriorityCustomer内的每一样东西，但是请再看一眼。是的，它们复制了PriorityCustomer声明的成员变量，但每个PriorityCustomer还内涵它所继承的Customer成员变量的复件(副本)，而那些成员变量却未被复制。PriorityCustomer的copy构造函数并没有指定实参传给其base class构造函数(也就是说它在它的成员初值列中没有提到Customer)，因此PriorityCustomer对象的Customer成分会被不带实参之Customer构造函数(即default构造函数——必定有一个否则无法编译通过)初始化。default构造函数将针对name和lastTransaction执行缺省的初始化动作。

以上事态在PriorityCustomer的copy assignment操作符身上只有轻微不同。它不曾企图修改其base class的成员变量，所以那些成员变量保持不变。

所以任何时候，你都要很小心地复制类的base class部分：

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

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

请注意：

Copying函数应该确保复制“对象内所有成员变量”及“所有base class部分”。

c++复制对象时勿忘其每一部分

请注意：

猜你喜欢