C++new失敗的處理(如果 new 分配內存失敗,默認是拋出異常的,但也可以取消異常)

原文鏈接:https://www.cnblogs.com/findumars/p/10010543.html

我們都知道,使用 malloc/calloc 等分配內存的函數時,一定要檢查其返回值是否爲“空指針”(亦即檢查分配內存的操作是否成功),這是良好的編程習慣,也是編寫可靠程序所必需的。但是,如果你簡單地把這一招應用到 new 上,那可就不一定正確了。我經常看到類似這樣的代碼:

        int* p = new int[SIZE];
        if ( p == 0 ) // 檢查 p 是否空指針
            return -1;
        // 其它代碼

    其實,這裏的 if ( p == 0 ) 完全是沒啥意義的。C++ 裏,如果 new 分配內存失敗,默認是拋出異常的。所以,如果分配成功,p == 0 就絕對不會成立;而如果分配失敗了,也不會執行 if ( p == 0 ),因爲分配失敗時,new 就會拋出異常跳過後面的代碼。如果你想檢查 new 是否成功,應該捕捉異常:

        try {
            int* p = new int[SIZE];
            // 其它代碼
        } catch ( const bad_alloc& e ) {
            return -1;
        }

    據說一些老的編譯器裏,new 如果分配內存失敗,是不拋出異常的(大概是因爲那時 C++ 還沒加入異常機制),而是和 malloc 一樣,返回空指針。不過我從來都沒遇到過 new 返回空指針的情況。

    當然,標準 C++ 亦提供了一個方法來抑制 new 拋出異常,而返回空指針:

        int* p = new (std::nothrow) int; // 這樣如果 new 失敗了,就不會拋出異常,而是返回空指針
        if ( p == 0 ) // 如此這般,這個判斷就有意義了
            return -1;
        // 其它代碼

 

===============================詳解===================================

首先按c++標準的話,new失敗會拋出bad_alloc異常,但是有些編譯器對c++標準支持不是很好,比如vc++6.0中new失敗不會拋出異常,而返回0.

//不支持c++標準的做法如下

double *ptr=new double[1000000];

if( 0 == ptr)

……處理失敗……

 

//標準推薦做法一:

try

{

    double *ptr=new double[1000000];

}

catch(bad_alloc &memExp)

{

    //失敗以後,要麼abort要麼重分配

    cerr<<memExp.what()<<endl;

}

 

 

//標準推薦做法二:

是使用set_new_handler函數處理new失敗。它在頭文件<new>裏大致是象下面這樣定義的:

typedef void (*new_handler)();

new_handler set_new_handler(new_handler p) throw();

可以看到,new_handler是一個自定義的函數指針類型,它指向一個沒有輸入參數也沒有返回值的函數。set_new_handler則是一個輸入並返回new_handler類型的函數。

set_new_handler的輸入參數是operator new分配內存失敗時要調用的出錯處理函數的指針,返回值是set_new_handler沒調用之前就已經在起作用的舊的出錯處理函數的指針。

 

可以象下面這樣使用set_new_handler:

// function to call if operator new can't allocate enough memory

void nomorememory()

{

cerr << "unable to satisfy request for memory\n";

abort();

}

 

int main()

{

set_new_handler(nomorememory);

int *pbigdataarray = new int[100000000];

 

...

 

}

operator new不能滿足內存分配請求時,new-handler函數不只調用一次,而是不斷重複,直至找到足夠的內存。實現重複調用的代碼在條款8裏可以看到,這裏我用描述性的的語言來說明:一個設計得好的new-handler函數必須實現下面功能中的一種。

    ·產生更多的可用內存。這將使operator new下一次分配內存的嘗試有可能獲得成功。實施這一策略的一個方法是:在程序啓動時分配一個大的內存塊,然後在第一次調用new-handler時釋放。釋放時伴隨着一些對用戶的警告信息,如內存數量太少,下次請求可能會失敗,除非又有更多的可用空間。

    ·安裝另一個不同的new-handler函數。如果當前的new-handler函數不能產生更多的可用內存,可能它會知道另一個new-handler函數可以提供更多的資源。這樣的話,當前的new-handler可以安裝另一個new-handler來取代它(通過調用set_new_handler)。下一次operator new調用new-handler時,會使用最近安裝的那個。(這一策略的另一個變通辦法是讓new-handler可以改變它自己的運行行爲,那麼下次調用時,它將做不同的事。方法是使new-handler可以修改那些影響它自身行爲的靜態或全局數據。)

    ·卸除new-handler。也就是傳遞空指針給set_new_handler。沒有安裝new-handler,operator new分配內存不成功時就會拋出一個標準的std::bad_alloc類型的異常。

    ·拋出std::bad_alloc或從std::bad_alloc繼承的其他類型的異常。這樣的異常不會被operator new捕捉,所以它們會被送到最初進行內存請求的地方。(拋出別的不同類型的異常會違反operator new異常規範。規範中的缺省行爲是調用abort,所以new-handler要拋出一個異常時,一定要確信它是從std::bad_alloc繼承來的。想更多地瞭解異常規範)

    ·沒有返回。典型做法是調用abort或exit。abort/exit可以在標準c庫中找到(還有標準c++庫)。

 

上面的選擇給了你實現new-handler函數極大的靈活性。

更多知識請參考《Effective c++》

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章