Effective C++笔记_条款25考虑写出一个不抛出异常的swap函数

              1
            //
             lib中的swap
              2
            namespace
             std {

              3     template<typename T> 
  4void swap (T& a, T& b)
  5    {
  6        T temp(a);
  7         a = b;
  8         b = temp;
  9    }
 10}
 11 12// 缺点：需要赋值大量的数据,但是有的时候并不要复制如此多的内容 13class WidgetImpl {
 14public:
 15//... 16private:
 17int a, b, c;
 18     std::vector<double> v;     // 可能有很多数据，以为复制时间很长
 19//... 20};
 21 22class Widget {
 23public:
 24     Widget(const Widget& rhs);
 25     Widget& operator= (const Widget& rhs) 
 26    {
 27//... 28         *pImpl = *(rhs.pImpl);
 29//.... 30    }
 31private:
 32     WidgetImpl *pImpl;
 33};
 34 35// 对于上面这个实例来说，只需要交换指针就好了，没有必要进行全部的值的交换。
 36// 为了解决这个问题，需要将std::swap针对Widget特化。说白一点就是专门为Widget
 37// 设计一个swap函数
 38// 解决方案 39class Widget {
 40public:
 41     Widget(const Widget& rhs);
 42     Widget& operator= (const Widget& rhs) 
 43    {
 44//... 45         *pImpl = *(rhs.pImpl);
 46//.... 47    }
 48 49// 注意哟，重点到了.实现真正的置换工作 50void swap(Widget& other)
 51    {
 52using std::swap;
 53        swap(pImpl, other.pImpl);
 54    }
 55 56private:
 57     WidgetImpl *pImpl;
 58};
 59 60// 注意哟，下面是针对Widget类的特化swap，它调用Widget的swap函数 61namespace std {
 62     template<>       // 1.全特化 63void swap<Widget>(Widget& a, Widget& b)   // 2.表明这个swap函数专门给Widget特化的 64    {
 65        a.swap(b);
 66    }
 67}
 68 69// 面对class templates 又如何呢 70 template<typename T>
 71class WidgetImpl {
 72//... 73};
 74 75 template<typename T> 
 76class Widget {
 77//... 78};
 79 80/* 81 错误哟：C++只允许对class templates 偏特化，在function templates偏特化是行不通的
 82 客户可以全特化std内的templates(template<>),但是不可以添加新的templates(或classes
 83 或functions或其他任何东西)到std里头。
 84*/ 85namespace std {
 86     template<typename T>
 87void swap< Widget<T> > (Widget<T>& a, Widget<T>& b)
 88    {
 89        a.swap(b);     
 90    }
 91};
 92 93// ----- solution  ----- 94namespace WidgetStuff {
 95class WidgetImpl {
 96public:
 97//... 98private:
 99int a, b, c;
100         std::vector<double> v;     // 可能有很多数据，以为复制时间很长
101//...102    };
103104class Widget {
105public:
106         Widget(const Widget& rhs);
107         Widget& operator= (const Widget& rhs) 
108        {
109//...110             *pImpl = *(rhs.pImpl);
111//....112        }
113114// 注意哟，重点到了.实现真正的置换工作115void swap(Widget& other)
116        {
117using std::swap;
118            swap(pImpl, other.pImpl);
119        }
120121private:
122         WidgetImpl *pImpl;
123    };
124125     template<typename T>
126void swap(Widget<T>& a, Widget<T>& b)
127    {
128         a.swap(b);                   // 调用Widget中的swap函数129    }
130 }