EffectiveC++-条款45：运用成员函数模板接受所有兼容类型

一. 内容

1. 我们从例子入手，所谓智能指针（smart pointer），是行为像指针的对象，并提供指针没有的机能：自动管理资源。但原始指针（raw pointer）做的很好的一件事是：支持隐式转换（implicit conversions）。比如 derived class 指针可以隐式转换为 base class 指针，指向 non-const 的指针可以转换为 指向 const 的指针…

   而对于 template 具现的类，并不能很好的进行像原始指针一样的隐式转换，比如想把一个具现类转换为另一个具现类，这是不可以的，它们不存在像 derived-base 一样的关系，它们是完全不同的类。唯一的方式就是我们明确的编写构造函数。

2. 也许我们可以对于某个具现类，编写特定的构造函数去变成另一个具现类，但这存在一个问题。因为一个 template 可以被无限的具现，意味着我们要提供无限的构造函数。因此，更好的解决方法是：为它编写一个模板构造函数：

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

   这样对于任何类型 U，任何类型 T，都可以根据 Smart<U> 去生成 Smart<T>。 注意该函数未被声明为 explicit，因为隐式转换是我们期待的行为。

3. 但并不是所有的构造行为都是我们期望的，我们必须有能力对模板构造函数进行筛选和剔除。条款41提及的隐式接口是值得注意的，我们可以结合这点去进行约束。良好的接口设计可以避免不必要的构造，比如 shared_ptr的实现：

   template <typename T>
   class AutoPtr{};
   template <typename T>
   class WeakPtr{};
   
   template <typename T>
   class SharedPtr {
   public:
       template <typename Y>
       explicit SharedPtr(Y* InPointer);
       
       template <typename Y>
       explicit SharedPtr(SharedPtr<Y> const& InR);
       
       template <typename Y>
       explicit SharedPtr(WeakPtr<Y> const& InR);
       
       template <typename Y>
       explicit SharedPtr(AutoPtr<Y>& InR);
   
       template <typename Y>
       SharedPtr& operator=(SharedPtr<Y> const& InR);
   
       template <typename Y>
       SharedPtr& operator=(AutoPtr<Y>& InR);
   };
   

   明确指出了可以进行转换的类型，要比上个版本的转换函数安全且容易甄别错误。此外，还可以看出，模板函数还可以被用于赋值操作。

4. 提及构造函数，其实模板构造函数并不会影响语言规则，如果你的程序需要一个拷贝构造函数，而你却没有声明它。编译器依旧会为你生成一个。尽管你已经声明了模板构造函数，但那是只对泛化类型而言的，如果你对一个非泛化类型机型拷贝构造，模板函数就失去了作用。所以最好的方式是：同时提供模板构造函数和正常构造函数。

二. 总结

1. 请使用 member function templates（成员函数模板）生成可接受所有兼容类型的函数。
2. 如果你声明 member templates 用于泛化 copy 构造 或 泛化 assignment 操作，你还是需要声明正常的 copy 构造函数和 copy assignment 操作符。