More Effective C++ 读书摘要（auto_ptr的一个实现）

下面是两个auot_ptr的实现。第一个版本文档化了类的接口并在类的定义体外面实现了所有的成员函数。第二个版本将所有的成员函数都实现在定义体内了。

 

在风格上，第二个实现不如第一个，因为它没有将类的接口从实现中分离出来。但是auto_ptr只是一个简单的类，所以第二个实现比第一个清晰得多。

这是把auto_ptr的接口和实现分开的版本：
template<class T> class auto_ptr { public: explicit auto_ptr(T *p = 0); // Item M5 有“explicitfor” // 的描述 template<class U> // 拷贝构造函数成员模板 auto_ptr(auto_ptr<U>& rhs); // （见Item M28）： // 用另一个类型兼容的 // auto_ptr对象 // 初始化一个新的auto_ptr对象 ~auto_ptr(); template<class U> // 赋值操作成员模板 auto_ptr<T>& // （见Item M28）： operator=(auto_ptr<U>& rhs); // 用另一个类型兼容的 // auto_ptr对象给它赋值 T& operator*() const; // 见Item M28 T* operator->() const; // 见Item M28 T* get() const; // 返回包容指针的 // 当前值 T* release(); // 放弃包容指针的 // 所有权， // 并返回其当前值 void reset(T *p = 0); // 删除包容指针， // 获得指针p的所有权 private: T *pointee; template<class U> // 让所有的auto_ptr类 friend class auto_ptr<U>; // 成为友元 }; template<class T> inline auto_ptr<T>::auto_ptr(T *p) : pointee(p) {} template<class T> inline auto_ptr<T>::auto_ptr(auto_ptr<U>& rhs) : pointee(rhs.release()) {} template<class T> inline auto_ptr<T>::~auto_ptr() { delete pointee; } template<class T> template<class U> inline auto_ptr<T>& auto_ptr<T>::operator=(auto_ptr<U>& rhs) { if (this != &rhs) reset(rhs.release()); return *this; } template<class T> inline T& auto_ptr<T>::operator*() const { return *pointee; } template<class T> inline T* auto_ptr<T>::operator->() const { return pointee; } template<class T> inline T* auto_ptr<T>::get() const { return pointee; } template<class T> inline T* auto_ptr<T>::release() { T *oldPointee = pointee; pointee = 0; return oldPointee; } template<class T> inline void auto_ptr<T>::reset(T *p) { if (pointee != p) { delete pointee; pointee = p; } }

下面是将所有函数定义在类定义体内的auto_ptr模板。如你所见，它容易看懂：

template<class T> class auto_ptr { public: explicit auto_ptr(T *p = 0): pointee(p) {} template<class U> auto_ptr(auto_ptr<U>& rhs): pointee(rhs.release()) {} ~auto_ptr() { delete pointee; } template<class U> auto_ptr<T>& operator=(auto_ptr<U>& rhs) { if (this != &rhs) reset(rhs.release()); return *this; } T& operator*() const { return *pointee; } T* operator->() const { return pointee; } T* get() const { return pointee; } T* release() { T *oldPointee = pointee; pointee = 0; return oldPointee; } void reset(T *p = 0) { if (pointee != p) { delete pointee; pointee = p; } } private: T *pointee; template<class U> friend class auto_ptr<U>; };

如果你所用的编译器还不支持“explicit”，可以安全地用#define取消它的存在：
#define explicit
这不会造成auto_ptr的任何功能减弱，但导致轻微的安全性减弱。详见Item M5。