条款45：运用成员函数模板结合艘所有的兼容类型

首先看看下面的真实的指针与模板创建的智能指针之间的区别：

class Top{...};
class Middle : public Top{...};
class Bottom : public Middle{...};
Top * p1 = new Bottom();
Top * p2 = new Middle();
const Top * cp2 = p1;     //ok，没有问题，指针与实际所指之物之间确实是有关系的

但是：

template<typename T>
class SmartPtr{
public:
    explicit SmartPtr(T * ptr);
    ...
};
SmartPtr<Top> pt1 = SmartPtr<Middle>(new Middle);
SmartPtr<Top> pt2 = SmartPtr<Bottom>(new Bottom);
SmartPtr<const Top> cp2 = pt1;

这里的等式左右两边的真正实际并没有任何的关系，只是同一个模板实例化出来的不同模板实例而已。

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

上面这个SmartPtr的构造函数并非是explicit的，因为默认的指针之间可以隐式的相互转换，所以将这点引申到智能指针之上也是无可厚非的。

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;
};

在这种情况下，上面的那个构造函数的定义的意思：存在某个隐式的转换关系，可以将U类型的指针转换成T类型的指针才可以，这正好符合我们想将一个继承体系里面的指针相互转换的这种行为。

 

小结：

    请使用member function templates 生成，可接受所有兼容类型的函数

    对member function template 如果要定义拷贝构造函数以及拷贝赋值运算符（template版本）的话，那么也应该定义一般的构造函数与拷贝赋值运算符（非template版本）。