effective c++:写出一个不抛出异常的swap函数

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

假设Widget和WidgetImpl都是class:

class WidgetImpl{					//针对Widget数据而设计的class
public:
　　...
private:
　　int a,b,c;						//可能很多数据
　　std::vector<double>v;				//意味复制时间很长
};

当Widget被置换时真正该做的是置换内部指针，可以将std::swap针对Widget特化。

class Wigdet{						//这个class使用pimpl手法
public:
　　Widget(const Widget& rhs);
　　void swap(Widget& other){
　　using std::swap;
　　swap(pImpl,other.pImpl);
　　}
private:
　　WidgetImpl* pImpl;				//指针，所含对象内含WIdget数据
};

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

这种做法与stl容器有一致性。

假设Widget和WidgetImpl都是class template:

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

此不合法，企图偏特化一个function template，c++只允许对class template偏特化。也不允许添加新的template到std里头。

改进：

namespace WidgetStuff{
　　...
　　template<typename T>
　　class Widget{};						//同前，内含swap成员函数
　　...
　　template<typename T>
　　void swap(Widget<T>& a,Widget<T>& b){
　　a.swap(b);
　　}
}

template<typename T>
void doSomething(T& obj1,T& obj2){
　　using std::swap;			//令std::swap在此函数可用
　　...
　　swap(obj1,obj2);			//为T型对象调用最佳swap版本
　　...
}