本文为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 构造函数,你却没有声明它,编译器会为你暗自生成一个