Effective C++ 2e Item17

原创 2001年07月09日 20:14:00

 

条款17: 在operator=中检查给自己赋值的情况

做类似下面的事时,就会发生自己给自己赋值的情况:

class X { ... };

X a;

a = a;                     // a赋值给自己

这种事做起来好象很无聊,但它完全是合法的,所以看到程序员这样做不要感到丝

毫的怀疑。更重要的是,给自己赋值的情况还可以以下面这种看起来更隐蔽的形式

出现:

a = b;

如果b是a的另一个名字(例如,已被初始化为a的引用),那这也是对自己赋值,

虽然表面上看起来不象。这是别名的一个例子:同一个对象有两个以上的名字。在

本条款的最后将会看到,别名可以以大量任意形式的伪装出现,所以在写函数时一

定要时时考虑到它。

在赋值运算符中要特别注意可能出现别名的情况,其理由基于两点。其中之一是效

率。如果可以在赋值运算符函数体的首部检测到是给自己赋值,就可以立即返回,

从而可以节省大量的工作,否则必须去实现整个赋值操作。例如,条款16指出,一

个正确的派生类的赋值运算符必须调用它的每个基类的的赋值运算符,所以在派生

类中省略赋值运算符函数体的操作将会避免大量对其他函数的调用。

另一个更重要的原因是保证正确性。一个赋值运算符必须首先释放掉一个对象的资

源(去掉旧值),然后根据新值分配新的资源。在自己给自己赋值的情况下,释放

旧的资源将是灾难性的,因为在分配新的资源时会需要旧的资源。

看看下面String对象的赋值,赋值运算符没有对给自己赋值的情况进行检查:

class String {
public:
  String(const char *value);    // 函数定义参见条款11
                                //

  ~String();                    // 函数定义参见条款11
                                //
  ...

  String& operator=(const String& rhs);

private:
  char *data;
};

// 忽略了给自己赋值的情况
// 的赋值运算符
String& String::operator=(const String& rhs)
{
  delete [] data;    // delete old memory

  // 分配新内存,将rhs的值拷贝给它
  data = new char[strlen(rhs.data) + 1];
  strcpy(data, rhs.data);

  return *this;      // see Item 15
}

看看下面这种情况将会发生什么:

String a = "Hello";

a = a;               // same as a.operator=(a)

赋值运算符内部,*this和rhs好象是不同的对象,但在现在这种情况下它们却恰巧

是同一个对象的不同名字。可以这样来表示这种情况:

*this  data ------------> "Hello/0"
                  /
                 /
rhs    data -----

赋值运算符做的第一件事是用delete删除data,其结果将如下所示:

*this  data ------------> ???
                   /
                  /
rhs    data -----

现在,当赋值运算符对rhs.data调用strlen时,结果将无法确定。这是因为data被

删除的时候rhs.data也被删除了,data,this->data 和rhs.data 其实都是同一个

指针!从这一点看,情况只会越变越糟糕。

现在可以知道,解决问题的方案是对可能发生的自己给自己赋值的情况先进行检查

,如果有这种情况就立即返回。不幸的是,这种检查说起来容易做起来难,因为你

必须定义两个对象怎么样才算是“相同”的。

你面临的这个问题学术上称为object identity,它在面向对象领域是个很有名的

论题。本书不是讲述object identity的地方,但有必要提到两个解决这个问题的

基本方法。

一个方法是,如果两个对象具有相同的值,就说它们是相同的(具有相同的身份)

。例如,两个String对象如果都表示的是相同顺序的字符序列,它们就是相同的:

String a = "Hello";
String b = "World";
String c = "Hello";

a和c具有相同值,所以它们被认为是完全相同的;b和它们都不同。如果把这个定

义用到String类中,赋值运算符看起来就象这样:

String& String::operator=(const String& rhs)
{
  if (strcmp(data, rhs.data) == 0) return *this;

  ...

}

值相等通常由operator==来检测,所以对于一个用值相等来检测对象身份的类C来

说,它的赋值运算符的一般形式是:

C& C::operator=(const C& rhs)
{
  // 检查对自己赋值的情况
  if (*this == rhs)            // 假设operator=存在
    return *this;

  ...

}

注意这个函数比较的是对象(通过operator=),而不是指针。用值相等来确定对

象身份和两个对象是否占用相同的内存没有关系;有关系的只是它们所表示的值。

另一个确定对象身份是否相同的方法是用内存地址。采用这个定义,两个对象当且

仅当它们具有相同的地址时才是相同的。这个定义在C++程序中运用更广泛,可能

是因为它很容易实现而且计算很快,而采用值相等的定义则不一定总具有这两个优

点。采用地址相等的定义,一个普通的赋值运算符看起来象这样:

C& C::operator=(const C& rhs)
{
  // 检查对自己赋值的情况
  if (this == &rhs) return *this;

  ...

}

它对很多程序都适用。

