effective c++里的 ,处理operator =的自我赋值
class Widget{
void swap(Widget& rhs);//交换rhs和*this的数据
Widget& operator =(const Widget& rhs)
{
Widget temp(rhs);
swap(temp);
return *this;
}
}
我不明白的是:
1. 这里所谓的copy and swap,应该是防止拷贝的过程中出现异常,所以先往temp对象上拷贝,如果异常,则*this不改变。接下来我觉得只需要把temp对象全部复制到*this就可以了,为什么要swap,将*this的拷贝给temp?
2. 如果要构造临时对象,那么拷贝构造函数也就需要类似的考虑,防止new之类的操作产生异常。感觉又绕回来了,如果拷贝构造能解决,那么operator =也用类似方法解决不久好了?
swap只是为了把temp的内容拿给this吧,至于this的交给temp以后反正temp马上就析构了,刚好处理掉... ...
假设 (*this).b 指向数组A1,temp.b指向A2,swap以后
(*this).b 指向A2,temp.b指向A1。
我是这个意思,A1和A2本身不交换。当然如果你有需要,也可以实现深层次的swap。
我这里的swap只是个伪代码,具体怎么swap还要看你的需求,std::swap貌似如果不能调用要交换的对象的swap成员函数,就会做个浅拷贝... ...