公告:本站提供编程开发方面的技术交流与分享,打造最佳教程网,希望能为您排忧解难!

Effective C++ 第12条:要复制整个对象,不要遗漏任一部分

Effective C++ 第12条:要复制整个对象,不要遗漏任一部分

更新时间:2013-03-16 16:48:55 |

第12条: 要复制整个对象,不要遗漏任一部分

在一个设计良好的面向对象系统中,对象的所有内在部分都会被封装起来,只有两个函数是用来复制对象的:即所谓的拷贝构造函数和拷贝赋值运算符。我们将称这些函数为拷贝函数。第 5 条中详细讲述了编译器将会在需要的时候自动生成拷贝函数,然后这一条还说明了编译器生成的版本可以精确的按你所预期的执行:当前正复制的对象的所有数据都会得到复制。

当你自己声明复制函数时,你向编译器表明,默认实现方式中有一些内容是你所不喜欢的。编译器会把这种做法视为对它的冒犯,它会一个很有趣的方式来报复你:当你的实现几乎一定要出现错误时,它就是不告诉你。

下面示例中是一个表示顾客的类,其中拷贝函数是手动编写的,以便将顾客记入日志:

void logCall(const std::string& funcName);  // 创建一个日志记录
class Customer {
public:
  ...
  Customer(const Customer& rhs);
  Customer& operator=(const Customer& rhs);
  ... 

private:
  std::string name;
};

Customer::Customer(const Customer& rhs)
: name(rhs.name)   // 复制 rhs 中的数据
{
  logCall("Customer copy constructor");
}

Customer& Customer::operator=(const Customer& rhs)
{
  logCall("Customer copy assignment operator");
  name = rhs.name;     // 复制 rhs 中的数据
  return *this;        // 参见第 10 条
}

这里看上去一切正常,而且实际上一切确实是正常的——但当另一个数据成员添加入 Customer 时 ,意外就发生了:

class Date { ... };    // 记录日期以备不时之需

class Customer {
public:

  ...     // 同上

private:
  std::string name;
  Date lastTransaction;
};

现在,前面的拷贝函数将进行部分复制:它们会复制出顾客的姓名 ( name ),但是不会复制最后一次交易( lastTransaction )。迄今为止大多数编译器对此视而不见,即使将警告调至最大模式也不会报出任何信息(另请参见第 53 条)。如果你自己编写拷贝函数,这便是这些编译器对你的“复仇”。你拒绝了编译器提供的拷贝函数,那么编译器就拒绝在你的代码不完整时通知你。结果很明显:如果你为一个类添加了一个数据成员,你必须确认相应的拷贝函数也得到了更新。(同时你也需要更新所有的构造函数(参见第 4 条和第 45 条),以及类中所有的非标准格式的 operator= (参见第 10 条中的示例)。如果你忘记了,编译器也不会及时提醒你。)

通过继承这一问题的危害会更大,但却更加隐蔽,请看下边的示例:

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 copy constructor");
}

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

PriorityCustomer 的拷贝函数看上去能复制 PriorityCustomer 中的所有数据,但是请仔细看一下,是的,这些拷贝函数确实能够复制 PriorityCustomer 中声明的数据成员,但是每一个 PriorityCustomer 对象都包含继承自 Customer 的所有数据成员,但这些数据成员始终没有得到复制! PriorityCustomer 的拷贝构造函数并没有指明任何参数来传递至基类的构造函数(也就是说,它在成员初始化表中从未提及 Customer ),于是 PriorityCustomer 中 Customer 那一部分将由 Customer 的无参构造函数——默认构造函数(假设存在一个,如果没有编译器将报错)进行初始化。这一构造函数将为 name 和 lastTransation 进行默认的初始化。

对于 PriorityCustomer 的拷贝构造函数而言,情况有小小的不同。在任何情况下它都不会尝试去修改其基类的数据成员,所以这些数据成员永远得不到更新。

一旦你亲自为一个继承类编写了拷贝函数,你必须留心其基类的部分。当然这些部分通常情况下是私有的,所以你无法直接访问它们。取而代之的是,派生类的拷贝函数必须调用这些私有数据在基类中相关的函数:

PriorityCustomer::PriorityCustomer(const PriorityCustomer& rhs)
:    Customer(rhs),     // 调用基类的拷贝构造函数
  priority(rhs.priority)
{
  logCall("PriorityCustomer copy constructor");
}


PriorityCustomer&
PriorityCustomer::operator=(const PriorityCustomer& rhs)
{
  logCall("PriorityCustomer copy assignment operator");
  Customer::operator=(rhs);             // 为基类部分赋值
  priority = rhs.priority;
  return *this;
}

本条目标题中的“不要遗漏任何部分”在这里就显得很清晰了。当你编写拷贝函数时,要确认 (1) 复制所有的局部数据成员 (2) 调用基类中适当的拷贝函数。

从实践角度讲,这两个拷贝函数通常会很相似,这似乎会怂恿你去尝试让一个函数去调用另一个来避免代码重复。你的避免代码重复的渴望是值得称赞的,但是让一个拷贝函数调用另一个并不是一个好的实现方式。

让拷贝赋值运算符调用拷贝构造函数是没有任何意义的,因为你是在尝试构造一个已经存在的对象。这显得毫无意义,甚至没有语法支持这样做。存在语法看上去可以让你这样做,但事实上你达不到预期的目的;同时存在语法确实可以迂回实现,但是这样做却会在一些情况下破坏你的对象。所以我不会向你介绍这些语法。你只需清楚让拷贝赋值运算符去调用拷贝构造函数不是一个好主意就可以了。

尝试逆向考虑此问题——让拷贝构造函数去调用拷贝赋值运算符——这样做同样是毫无意义的。一个构造函数初始化新的对象,但是一个赋值运算符仅仅可以应用于已经初始化的对象。对于一个正在构造中的对象而言,对其进行赋值操作就意味着对未初始化的对象进行操作(但是这些操作仅对已初始化的对象起作用)。这是很荒唐的,请不要尝试。

如果你发现你的拷贝构造函数和拷贝赋值运算符很相似时,如果你希望排除重复代码,可以通过创建第三个成员函数供两者调用来取代上面的方法。通常情况下,这样的函数应该是私有的,一般将其命名为 init 。这样的策略是安全的,排除拷贝构造函数和拷贝赋值运算符中的代码重复,这是一个经过证实安全有效的方法。

需要记住的

  • 要确保拷贝函数拷贝对象的所有的数据成员,及其基类的所有部分,不要有遗漏。
  • 不要尝试去实现一个拷贝函数来供其它的拷贝函数调用。取而代之的是,把公共部分放入一个“第三方函数”中共所有拷贝函数调用。
最佳教程网

最大的技术交流平台 www.goodxyx.com© CopyRight 2011-2013, All Rights Reserved

浙ICP备11033019号