条款25：考虑写出一个不抛异常的 swap 函数

Consider support for a non-throwing swap.

class template 偏特化

所谓置换两个对象值，就是将两个对象的值赋予彼此，在缺省情况下，swap 动作可由标准库提供的算法完成：

namespace std {
    template<typename T>
    void swap(T& a, T& b) {
        T temp(a);
        a = b;
        b = temp;
    }
}

只要 T 类型支持 copying（通过 copy 构造函数和 copy assignment 操作符完成），就可以使用标准库提供的 swap 算法。但是对某些类型而言，复制操作的代价很大，例如“以指针指向一个对象，内含真正数据”的类型：

class WidgetImpl {
private:
    int a, b, c;
    std::vector<double> v;    // 可能要复制很长时间；
};

class Widget {
public:
    Widget(const Widget& rhs) {
        ...
        *pImpl = *(rhs.pImpl);
    }
    ...
private:
    WidgetImpl* pImpl;
};

对于这种类型的置换操作，只需要置换 pImpl 的值即可，无需将整个对象拷贝。而实践这一思路的唯一做法是：将 std::swap 针对 Widget 特化：

class Widget {
public:
    ...
    void swap(Widget& other) {
        std::swap(pImpl, other.pImpl);    // 这里使用标准库的 swap；
    }
};

namespace std {
    template<>
    void swap<Widget>(Widget& a, Widget& b) {
        a.swap(b);
    }
}

function template 偏特化

假设 Widget 和 WidgetImpl 都是 class template，这时以下的写法会企图偏特化一个 function template，但 C++ 只允许对 class template 偏特化：

namespace std {
    template<typename T>
    void swap< Widget<T> >(Widget<T>& a, Widget<T>& b);
}

所以想要偏特化一个 function template 的惯用做法是添加一个重载版：

namespace WidgetStuff {
    template<T>
    void swap(Widget<T>& a, Widget<T>& b) {
        a.swap(b);
    }
}

一般而言，重载 function template 时要注意命名空间，std 的内容完全由 C++ 标准委员会决定，它禁止我们膨胀哪些已经声明好的东西。