与内存泄露相比,C++最令人头痛的问题是内存越界,而内存越界很多情况下是由于悬挂指针引起的。
假设一个指针变量:
Object*ptr;
使用ptr时,我们除了要判断ptr是否为0以外,还要怀疑它指向的对象是否有效,是不是已经在别的地方被销毁了。我们希望当它指向的对象被销毁时,ptr被自动置为0.
显然,C++没有这种机制,但是,可以借助于boost::weak_ptr做到这一点。
inlinevoidnull_deleter(voidconst*) { } classX { private: shared_ptr<X>this_; inti_; public: explicitX(inti):this_(this,&null_deleter),i_(i) { } X(Xconst&rhs):this_(this,&null_deleter),i_(rhs.i_) { } X&operator=(Xconst&rhs) { i_=rhs.i_; } weak_ptr<X>weak_this()const{returnthis_;} }; |
定义变量:
weak_ptr<X>ptr=x.weak_this(); //x为一个X对象
则当x被销毁时,ptr被自动置为无效。使用方法如下:
if(shard_ptr<X> safePtr =ptr.lock()) safePtr->do_something();
这种办法用于单线程中,因为x 对象可能是基于栈分配的。如果需要在多线程中访问X对象,那么最好的办法还是使用shared_ptr来管理对象的生命期。这样的话,对于safePtr,可以保证在safePtr的生命期内,它所指向的对象不会被其它线程删除。