C++内存越界问题及办理要领

与内存泄露对比，C++最令人头痛的问题是内存越界，而内存越界许多环境下是由于悬挂指针引起的。

假设一个指针变量：

Object * ptr;

利用ptr时，我们除了要判定ptr是否为0以外，还要猜疑它指向的工具是否有效，是不是已经在此外处所被销毁了。我们但愿当它指向的工具被销毁时，ptr被自动置为0。

显然，C++没有这种机制，可是，可以借助于boost::weak_ptr做到这一点。

inline void null_deleter(void const *)
{
}
class X
{
private:
    shared_ptr<X> this_;
    int i_;
public:
    explicit X(int i): this_(this, &null_deleter), i_(i)
    {
    }
    X(X const & rhs): this_(this, &null_deleter), i_(rhs.i_)
    {
    }
    X & operator=(X const & rhs)
    {
        i_ = rhs.i_;
    }
    weak_ptr<X> weak_this() const { return this_; }
};

界说变量：

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的生命期内，它所指向的工具不会被其它线程删除。