为什么在auto_ptr中有模板复制构造函数和覆盖运算符函数?
C ++的ISO标准为auto_ptr指定了以下接口。 (这是直接从2003年标准中复制的。)
namespace std {
template <class Y> struct auto_ptr_ref {};
template<class X> class auto_ptr {
public:
typedef X element_type;
// 20.4.5.1 construct/copy/destroy:
explicit auto_ptr(X* p =0) throw();
auto_ptr(auto_ptr&) throw();
template<class Y> auto_ptr(auto_ptr<Y>&) throw();
auto_ptr& operator=(auto_ptr&) throw();
template<class Y> auto_ptr& operator=(auto_ptr<Y>&) throw();
auto_ptr& operator=(auto_ptr_ref<X> r) throw();
~auto_ptr() throw();
// 20.4.5.2 members:
X& operator*() const throw();
X* operator->() const throw();
X* get() const throw();
X* release() throw();
void reset(X* p =0) throw();
// 20.4.5.3 conversions:
auto_ptr(auto_ptr_ref<X>) throw();
template<class Y> operator auto_ptr_ref<Y>() throw();
template<class Y> operator auto_ptr<Y>() throw();
};
为什么会有:
template<class Y> auto_ptr(auto_ptr<Y>&) throw();
我认为只有auto_ptr(auto_ptr&) throw();
确定。
答案 0 :(得分:7)
使用模板复制构造函数,我们可以通过auto_ptr
一个初始化Base
类类型的Derived
。没有它auto_ptr<Base>
和auto_ptr<Derived>
是完全不相关的类型。
struct Base {};
struct Derived : Base {};
auto_ptr<Derived> d(new Derived);
auto_ptr<Base> b = d;