码迷,mamicode.com
首页 > 其他好文 > 详细

operator=处理自我赋值

时间:2014-07-02 09:08:20      阅读:188      评论:0      收藏:0      [点我收藏+]

标签:c++   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;
}

operator=处理自我赋值,布布扣,bubuko.com

operator=处理自我赋值

标签:c++   operator   

原文地址:http://blog.csdn.net/shoulinjun/article/details/36212035

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!