關于 C++ new一些失敗情況與處理

Copyright @Copy+Joel at 2017.07.23 08:00 a.m in Shenzhen.China. LIST- TE- E11 -03

使用 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++庫)。

***
The sharing of knowledge, the spirit of encouragement.
By Joel Jiang (江東敏)
最后編輯于
?著作權歸作者所有,轉載或內容合作請聯系作者
平臺聲明:文章內容(如有圖片或視頻亦包括在內)由作者上傳并發布,文章內容僅代表作者本人觀點,簡書系信息發布平臺,僅提供信息存儲服務。

推薦閱讀更多精彩內容