我們都知道,使用 malloc/calloc 等分配內存的函數時,一定要檢查其返回值是否為“空指針”(亦即檢查分配內存的操作是否成功),這是良好的編程習慣,也是編寫可靠程序所必需的。但是,如果你簡單地把這一招應用到 new 上,那可就不一定正確了。我經??吹筋愃七@樣的代碼: int* p = new int[SIZE]; 其實,這里的 if ( p == 0 ) 完全是沒啥意義的。C++ 里,如果 new 分配內存失敗,默認是拋出異常的。所以,如果分配成功,p == 0 就絕對不會成立;而如果分配失敗了,也不會執行 if ( p == 0 ),因為分配失敗時,new 就會拋出異常跳過后面的代碼。如果你想檢查 new 是否成功,應該捕捉異常: try { 據說一些老的編譯器里,new 如果分配內存失敗,是不拋出異常的(大概是因為那時 C++ 還沒加入異常機制),而是和 malloc 一樣,返回空指針。不過我從來都沒遇到過 new 返回空指針的情況。 當然,標準 C++ 亦提供了一個方法來抑制 new 拋出異常,而返回空指針: int* p = new (std::nothrow) int; // 這樣如果 new 失敗了,就不會拋出異常,而是返回空指針 ===============================詳解=================================== 首先按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++》 |
隨筆分類(224)
收藏夾(13)
狡兔多窟
收藏博客
- 開源C++ Web應用服務器中間件(國內開源項目)
- c++,web,lua,管理 等
- 知其然,知其所以然。熱愛IT技術,分享科技生活。專注于分布式、互聯網、游戲的開發技術。 無聊夢見憂郁,找到理想不太易,理想有日達成,找到心底夢想的世界。BEYOND!
- 關注C++,3D技術,游戲開發,移動開發(iPhone/iPad,Android等)
- 網絡編程技術,VA破解實時發布
- ios 開發
- 游戲開發 Flash Scaleform GFx C++
- VS2010 ,TFS2010
- iphone 開發