Effective C++ 条款25

考虑写出一个不抛出异常的swap函数

本节讲解如何自定义一个高效的swap函数

对于std名空间中的swap缺省函数如下所示

namespace std{    template<typename T>    void swap(T& a, T& b)    {        T temp(a);        a=b;        b=temp;    }}class WidgetImpl{public:    ……private:    int a,b,c;              //数据很多，复制意味时间很长    std::vector<double> b;    ……};

我们可以看到，当交换对象的数据很大时，以上swap的执行效率会很慢，为了改变这种状况，作者提出以下方法;

重新定义一个类

class Widget{public:    Widget(const Widget& rhs);    Widget& operator=(const Widget& rhs    {        ……          //复制Widget时，复制WidgetImpl对象                      *pImpl=*(ths.pImpl);        ……    }    ……private:    WidgetImpl* pImpl;//指针，含有Widget的数据};

如果置换两个Widget对象值，只需要置换其pImpl指针，那么效率就会很高。
那么怎样定义swap呢？
如下：

calss Widget{public:    ……    void swap(Widget& other)    {        using std::swap;//这个声明有必要        swap(pImpl, other.pImpl);    }    ……}；namespace std{    template<> //修订后的swap版本    void swap<Widget>(Widget& a, Widget& b)    {        a.swap(b);  //调用其成员函数    }}Widget w1,w2;swap(w1,w2);//调用名空间的全特化Widget版本的swap.

从上面的代码我们可以看出完成了我们的目的，实现两个WidgetImpl对象交换，只交换他们的指针。当然这里需要构造出一个交换类Widget，需要全特化Widget 类型的swap，需要在函数体内定义member函数swap。

那么，读者就迷茫了，绕了一大圈，怎么不直接调用成员函数swap，这是因为当你用swap(a,b)语句时,它会拥有自动合适匹配的功能。更适合客户使用，实现接口的一致性和简易性。

下面我们来介绍当两个类都是template，如何解决上面的问题？
如下：

template<typename T>class WidgetImpl{……};template<typename T>class Widget{……};

我们可以重新命名一个名空间如下：

namespace WidgetStuff{   ……//模板化的WidgetImpl等   template<typename T>//内含swap函数   class Widget{……};   ……   template<typename T>   void swap(Widget<T>& a,//non-member,不属于std命名空间             Widget<T>& b)   {       a.swap(b);   }}Widget<int> w1,w2;swap(w1,w2);//调用名空间WidgetStuff的Widget<int>版本的swap.