首页 > 代码库 > Effective C++ Item 45 运用成员函数模板接收所有兼容类型

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