1. 程式人生 > >C++記憶體越界問題及解決方法

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的生命期內,它所指向的物件不會被其它執行緒刪除。