起:
C++98标准加入auto_ptr,即智能指针,C++11加入shared_ptr和weak_ptr两种智能指针,先从auto_ptr的定义学习一下auto_ptr的用法。
template<class _Ty>
class auto_ptr
{ //
wrap an object pointer to ensure destruction
public:
//定义_Myt类型,作用域局限于类中,便于书写和理解
typedef auto_ptr<_Ty>
_Myt;
typedef _Ty element_type;
//显式调用构造函数,对类型进行检查并构造一个_Ty类型的指针
//未定义默认构造函数
explicit auto_ptr(_Ty *_Ptr = 0)
_THROW0()
: _Myptr(_Ptr)
{ //
construct from object pointer
}
//定义了复制构造函数,稍微有些奇特的复制构造函数,构造了this以后,_Right就会变成一个_Myt类型的NULL指针,这点须谨记,具体参见release的定义。
//上面即所有权转移,同一个指针在多个auto_ptr对象之间只会存在一份所有权,可以避免析构的重复delete错误。
auto_ptr(_Myt& _Right)
_THROW0()
: _Myptr(_Right.release())
{ //
construct by assuming pointer from _Right auto_ptr
}
//通过auto_ptr_ref结构体来构造智能指针,所有权转移
auto_ptr(auto_ptr_ref<_Ty>
_Right) _THROW0()
{ //
construct by assuming pointer from _Right auto_ptr_ref
_Ty *_Ptr = _Right._Ref;
_Right._Ref = 0; //
release old
_Myptr = _Ptr; //
reset this
}
//不是很理解,希望大神指点一下,我的理解是将类型可以隐式转换的指针
template<class _Other>
operator auto_ptr<_Other>()
_THROW0()
{ //
convert to compatible auto_ptr
return
(auto_ptr<_Other>(*this));
}
template<class _Other>
operator
auto_ptr_ref<_Other>() _THROW0()
{ //
convert to compatible auto_ptr_ref
_Other *_Cvtptr = _Myptr; // test implicit conversion
auto_ptr_ref<_Other>
_Ans(_Cvtptr);
_Myptr = 0; //
pass ownership to auto_ptr_ref
return (_Ans);
}
//赋值操作符=的重载函数之一:独占新指针的所有权并delete当前拥有的指针
template<class _Other>
_Myt&
operator=(auto_ptr<_Other>& _Right) _THROW0()
{ //
assign compatible _Right (assume pointer)
reset(_Right.release());
return (*this);
}
template<class _Other>
auto_ptr(auto_ptr<_Other>&
_Right) _THROW0()
: _Myptr(_Right.release())
{ //
construct by assuming pointer from _Right
}
//赋值操作符=的重载之一:独占新指针的所有权并delete当前拥有的指针
_Myt& operator=(_Myt&
_Right) _THROW0()
{ //
assign compatible _Right (assume pointer)
reset(_Right.release());
return (*this);
}
//赋值操作符=的重载之一:独占新指针的所有权并delete当前拥有的指针
_Myt&
operator=(auto_ptr_ref<_Ty> _Right) _THROW0()
{ //
assign compatible _Right._Ref (assume pointer)
_Ty *_Ptr = _Right._Ref;
_Right._Ref = 0; //
release old
reset(_Ptr); //
set new
return (*this);
}
//析构删除当前指向的资源,用的delete而非delete
[],所以只能用来删除单个抽象数据对象,不能删除数组,需要关注,指向的对象应该是用new构造出来的,而不是new []构造的。
~auto_ptr() _NOEXCEPT
{ //
destroy the object
delete _Myptr;
}
//重载*操作符,返回指向的对象
_Ty& operator*() const
_THROW0()
{ //
return designated value
#if _ITERATOR_DEBUG_LEVEL == 2
if (_Myptr == 0)
_DEBUG_ERROR("auto_ptr not
dereferencable");
#endif /* _ITERATOR_DEBUG_LEVEL == 2 */
return (*get());
}
//重载操作符->,内部调用get()方法
_Ty *operator->() const
_THROW0()
{ //
return pointer to class object
#if _ITERATOR_DEBUG_LEVEL == 2
if (_Myptr == 0)
_DEBUG_ERROR("auto_ptr not
dereferencable");
#endif /* _ITERATOR_DEBUG_LEVEL == 2 */
return (get());
}
//返回指向资源的指针
_Ty *get() const _THROW0()
{ //
return wrapped pointer
return (_Myptr);
}
//将this指针指向NULL,并返回指向资源的指针
_Ty *release() _THROW0()
{ //
return wrapped pointer and give up ownership
_Ty *_Tmp = _Myptr;
_Myptr = 0;
return (_Tmp);
}
//delete已拥有的指针并获取新的指针所有权,reset使用时候要注意这一点
void reset(_Ty *_Ptr = 0)
{ //
destroy designated object and store new pointer
if (_Ptr != _Myptr)
delete _Myptr;
_Myptr = _Ptr;
}
private:
_Ty *_Myptr; //
the wrapped object pointer
};
学习小结:
1. 每一个auto_ptr都是一个ADT对象,auto_ptr应当被定义成局部或临时变量,以便自动析构拥有的指针。
2. auto_ptr中很重要的一个理念就是所有权转移,所有权转移就是auto_ptr会接管赋给他们的指针的所有权,以后这个指针有且仅有一个auto_ptr拥有。复制构造和赋值操作都会接管指针的所有权。
3. 从整个设计理念看,get()和release()提供了某些灵活性的同时破坏了概念的一致性,使用不当会导致某些错误,所有权不再由唯一的auto_ptr具有,要少用这两个接口。
4. auto_ptr适用于管理new出来的指针,不适用new[]出来的指针,也不要用auto_ptr指向静态分配对象的指针。
5. auto_ptr不满足STL容器的基本要求,因为auto_ptr的复制操作是所有权的转移,而不是所有权的拷贝,不要试图用容器来容纳auto_ptr,也不适用sort等内部会对元素进行拷贝的函数。
6. auto_ptr提供的接口列表:显式构造函数、复制构造函数的各个重载版本、赋值操作符的各个重载版本、操作符*、操作符->、release()、get()、reset()。
后记:
学习boost,认为boost中的一种与auto_ptr极其类似的智能指针scoped_ptr的设计是不错的,auto_ptr的所有权可以转移,同一时间只有一个auto_ptr可以管理指针,但还是具有一定的危险性,而scoped_ptr把拷贝构造函数和赋值函数全都私有化,保证了指针的绝对安全,从概念上保持了完整性,大多数时候是一种更好的选择。