[Effective C++ --011]在operator=中处理“自我赋值”

一、何谓“自我赋值”？

1.1．场合一直接赋值

w = w;

1.2．场合二同一数组
  a[i] = a[j]；
1.3．场合三指针
  *px = *py；
1.4．场合四同一继承体系
  class Base{...};
  class Derived: class Base{...};

二、自我赋值时，可能发生的问题
2.1．问题一使用资源之前，资源已经被释放
例：

class Bitmap{...};

class DeskTop {

...

private:

Bitmap* pb;

};

operator=的可能实现：

DeskTop& DeskTop::operator=(const DeskTop& newDeskTop) {

delete pb;

pb = new Bitmap(*newDeskTop.pb);

return *this;

};

(1)this == &newDeskTop return;
(2)temp = pb;
问题：如果*this与newDeskTop是同一对象的话，问题产生

三、解决自我赋值的方法
2.1．使用对象来管理资源【条款13，14】的话，可以有效的解决（）
2.2．“来源对象”与“目标对象”的地址

DeskTop& DeskTop::operator=(const DeskTop& newDeskTop) {

if (this == &newDeskTop) return *this;

delete pTemp;

pb = new Bitmap(*newDeskTop.pb);

return *this;

};

问题：new Bitmap(*newDeskTop.pb)出错时，pb还是被删除了。

2.3．精心周到的语句顺序

DeskTop& DeskTop::operator=(const DeskTop& newDeskTop) {

Bitmap* pTemp = pb;

pb = new Bitmap(*newDeskTop.pb);

delete pTemp;

return *this;

};

2.4．copy and swap

void swap (DeskTop& newDeskTop);

DeskTop& DeskTop::operator=(const DeskTop& newDeskTop) {

DeskTop temp(newDeskTop);

swap(temp);

return *this;

};

或者

DeskTop& DeskTop::operator=(const DeskTop newDeskTop) {

swap(newDeskTop);

return *this;

};

巴特西

[Effective C++ --011]在operator=中处理“自我赋值”

最新文章

热门文章