Template和泛型编程——249
我们来构造一个成员函数模板:
template<typename T>
class SmartPtr{
public:
template<typename U>
SmartPtr(const SmartPtr<U>& other);
...
};
上面代码对人和类型T和任何类型U,这里可以根据SmartPtr生成一个SmartPtr。这一类构造函数根据对象u创建对象t,而u和t的类型是同一个template的不同具现体,有时我们称之为泛化copy构造函数。
成员函数模板效用同样可以用于“泛化assignment操作”,这里不再赘述,若有需要,请看原文。
总结——252
(1)请使用member function template(成员函数模板)生成“可接受所有兼容类型”的函数。
(2)如果你声明member template用于“泛化copy构造”或“泛化assignment操作”,你还是需要声明正常的copy构造函数和copy assignment操作符。