真实指针支持隐式转换:1)Derived class指针可以隐式转换为Base class指针;2)"指向non-const对象"的指针可以转换成"指向const对象"的指针。
智能指针:必须编写一个成员函数模板。因为我们无法写出所有的智能指针的构造函数,一旦Derived体系有新的补充就又要根据其他智能指针构造自己,实在太多了,根本不能写完。
因为一个template可以被无限量具现化,以至于生成无限量函数,所以我们不写构造函数,而是写一个构造模板,称为成员函数模板。
成员函数模板:
根据自己的理解,我认为成员函数模板其实就是放在class里面的函数模板。
如果声明member template用于"泛化copy构造"或"泛化assignment操作",你还是需要声明正常的copy构造函数和copy assignment操作符。
什么叫泛化构造函数呢?
templateclassshared_ptr{public:template explicit shared_ptr(Y* p);template shared_ptr(shared_ptr const& r); //泛化copy构造函数template explicit shared_ptr(weak_ptr const& r);template explicit shared_ptr(auto_ptr const& r);template shared_ptr& operator=(shared_ptr const& r); //赋值template shared_ptr& operator=(auto_ptr const& r);……};
当T和Y类型一样时,泛化copy构造函数就是普通的copy构造函数了。