C++ 支持使用 new 和 delete 運算符動態分配和釋放對象。這些運算符為來自稱為“自由存儲”的池中的對象分配內存。 new 運算符調用特殊函數 operator new,delete 運算符調用特殊函數 operator delete。
在 Visual C++ .NET 2002 中,標準 C++ 庫中的 new 功能將支持 C++ 標準中指定的行為,如果內存分配失敗,則會引發 std::bad_alloc 異常。
如果內存分配失敗,C 運行庫的 new 函數也將引發 std::bad_alloc 異常。
如果您仍需要 C 運行庫的 new 的非引發版本,請將您的程序鏈接到 nothrownew.obj。但是,當您鏈接到 nothrownew.obj 時,標準 C++ 庫中的 new 將不再起作用。
調用 new 運算符
在程序中遇到以下語句時,它將轉換為對函數 operator new 的調用:
char *pch = new char[BUFFER_SIZE];
如果請求針對零字節存儲,operator new 將返回一個指向不同的對象的指針(即對 operator new 的重復調用將返回不同的指針)。如果分配請求沒有足夠的內存,則 operator new 將返回 NULL 或引發異常(有關詳細信息,請參閱 )。
可以編寫嘗試釋放內存的例程并重試分配;有關詳細信息,請參閱 _set_new_handler。有關恢復方案的更多詳細信息,請參閱以下主題:處理內存不足的情況。
下表中描述了 operator new 函數的兩個范圍。
operator new 函數的范圍
運算符 | 范圍 |
---|---|
::operator new | 全局 |
class-name ::operator new | 類 |
operator new 的第一個參數的類型必須為 size_t(STDDEF.H 中定義的類型),并且返回類型始終為 void *。
在使用 new 運算符分配內置類型的對象、不包含用戶定義的 operator new 函數的類類型的對象和任何類型的數組時,將調用全局 operator new 函數。在使用 new 運算符分配類類型的對象時(其中定義了 operator new),將調用該類的 operator new。
為類定義的 operator new 函數是靜態成員函數(因此,它不能是虛函數),該函數隱藏此類類型的對象的全局 operator new 函數??紤] new 用于分配內存并將內存設為給定值的情況:
// spec1_the_operator_new_function1.cpp#include <malloc.h>#include <memory.h>class Blanks{public: Blanks(){} void *operator new( size_t stAllocateBlock, char chInit );};void *Blanks::operator new( size_t stAllocateBlock, char chInit ){ void *pvTemp = malloc( stAllocateBlock ); if( pvTemp != 0 ) memset( pvTemp, chInit, stAllocateBlock ); return pvTemp;}// For discrete objects of type Blanks, the global operator new function// is hidden. Therefore, the following code allocates an object of type// Blanks and initializes it to 0xa5int main(){ Blanks *a5 = new(0xa5) Blanks; return a5 != 0;}
用括號包含的提供給 new 的參數將作為 Blanks::operator new 參數傳遞給 chInit。但是,全局 operator new 函數將被隱藏,從而導致以下代碼生成錯誤:
Blanks *SomeBlanks = new Blanks;
在 Visual C++ 5.0 和早期版本中,使用 new 運算符分配的非類類型和所有數組(無論其類型是否為 class)始終使用全局 operator new函數。
從 Visual C++ 5.0 開始,編譯器支持類聲明中的成員數組 new 和 delete 運算符。例如:
// spec1_the_operator_new_function2.cppclass MyClass{public: void * operator new[] (size_t) { return 0; } void operator delete[] (void*) { }};int main() { MyClass *pMyClass = new MyClass[5]; delete [] pMyClass;}
處理內存不足
對失敗的內存分配進行測試可以通過如下編碼實現:
// insufficient_memory_conditions.cpp// compile with: /EHsc#include <iostream>using namespace std;#define BIG_NUMBER 100000000int main() { int *pI = new int[BIG_NUMBER]; if( pI == 0x0 ) { cout << "Insufficient memory" << endl; return -1; }}
處理失敗的內存分配要求的其他方法:編寫自定義恢復例程來處理此類失敗,然后通過調用 _set_new_handler 運行時函數來注冊您的函數。
delete 運算符
可使用 delete 運算符釋放使用 new 運算符動態分配的內存。delete 運算符調用 operator delete函數,該函數將內存釋放回可用池。使用 delete 運算符也會導致調用類析構函數(如果有)。
存在全局和類范圍的 operator delete函數。只能為給定類定義一個 operator delete函數;如果定義了該函數,它會隱藏全局 operator delete函數。始終為所有類型的數組調用全局 operator delete函數。
全局 operator delete函數(如果已聲明)采用 void * 類型的單個參數,該參數包含指向要釋放的對象的指針。返回類型是 void(operator delete 無法返回值)。類成員 operator delete 函數有兩種形式:
void operator delete( void * );void operator delete( void *, size_t );
給定類中只存在前面兩個變量中的一個。第一個形式按照為全局 operator delete 描述的那樣運行。第二個形式采用兩個參數,第一個是指向要釋放的內存塊的指針,第二個是要釋放的字節的數量。當基類中的 operator delete 函數用于刪除派生類的對象時,第二個形式特別有用。
operator delete 函數是靜態的;因此它不能是虛函數。 operator delete 函數服從訪問控制,如成員訪問控制中所述。
以下示例顯示旨在記錄內存的分配和釋放的用戶定義的 operator new 和 operator delete 函數:
// spec1_the_operator_delete_function1.cpp// compile with: /EHsc// arguments: 3#include <iostream>using namespace std;int fLogMemory = 0; // Perform logging (0=no; nonzero=yes)?int cBlocksAllocated = 0; // Count of blocks allocated.// User-defined operator new.void *operator new( size_t stAllocateBlock ) { static int fInOpNew = 0; // Guard flag. if ( fLogMemory && !fInOpNew ) { fInOpNew = 1; clog << "Memory block " << ++cBlocksAllocated << " allocated for " << stAllocateBlock << " bytes/n"; fInOpNew = 0; } return malloc( stAllocateBlock );}// User-defined operator delete.void operator delete( void *pvMem ) { static int fInOpDelete = 0; // Guard flag. if ( fLogMemory && !fInOpDelete ) { fInOpDelete = 1; clog << "Memory block " << cBlocksAllocated-- << " deallocated/n"; fInOpDelete = 0; } free( pvMem );}int main( int argc, char *argv[] ) { fLogMemory = 1; // Turn logging on if( argc > 1 ) for( int i = 0; i < atoi( argv[1] ); ++i ) { char *pMem = new char[10]; delete[] pMem; } fLogMemory = 0; // Turn logging off. return cBlocksAllocated;}
前面的代碼可用于檢測“內存溢出”,即在自由儲存中分配但從未釋放過的內存。若要執行此檢測,則應重新定義全局 new 和 delete 運算符以計算內存的分配和釋放。
從 Visual C++ 5.0 開始,編譯器支持類聲明中的成員數組 new 和 delete 運算符。例如:
// spec1_the_operator_delete_function2.cpp// compile with: /cclass X {public: void * operator new[] (size_t) { return 0; } void operator delete[] (void*) {}};void f() { X *pX = new X[5]; delete [] pX;}