如果需要一个更复杂的机制来确定两个对象是否相同,这就要靠程序员自己来实现

。最普通的方法是实现一个返回某种对象标识符的成员函数:

class C {
public:
  ObjectID identity() const;    // 参见条款36

  ...

};

对于两个对象指针a和b,当且仅当 a->identity() == b->identity()的时候,它

们所指的对象是完全相同的。当然,必须自己来实现ObjectIDs的operator==。

别名和object identity的问题不仅仅局限在operator=里。在任何一个用到的函数

里都可能会遇到。在用到引用和指针的场合,任何两个兼容类型的对象名称都可能

指的是同一个对象。下面列出的是别名出现的其它情形:

class Base {
  void mf1(Base& rb);          // rb和*this可能相同                     
  ...

};

void f1(Base& rb1,Base& rb2);  // rb1和rb2可能相同
                               //

class Derived: public Base {
  void mf2(Base& rb);          // rb和*this可能相同
                               //
  ...

};

int f2(Derived& rd, Base& rb); // rd和rb可能相同
                               //

这些例子刚好都用的是引用,指针也一样。

可以看到,别名可以以各种形式出现,所以决不要忘记它或期望自己永远不会碰到

它。也许你不会碰到,但我们大多数会碰到。而很明显的一条是,处理它会达到事

半功倍的效果。所以任何时候写一个函数,只要别名有可能出现,就必须在写代码

时进行处理。

Effective C++ 目录

改变旧有的C习惯(Shifting from C to C++) 013 条款1:尽量以 const 和 inline 取代 #define 013 Prefer const and inline...
  • sunrise918
  • sunrise918
  • 2011年08月19日 17:34
  • 494

Effective C++ 2e Item3

条款3:尽量用new和delete而不用malloc和freemalloc和free(及其变体)会产生问题的原因在于它们太简单:他们不知道构造函数和析构函数。假设用两种方法给一个包含10个string...
  • lostmouse
  • lostmouse
  • 2001年06月29日 19:39
  • 873

Effective C++ 2e Item25

条款25: 避免对指针和数字类型重载快速抢答:什么是“零”?更明确地说,下面的代码会发生什么?void f(int x);void f(string *ps);f(0);               ...
  • lostmouse
  • lostmouse
  • 2001年07月15日 18:27
  • 697

Effective C++ 2e Item42

条款42: 明智地使用私有继承条款35说明,C++将公有继承视为 "是一个" 的关系。它是通过这个例子来证实的:假如某个类层次结构中,Student类从Person类公有继承,为了使某个函数成功调用,...
  • lostmouse
  • lostmouse
  • 2001年08月02日 19:18
  • 649

Effective C++ 2e Item35

继承和面向对象设计很多人认为,继承是面向对象程序设计的全部。这个观点是否正确还有待争论,但本书其它章节的条款数量足以证明,在进行高效的C++程序设计时,还有更多的工具听你调遣,而不仅仅是简单地让一个类...
  • lostmouse
  • lostmouse
  • 2001年07月29日 18:38
  • 585

Effective C++ 2e Item26

条款26: 当心潜在的二义性每个人都有思想。有些人相信自由经济学,有些人相信来生。有些人甚至相信COBOL是一种真正的程序设计语言。C++也有一种思想:它认为潜在的二义性不是一种错误。这是潜在二义性的...
  • lostmouse
  • lostmouse
  • 2001年07月15日 18:28
  • 627

Effective C++ 2e Item4

条款4:尽量使用C++风格的注释旧的C注释语法在C++里还可以用,C++新发明的行尾注释语法也有其过人之处。例如下面这种情形:    if ( a > b ) {      // int temp =...
  • lostmouse
  • lostmouse
  • 2001年06月29日 20:41
  • 752

Effective C++ 2e Item31

条款31: 千万不要返回局部对象的引用,也不要返回函数内部用new初始化的指针的引用本条款听起来很复杂,其实不然。它只是一个很简单的道理,真的,相信我。先看第一种情况:返回一个局部对象的引用。它的问题...
  • lostmouse
  • lostmouse
  • 2001年07月23日 20:24
  • 669

Effective C++ 2e Item37

条款37: 决不要重新定义继承而来的非虚函数有两种方法来看待这个问题:理论的方法和实践的方法。让我们先从实践的方法开始。毕竟,理论家一般都很耐心。假设类D公有继承于类B,并且类B中定义了一个公有成员函...
  • lostmouse
  • lostmouse
  • 2001年07月30日 19:06
  • 579

Effective C++ 2e Item7

条款7:预先准备好内存不够的情况operator new在无法完成内存分配请求时会抛出异常(以前的做法一般是返回0,一些旧一点的编译器还这么做。你愿意的话也可以把你的编译器设置成这样。关于这个话题我将...
  • lostmouse
  • lostmouse
  • 2001年07月02日 16:25
  • 931
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:Effective C++ 2e Item17
举报原因:
原因补充:

(最多只允许输入30个字)