首页 > 代码库 > operator=处理自我赋值

operator=处理自我赋值


有许多时候,我们自己编写类的operator=函数(例如,当类中包含指针时)。
考虑如下的一个类:
class Widget {
public:
  Widget(int x=0): val(new int(x)) {}
  ~Widget() { delete val; }
  Widget(const Widget &rhs): val(new int(*rhs.val)) {}
  //operator =
  Widget& operator=(const Widget &rhs);

  void print() const { cout << *val << endl; }
private:
  int *val;
};

错误版本:

当自我赋值的时候,下面的代码是不安全的。如果*this 和 rhs 是同一个对象,那么第一句 delete val;
不仅仅删除了当前对象的val, 也删除了rhs 的 val. 那么 rhs.val 指向的就是一个已经被删除的int. 这必然产生诡异的问题。
/** wrong version
 * not-safe when self-assignment occurs.
 */
Widget& Widget::operator=(const Widget &rhs) {
  delete val;
  val = new int(*rhs.val);
  return *this;
}

改进版本1:

阻止此类错误的传统做法是加一个证同测试(identity test)。
Widget& Widget::operator=(const Widget &rhs) {
  if(this == &rhs) return;

  delete val;
  val = new int(*rhs.val);
  return *this;
}

但是上述做法,虽然具有自我复制安全性,但是不具有异常安全性。
如果 new int 抛出异常的时候,this->val 指向的就是一个已经删除的int

改进版本2:

异常安全性与自我复制安全性兼具
Widget& Widget::operator=(const Widget &rhs) {
  int *pOld = val;
  val = new int(*rhs.val);
  delete pOld;
  return *this;
}

改进版本3:

copy and swap 技术
Widget& Widget::operator=(const Widget &rhs) {
  Widget temp(rhs);
  swap(temp);
  return *this;
}

改进版本4:

通过传值来实现 copy and swap
Widget& Widget::operator=(Widget rhs) { //yes, copy by value
  swap(rhs);
  return *this;
}