C++記憶體越界問題及解決方法
阿新 • • 發佈:2019-02-16
與記憶體洩露相比,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的生命期內,它所指向的物件不會被其它執行緒刪除。