scoped_ptr是一个行为很类似标准库中的auto_ptr智能指针,它包装了new操作符在椎上分配的动态对象,能够保证动态创建的对象在任何时候都能够被正确的删除。
但是scoped_ptr的所有权更加严格,不允许转让,对其赋值和拷贝都是不合法行为,因而显得更轻巧和快捷。
scoped_ptr重载了operator*()和operator->()解引用操作符*和箭头操作符->,因此可以把scoped_ptr对象如同指针一样使用。如果scoped_ptr保存的空指针,那么这两个操作的行为未定义。
scoped_ptr不能在两个scoped_ptr之间、scoped_ptr与原始指针之间或空指针之间进行了相等或不相等测试。operator ==和operator !=都被声明为私有。
下面是scoped_ptr类摘要
template<class T> class scoped_ptr // noncopyable
{
private:
T * px;
scoped_ptr(scoped_ptr const &);
scoped_ptr & operator=(scoped_ptr const &);
typedef scoped_ptr<T> this_type;
void operator==( scoped_ptr const& ) const;
void operator!=( scoped_ptr const& ) const;
public:
typedef T element_type;
explicit scoped_ptr( T * p = 0 ); // never throws
explicit scoped_ptr( std::auto_ptr<T> p ); // never throws
~scoped_ptr() // never throws在其作用域结束时自动删除保存的指针对象,从而正确地回收资源
void reset(T * p = 0) // never throws删除原来保存的指针,再保存新的指针p,如果p是空指针,那scoped_ptr将不持有任何指针
{
BOOST_ASSERT( p == 0 || p != px ); // catch self-reset errors
this_type(p).swap(*this);
}
T & operator*() const // never throws
{
BOOST_ASSERT( px != 0 );
return *px;
}
T * operator->() const // never throws
{
BOOST_ASSERT( px != 0 );
return px;
}
T * get() const // never throws返回scoped_ptr内部保存的原始指针
{
return px;
}
void swap(scoped_ptr & b);// never throws交换两个scoped_ptr保存的原始指针
};
scoped_ptr有两个好处:一是使代码更加清晰简单,而简单意味着更少的错误。二是它并没有增加多余的操作,安全的同时保证效率,可以获得与原始指针同样的速度。
使用范例:
#include <iostream>
#include <string>
#include <boost/smart_ptr.hpp>
using namespace boost;
using namespace std;
struct posix_file{
posix_file(const char* file_name){
cout << "Open file:" << file_name << endl;
}
~posix_file(){cout << "close file" << endl;}
};
int main(){
/*
//note:Don't try to use 'delete' again,
//scoped_ptr help us destory resource automatically
//scoped_ptr is a pointer-behavior-like object,but it isn't a pointer
//Even if you use 'delete' it wouldn't work
//scoped_ptr do not support assignment and copy
//it can only use operator * and -> ,sp++ ,sp = sp2.etc. are illegal usage here
*/
/*exmple1*/
scoped_ptr<string> sp(new string("Hello,ajioy!"));
cout << *sp << endl;
cout << sp->size() << endl;
/*exmaple2*/
scoped_ptr<int> p(new int);//equal int *p;
if(p){ //test p is valid
*p = 100;
cout << *p << endl;
}
p.reset();//make p null
assert(p == 0);
if(!p)
{cout << "scoped_ptr == null" << endl;}
scoped_ptr<posix_file> fp(new posix_file("/tmp/a.txt"));
//destructor scoped_ptr here
//p and fp are deleted automatically
}
运行结果:
Hello,ajioy!
12
100
scoped_ptr == null
Open file:/tmp/a.txt
close file
与auto_ptr的区别
两者的根本性区别在于指针的所有权。auto_ptr特意被设计成可以移交所有权的,而scoped_ptr刚好相反。
scoped_ptr明确地表明了代码原始者的意图:只能在定义的作用域内使用,不可转让。
scoped_ptr在大多情况下可以与auto_ptr互换,且可以从一个auto_ptr获得指针的所有权(同时auto_ptr失去管理权)。
两者均有缺陷,都不能作为容器的元素,不过原因不同:auto_ptr是因为它的转移语义,而scoped_ptr是因为不支持拷贝和赋值,不符合容器对元素类型的要求。
使用示例:
#include <iostream>
#include <boost/smart_ptr.hpp>
using namespace boost;
using namespace std;
int main(){
auto_ptr<int> ap(new int(10));
scoped_ptr<int> sp(ap);//get original pointer from auto_ptr
assert(ap.get() == 0);//The original auto_ptr no longer owns the pointer
ap.reset(new int(20));//auto_ptr holds a new pointer
cout << *ap << "," << *sp << endl;
auto_ptr<int> ap2;
ap2 = ap;//ap2 gets the orginal pointer from ap,transfer ownership
assert(ap.get() == 0);//ap no longer owns a pointer
scoped_ptr<int> sp2;
// sp2 = sp; it won't compile
}
运行结果:
20,10