EffictiveC++

浅谈智能指针

所谓智能指针是“行为像指针的对象”，并提供指针没有的技能。STL迭代器几乎总是智能指针：你不会奢望使用“++”将一个内置指针从Linked list的某个节点移到另一个节点，但是在list:iterator身上办得到。
真实指针做的很好的一件事是，支持隐式转换，派生类指针可以隐式转换为基类指针，非const类型转换为const等等，下面是发生于三层继承类型的一些转换。

class Top{...};
class Middle:public Top{ ... };
class Bottom:public Middle{ ... };

Top* pt1 = new Middle; // Middle* 转化为 Top*
Top* pt2 = new Bottom; // Bottom* 转化为 Top*
const Top* pt2 = pt1;  // Top* 转化为const Top*

但是如果用户想在自定义智能指针中模拟上述转换，稍微有点麻烦，我们可能会写出下面的代码

template<typename T>
class SmartPtr
{
public:
    explicit SnartPtr(T* realPtr);
    ...
}

SmartPtr<Top> pt1 = SmartPtr<Middle>(new Middle);

SmartPtr<Top> pt2 = SmartPtr<Bottom>(new Bottom);

SmartPtr<const Top> pt2 = pt1;

但是同一个template的不同具现体之间并不存在与生俱来的故有关系。因此为了获得我们希望的SmartPtr classes之间的转换能力，我们必须将他们明确的编写出来。

Template 和 泛型编程

在上述智能指针实例中，每一个语句创建了一个新式智能指针对象，所以现在我们应该关注如何编写智能指针的构造函数，使其行为能够满足我们的转型需要，考虑到上述继承体系未来有所扩充，Smart对象又必须能根据其他对象构造自己。因此我们需要的似乎不是为SmartPtr写一个构造函数，二是为他写一个构造模板，这样的模板是所谓“functions templates”,其作用是为class生成函数

template<typename T>
class SmartPtr
{
public:
    template<typename U>                //member template
    SmartPtr(const SmartPtr<U>& other); //为了生成copy构造函数
}

以上代码的意思是，对任何类型T 和 任何类型U，这里可以根据SmartPtr < U>生成一个 SmartPtr < T>,因为SmartPtr < T>有个构造函数接受一个SmartPtr < U>，这一类构造函数根据对象u创建对象t, 而u和v的类型是同一个template的不同实现体，有时我们称之为 泛化copy构造函数。
上面的泛化copy构造函数并未被声明为explicit，那是有意为之，因为原始指针之间的转换是隐式转换，无需明白写出转型动作，所以让智能指针仿效这种行径也属合理。

完成声明之后，这个为SmartPtr编写的 “泛化copy构造函数”提供的东西比我们需要的更多，是的。我们希望根据一个SmartPtr < Botton>创建一个SmartPtr < Top>，却不希望一个 SmartPtr < Top>创建一个SmartPtr < Botton>，这对于public继承而言是矛盾的。我们也不希望根据一个SmartPtr< int>创建一个SmartPtr< double>，因此我们必须从某一方面对这一member template创建的成员函数群进行拣选和筛除。

假设SmartPtr遵循 auto_ptr 和 tr1::shared_ptr所提供的，也提供一个get函数，那么我们可以在嗲马忠约束转换行为，使其符合我们的期望。

template<typename T>
class SmartPtr
{
public:
template<typename U>
SmartPtr(const SmartPtr<U>& other)
    :heldPtr(other.get()){ ... }
T* get()const  {return heldPtr; }
...

private:
    T* heldPtr;
}

我们使用成员初值列来初始化Smart< T>类型为T*的成员变量，并以类型U*的指针（由SmartPtr< U>持有）作为初值，这个行为只有当“某个隐式转换可将一个U*指针转化为T*指针”时才能通过编译”,这正是我们想要的。最终效益是:SmartPtr< T>拥有了一个泛化的copy构造函数，这个构造函数只有在其所获得的实参隶属适当类型时才会通过编译。