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

在operator =中要处理“自我赋值”

时间:2018-05-21 00:59:47      阅读:155      评论:0      收藏:0      [点我收藏+]

标签:版本   let   引用   class   存储   font   内存区域   空间   new   

 

防止自我赋值很有必要

Widget w;
w = w;
a[i] = a[j]; //a[i]和a[j]实际上指向同一个元素
*pi = *pj; //pi和pj实际上指向同一个元素

自我赋值的危害

Widget
{
private:
    Test *p;
};
Widget &Widget::operator=(const Widget &w)
{
  delete p;
  p = new int (*w.p);
  return *this;
}

如果是自我赋值,会把自己的空间释放掉,即当执行delete p后,w.p已经指向一个被释放的内存空间(此时*w.p的内容未知);当执行 p = new int(*w.p);即让p重新指向一个存储了(*w.p)的内存空间,该内存空间内容又是未知的。当再次引用时,会出现未定义的行为。

改良版本

Widget &Widget::operator=(const Widget &w)
{
  if (this == &w)
  {
      return *this;
  }
  delete p;
  p = new Test(*w.p);
  return *this;
};

这个类虽然能避免自我赋值的问题,但是,如果new Test时抛出异常,那么Widget最终会持有一个指针指向一块被删除的内存区域,这样的指针是有害的。

改成这样

Widget &Widget::operator=(const Widget &rhs)
{
  Test *porg = p;
  p = new Test(*rhs.p);
  delete porg;
  return *this;
}

此时new Test发生异常,那么p可以保持原状。(异常发生的时候,不会给p赋值)

delete prog;保证了p原来指向的内存空间也会被顺利释放。

在operator =中要处理“自我赋值”

标签:版本   let   引用   class   存储   font   内存区域   空间   new   

原文地址:https://www.cnblogs.com/codingmengmeng/p/9065280.html

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