Copy and Swap复制和交换.docx

任何管理某资源的类比如智能指针需要遵循一个规则（The Rule of Three）：如果你需要显式地声明一下三者中的一个：析构函数、拷贝构造函数或者是拷贝赋值操作符，那么你需要显式的声明所有这三者。拷贝构造函数和析构函数实现起来比较容易，但是拷贝赋值操作符要复杂许多。它是怎么实现的？我们需要避免那些误区？那么Copy-and-swap就是完美的解决方案。而且可以很好地帮助拷贝赋值操作符达到两个目标：避免代码重复、提供强烈的异常安全保证。1、? 怎么工作概念上讲，它是利用拷贝构造函数生成一个临时拷贝，然后使用swap函数将此拷贝对象与旧数据交换。然后临时对象被析构，旧数据消失。我们就拥有了新数据的拷贝。为了使用copy-and-swap，我们需要拷贝构造函数、析构函数以及swap交换函数。一个交换函数是一个non-throwing函数，用来交换某个类的两个对象，按成员交换。我们可能会试着使用std:swap，但是这不可行。因为std:swap使用自己的拷贝构造函数和拷贝赋值操作符。而我们的目的是定义自己的拷贝赋值操作符。2、? 目的让我们看一个具体的实例。我们需要在一个类中管理一个动态数组。我们需要实现构造函数、拷贝赋值操作符、析构函数。[cpp]?view plaincopyprint?#include?algorithm?//?std::copy??#include?cstddef?//?std::size_t????class?dumb_array??{??public:??????//?(default)?constructor??????dumb_array(std::size_t?size?=?0)?:????????mSize(size),????????????mArray(mSize???new?int[mSize]()?:?0)????????{}??????????//?copy-constructor????????dumb_array(const?dumb_array?other)?:????????mSize(other.mSize),????????????mArray(mSize???new?int[mSize]?:?0),????????{????????????//?note?that?this?is?non-throwing,?because?of?the?data????????????//?types?being?used;?more?attention?to?detail?with?regards????????????//?to?exceptions?must?be?given?in?a?more?general?case,?however????????????std::copy(other.mArray,?other.mArray?+?mSize,?mArray);????????}??????????//?destructor????????~dumb_array()????????{????????????delete?[]?mArray;????????}????private:??????std::size_t?mSize;??????int*?mArray;??};??这个类几乎可以说是成功的实现了管理动态类的功能，但是还需要opeator=才能正常工作。下面是一个不怎么好的实现：[cpp]?view plaincopyprint?//?the?hard?part??dumb_array?operator=(const?dumb_array?other)??{??????if?(this?!=?other)?//?(1)??????{??????????//?get?rid?of?the?old?data...??????????delete?[]?mArray;?//?(2)??????????mArray?=?0;?//?(2)?*(see?footnote?for?rationale)????????????//?...and?put?in?the?new??????????mSize?=?other.mSize;?//?(3)??????????mArray?=?mSize???new?int[mSize]?:?0;?//?(3)??????????std::copy(other.mArray,?other.mArray?+?mSize,?mArray);?//?(3)??????}????????return?*this;??}???上述代码有三个问题，分别是括号所注明的。（1）需要进行自我赋值判别。这个判别有两个目的：是一个阻止冗余代码的一个简单的方法；可