C++ 支持使用 new 和 delete 運(yùn)算符動(dòng)態(tài)分配和釋放對(duì)象。這些運(yùn)算符為來(lái)自稱為“自由存儲(chǔ)”的池中的對(duì)象分配內(nèi)存。 new 運(yùn)算符調(diào)用特殊函數(shù) operator new，delete 運(yùn)算符調(diào)用特殊函數(shù) operator delete。
在 Visual C++ .NET 2002 中，標(biāo)準(zhǔn) C++ 庫(kù)中的 new 功能將支持 C++ 標(biāo)準(zhǔn)中指定的行為，如果內(nèi)存分配失敗，則會(huì)引發(fā) std::bad_alloc 異常。
如果內(nèi)存分配失敗，C 運(yùn)行庫(kù)的 new 函數(shù)也將引發(fā) std::bad_alloc 異常。
如果您仍需要 C 運(yùn)行庫(kù)的 new 的非引發(fā)版本，請(qǐng)將您的程序鏈接到 nothrownew.obj。但是，當(dāng)您鏈接到 nothrownew.obj 時(shí)，標(biāo)準(zhǔn) C++ 庫(kù)中的 new 將不再起作用。

調(diào)用 new 運(yùn)算符
在程序中遇到以下語(yǔ)句時(shí)，它將轉(zhuǎn)換為對(duì)函數(shù) operator new 的調(diào)用：

char *pch = new char[BUFFER_SIZE];

如果請(qǐng)求針對(duì)零字節(jié)存儲(chǔ)，operator new 將返回一個(gè)指向不同的對(duì)象的指針（即對(duì) operator new 的重復(fù)調(diào)用將返回不同的指針）。如果分配請(qǐng)求沒(méi)有足夠的內(nèi)存，則 operator new 將返回 NULL 或引發(fā)異常（有關(guān)詳細(xì)信息，請(qǐng)參閱 ）。
可以編寫(xiě)嘗試釋放內(nèi)存的例程并重試分配；有關(guān)詳細(xì)信息，請(qǐng)參閱 _set_new_handler。有關(guān)恢復(fù)方案的更多詳細(xì)信息，請(qǐng)參閱以下主題：處理內(nèi)存不足的情況。
下表中描述了 operator new 函數(shù)的兩個(gè)范圍。
operator new 函數(shù)的范圍

operator new 的第一個(gè)參數(shù)的類(lèi)型必須為 size_t（STDDEF.H 中定義的類(lèi)型），并且返回類(lèi)型始終為 void *。
在使用 new 運(yùn)算符分配內(nèi)置類(lèi)型的對(duì)象、不包含用戶定義的 operator new 函數(shù)的類(lèi)類(lèi)型的對(duì)象和任何類(lèi)型的數(shù)組時(shí)，將調(diào)用全局 operator new 函數(shù)。在使用 new 運(yùn)算符分配類(lèi)類(lèi)型的對(duì)象時(shí)（其中定義了 operator new），將調(diào)用該類(lèi)的 operator new。
為類(lèi)定義的 operator new 函數(shù)是靜態(tài)成員函數(shù)（因此，它不能是虛函數(shù)），該函數(shù)隱藏此類(lèi)類(lèi)型的對(duì)象的全局 operator new 函數(shù)?？紤] new 用于分配內(nèi)存并將內(nèi)存設(shè)為給定值的情況：

// 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 0xa5
int main()
{
 Blanks *a5 = new(0xa5) Blanks;
 return a5 != 0;
}

用括號(hào)包含的提供給 new 的參數(shù)將作為 Blanks::operator new 參數(shù)傳遞給 chInit。但是，全局 operator new 函數(shù)將被隱藏，從而導(dǎo)致以下代碼生成錯(cuò)誤：

Blanks *SomeBlanks = new Blanks;

在 Visual C++ 5.0 和早期版本中，使用 new 運(yùn)算符分配的非類(lèi)類(lèi)型和所有數(shù)組（無(wú)論其類(lèi)型是否為 class）始終使用全局 operator new函數(shù)。
從 Visual C++ 5.0 開(kāi)始，編譯器支持類(lèi)聲明中的成員數(shù)組 new 和 delete 運(yùn)算符。例如:

// spec1_the_operator_new_function2.cpp
class MyClass
{
public:
 void * operator new[] (size_t)
 {
  return 0;
 }
 void operator delete[] (void*)
 {
 }
};

int main() 
{
 MyClass *pMyClass = new MyClass[5];
 delete [] pMyClass;
}

處理內(nèi)存不足
對(duì)失敗的內(nèi)存分配進(jìn)行測(cè)試可以通過(guò)如下編碼實(shí)現(xiàn)：

// insufficient_memory_conditions.cpp
// compile with: /EHsc
#include <iostream>
using namespace std;
#define BIG_NUMBER 100000000
int main() {
 int *pI = new int[BIG_NUMBER];
 if( pI == 0x0 ) {
  cout << "Insufficient memory" << endl;
  return -1;
 }
}

處理失敗的內(nèi)存分配要求的其他方法：編寫(xiě)自定義恢復(fù)例程來(lái)處理此類(lèi)失敗，然后通過(guò)調(diào)用 _set_new_handler 運(yùn)行時(shí)函數(shù)來(lái)注冊(cè)您的函數(shù)。
delete 運(yùn)算符
可使用 delete 運(yùn)算符釋放使用 new 運(yùn)算符動(dòng)態(tài)分配的內(nèi)存。delete 運(yùn)算符調(diào)用 operator delete函數(shù)，該函數(shù)將內(nèi)存釋放回可用池。使用 delete 運(yùn)算符也會(huì)導(dǎo)致調(diào)用類(lèi)析構(gòu)函數(shù)（如果有）。
存在全局和類(lèi)范圍的 operator delete函數(shù)。只能為給定類(lèi)定義一個(gè) operator delete函數(shù)；如果定義了該函數(shù)，它會(huì)隱藏全局 operator delete函數(shù)。始終為所有類(lèi)型的數(shù)組調(diào)用全局 operator delete函數(shù)。
全局 operator delete函數(shù)（如果已聲明）采用 void * 類(lèi)型的單個(gè)參數(shù)，該參數(shù)包含指向要釋放的對(duì)象的指針。返回類(lèi)型是 void（operator delete 無(wú)法返回值）。類(lèi)成員 operator delete 函數(shù)有兩種形式：

void operator delete( void * );
void operator delete( void *, size_t );

給定類(lèi)中只存在前面兩個(gè)變量中的一個(gè)。第一個(gè)形式按照為全局 operator delete 描述的那樣運(yùn)行。第二個(gè)形式采用兩個(gè)參數(shù)，第一個(gè)是指向要釋放的內(nèi)存塊的指針，第二個(gè)是要釋放的字節(jié)的數(shù)量。當(dāng)基類(lèi)中的 operator delete 函數(shù)用于刪除派生類(lèi)的對(duì)象時(shí)，第二個(gè)形式特別有用。
operator delete 函數(shù)是靜態(tài)的；因此它不能是虛函數(shù)。 operator delete 函數(shù)服從訪問(wèn)控制，如成員訪問(wèn)控制中所述。
以下示例顯示旨在記錄內(nèi)存的分配和釋放的用戶定義的 operator new 和 operator delete 函數(shù)：

// 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;
}

前面的代碼可用于檢測(cè)“內(nèi)存溢出”，即在自由儲(chǔ)存中分配但從未釋放過(guò)的內(nèi)存。若要執(zhí)行此檢測(cè)，則應(yīng)重新定義全局 new 和 delete 運(yùn)算符以計(jì)算內(nèi)存的分配和釋放。
從 Visual C++ 5.0 開(kāi)始，編譯器支持類(lèi)聲明中的成員數(shù)組 new 和 delete 運(yùn)算符。例如:

// spec1_the_operator_delete_function2.cpp
// compile with: /c
class X {
public:
 void * operator new[] (size_t) {
  return 0;
 }
 void operator delete[] (void*) {}
};

void f() {
 X *pX = new X[5];
 delete [] pX;
}

最新評(píng)論