new運(yùn)算符用作從自由存儲(chǔ)為 type-name 的對(duì)象或?qū)ο髷?shù)組分配內(nèi)存,并將已適當(dāng)分類的非零指針返回到對(duì)象。
[::] new [placement] new-type-name [new-initializer][::] new [placement] ( type-name ) [new-initializer]
備注
如果不成功,則 new 將返回零或引發(fā)異常;有關(guān)詳細(xì)信息,請(qǐng)參閱 new 和 delete 運(yùn)算符。 通過編寫自定義異常處理例程并調(diào)用 _set_new_handler 運(yùn)行庫函數(shù)(以您的函數(shù)名稱作為其參數(shù)),可以更改此默認(rèn)行為。
有關(guān)如何在托管堆上創(chuàng)建對(duì)象的信息,請(qǐng)參閱 gcnew。
使用 new 為 C++ 類對(duì)象分配內(nèi)存時(shí),將在分配內(nèi)存后調(diào)用對(duì)象的構(gòu)造函數(shù)。
使用 delete 運(yùn)算符可解除分配使用 new 運(yùn)算符分配的內(nèi)存。
以下示例先分配然后釋放一個(gè)二維字符數(shù)組,數(shù)組的大小為 dim x 10。 在分配多維數(shù)組時(shí),除第一個(gè)維度之外的所有維度必須是計(jì)算結(jié)果為正值的常量表達(dá)式;最左側(cè)的數(shù)組維度可以是計(jì)算結(jié)果為正值的任何表達(dá)式。 在使用 new 運(yùn)算符分配數(shù)組時(shí),第一個(gè)維度可為零 - new 運(yùn)算符將返回一個(gè)唯一指針。
char (*pchar)[10] = new char[dim][10];delete [] pchar;
type-name 不能包含 const、volatile、類聲明或枚舉聲明。 因此,以下表達(dá)式是非法的:
volatile char *vch = new volatile char[20];
new 運(yùn)算符不會(huì)分配引用類型,因?yàn)檫@些類型不是對(duì)象。
new 運(yùn)算符無法用于分配函數(shù),但可用于分配指向函數(shù)的指針。 下面的示例為返回整數(shù)的函數(shù)分配然后釋放一個(gè)包含 7 個(gè)指針的數(shù)組。
int (**p) () = new (int (*[7]) ());delete *p;
如果使用不帶任何額外參數(shù)的 new 運(yùn)算符,并用 /GX、/EHa 或 /EHs 選項(xiàng)進(jìn)行編譯,則編譯器將在構(gòu)造函數(shù)引發(fā)異常時(shí)生成代碼來調(diào)用運(yùn)算符 delete。
以下列表描述了 new 的語法元素:
placement
如果重載 new,則提供了一種傳遞附加參數(shù)的方式。
type-name
指定要分配的類型;它可以是內(nèi)置類型,也可以是用戶定義的類型。 如果類型規(guī)范非常復(fù)雜,則可用括號(hào)將其括起來以強(qiáng)制實(shí)施綁定順序。
initializer
為初始化對(duì)象提供值。 不能為數(shù)組指定初始值設(shè)定項(xiàng)。 僅當(dāng)類具有默認(rèn)構(gòu)造函數(shù)時(shí),new 運(yùn)算符才會(huì)創(chuàng)建對(duì)象的數(shù)組。
示例
下面的代碼示例分配類 CName 的一個(gè)字符數(shù)組和一個(gè)對(duì)象,然后釋放它們。
// expre_new_Operator.cpp// compile with: /EHsc#include <string.h>class CName {public: enum { sizeOfBuffer = 256 }; char m_szFirst[sizeOfBuffer]; char m_szLast[sizeOfBuffer];public: void SetName(char* pszFirst, char* pszLast) { strcpy_s(m_szFirst, sizeOfBuffer, pszFirst); strcpy_s(m_szLast, sizeOfBuffer, pszLast); }};int main() { // Allocate memory for the array char* pCharArray = new char[CName::sizeOfBuffer]; strcpy_s(pCharArray, CName::sizeOfBuffer, "Array of characters"); // Deallocate memory for the array delete [] pCharArray; pCharArray = NULL; // Allocate memory for the object CName* pName = new CName; pName->SetName("Firstname", "Lastname"); // Deallocate memory for the object delete pName; pName = NULL;}
如果使用 new 運(yùn)算符的放置新形式(帶有參數(shù)和分配大小的形式),如果構(gòu)造函數(shù)引發(fā)異常,則編譯器不支持 delete 運(yùn)算符的放置形式。 例如:
// expre_new_Operator2.cpp// C2660 expectedclass A {public: A(int) { throw "Fail!"; }};void F(void) { try { // heap memory pointed to by pa1 will be deallocated // by calling ::operator delete(void*). A* pa1 = new A(10); } catch (...) { } try { // This will call ::operator new(size_t, char*, int). // When A::A(int) does a throw, we should call // ::operator delete(void*, char*, int) to deallocate // the memory pointed to by pa2. Since // ::operator delete(void*, char*, int) has not been implemented, // memory will be leaked when the deallocation cannot occur. A* pa2 = new(__FILE__, __LINE__) A(20); } catch (...) { }}int main() { A a;}
初始化使用 new 運(yùn)算符分配的對(duì)象
可選的 initializer 字段包含在 new 運(yùn)算符的語法中。 這樣就可以使用用戶定義的構(gòu)造函數(shù)來初始化新對(duì)象。 有關(guān)如何執(zhí)行初始化的詳細(xì)信息,請(qǐng)參閱初始值設(shè)定項(xiàng)。 以下示例演示如何將初始化表達(dá)式與 new 運(yùn)算符一起使用:
// expre_Initializing_Objects_Allocated_with_new.cppclass Acct{public: // Define default constructor and a constructor that accepts // an initial balance. Acct() { balance = 0.0; } Acct( double init_balance ) { balance = init_balance; }private: double balance;};int main(){ Acct *CheckingAcct = new Acct; Acct *SavingsAcct = new Acct ( 34.98 ); double *HowMuch = new double ( 43.0 ); // ...}
在此示例中,使用 CheckingAcctnew 運(yùn)算符分配了 對(duì)象,但未指定默認(rèn)初始化。 因此,調(diào)用了類的默認(rèn)構(gòu)造函數(shù) Acct()。 然后,以相同的方式分配了對(duì)象 SavingsAcct,只不過將它顯式初始化為 34.98。 由于 34.98 是類型 double,因此調(diào)用了采用該類型的參數(shù)的構(gòu)造函數(shù)來處理初始化。 最后,將非類類型 HowMuch 初始化為 43.0。
如果對(duì)象是類類型,并且該類具有構(gòu)造函數(shù)(如前面的示例所示),則僅當(dāng)滿足以下條件之一時(shí),new 運(yùn)算符才能初始化該對(duì)象:
初始值設(shè)定項(xiàng)中提供的參數(shù)與構(gòu)造函數(shù)的參數(shù)一致。
該類有一個(gè)默認(rèn)構(gòu)造函數(shù)(可在沒有參數(shù)的情況下調(diào)用的構(gòu)造函數(shù))。
訪問控制和二義性控制根據(jù)operator new多義性和使用特殊成員函數(shù)的初始化中所述的規(guī)則對(duì) 和構(gòu)造函數(shù)執(zhí)行。
在使用 new 運(yùn)算符分配數(shù)組時(shí),無法對(duì)每個(gè)元素執(zhí)行顯式初始化;只調(diào)用了默認(rèn)構(gòu)造函數(shù)(如果有)。 有關(guān)詳細(xì)信息,請(qǐng)參閱默認(rèn)參數(shù)。
如果內(nèi)存分配失敗(operator new 的返回值為 0),則不執(zhí)行初始化。 這可防止嘗試初始化不存在的數(shù)據(jù)。
與函數(shù)調(diào)用一樣,未定義初始化表達(dá)式的計(jì)算順序。 此外,您不應(yīng)指望這些表達(dá)式能在執(zhí)行內(nèi)存分配前完全計(jì)算。 如果內(nèi)存分配失敗,并且 new 運(yùn)算符返回零,則可能不會(huì)完全計(jì)算初始值設(shè)定項(xiàng)中的某些表達(dá)式。
使用 new 運(yùn)算符分配的對(duì)象的生存期
在退出分配有 new 運(yùn)算符的對(duì)象的定義范圍時(shí),將不會(huì)銷毀這些對(duì)象。 由于 new 運(yùn)算符將返回指向其所分配的對(duì)象的指針,因此程序必須使用合適的范圍定義指針才能訪問這些對(duì)象。 例如:
// expre_Lifetime_of_Objects_Allocated_with_new.cpp// C2541 expectedint main(){ // Use new operator to allocate an array of 20 characters. char *AnArray = new char[20]; for( int i = 0; i < 20; ++i ) { // On the first iteration of the loop, allocate // another array of 20 characters. if( i == 0 ) { char *AnotherArray = new char[20]; } } delete [] AnotherArray; // Error: pointer out of scope. delete [] AnArray; // OK: pointer still in scope.}
在上面的示例中,指針 AnotherArray 一旦超出范圍,將無法再刪除對(duì)象。
new 的工作方式
allocation-expression(包含 new 運(yùn)算符的表達(dá)式)執(zhí)行三類操作:
定位并保留要分配的對(duì)象的存儲(chǔ)。 此階段完成后,將分配正確的存儲(chǔ)量,但它還不是對(duì)象。
初始化對(duì)象。 初始化完成后,將為成為對(duì)象的已分配存儲(chǔ)顯示足夠的信息。
返回指向派生自 new-type-name 或 type-name 的指針類型的對(duì)象的指針。 程序使用此指針來訪問最近分配的對(duì)象。
new 運(yùn)算符調(diào)用函數(shù) operator new。 對(duì)于任何類型的數(shù)組以及不屬于 class、struct 或 union 類型的對(duì)象,調(diào)用全局函數(shù) ::operator new 來分配存儲(chǔ)。 類類型對(duì)象可基于每個(gè)類定義其自己的 operator new 靜態(tài)成員函數(shù)。
當(dāng)編譯器遇到用于分配 type 類型的對(duì)象的 new 運(yùn)算符時(shí),它將發(fā)出對(duì) type::operator new( sizeof( type ) ) 的調(diào)用;或者,如果不存在用戶定義的 operator new,則調(diào)用 ::operator new( sizeof( type ) )。 因此,new 運(yùn)算符可以為對(duì)象分配正確的內(nèi)存量。