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

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

影響 vc++ handler 出錯 for 有意義 全局 靈活性 arr

我們都知道,使用 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++》

https://blog.csdn.net/water_cow/article/details/20938075

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