Effective C++ Item 45 运用成员函数模板接收所有兼容类型

本文为senlie原创，转载请保留此地址：http://blog.csdn.net/zhengsenlie

经验：请使用 member function templates(成员函数模板)生成"可接受所有兼容类型"的函数

示例：泛化 copy 构造函数

temmplate<typename T>
class SmartPtr{
public:
template<typename U>
SmartPtr(const SmartPtr<U> &other) //member template, 为了生成 copy 构造函数
： heldPtr(other.get()){...}
T *get() const {return heldPtr;}
//...
private:
T *heldPtr; //这个 SmartPtr 持有的内置指针
};

解析：

1.上面代码的意思是，对任何类型 T 和任何类型 U，这里可以根据 SmartPtr<U> 生成一个 SmartPtr<T>

2.未声明为 explicit 是因为原始指针类型之间的转换也是隐式转换的。

3.初始化 this 的 heldPtr 时只有在 U* 可以隐式转换为 T* 才能通过编译

经验：如果你声明 member templates 用于"泛化copy构造"或"泛化assignment操作"，你还是需要声明正常的copy 构造函数和 copy assignment 操作符

示例：

template<class T>
class shared_ptr{
public:
shared_ptr(shared_ptr const &r); //copy 构造函数
template<class Y> //泛化 copy 构造函数
shared_ptr(shared_ptr<Y> const &r);
shared_ptr &operator=(shared_ptr const &r); //copy assignment
temmplate<class Y> //泛化 copy assignment
shared_ptr &operator=(shared_ptr<Y> const &r);
};

解析：member templates 并不改变语言规则，而语言规则说，如果程序需要一个 copy 构造函数，你却没有声明它，编译器会为你暗自生成一个