new運算符用作從自由存儲為 type-name 的對象或?qū)ο髷?shù)組分配內(nèi)存，并將已適當分類的非零指針返回到對象。

[::] new [placement] new-type-name [new-initializer]
[::] new [placement] ( type-name ) [new-initializer]

備注
如果不成功，則 new 將返回零或引發(fā)異常；有關(guān)詳細信息，請參閱 new 和 delete 運算符。 通過編寫自定義異常處理例程并調(diào)用 _set_new_handler 運行庫函數(shù)（以您的函數(shù)名稱作為其參數(shù)），可以更改此默認行為。
有關(guān)如何在托管堆上創(chuàng)建對象的信息，請參閱 gcnew。
使用 new 為 C++ 類對象分配內(nèi)存時，將在分配內(nèi)存后調(diào)用對象的構(gòu)造函數(shù)。
使用 delete 運算符可解除分配使用 new 運算符分配的內(nèi)存。
以下示例先分配然后釋放一個二維字符數(shù)組，數(shù)組的大小為 dim x 10。 在分配多維數(shù)組時，除第一個維度之外的所有維度必須是計算結(jié)果為正值的常量表達式；最左側(cè)的數(shù)組維度可以是計算結(jié)果為正值的任何表達式。 在使用 new 運算符分配數(shù)組時，第一個維度可為零 - new 運算符將返回一個唯一指針。

char (*pchar)[10] = new char[dim][10];
delete [] pchar;

type-name 不能包含 const、volatile、類聲明或枚舉聲明。 因此，以下表達式是非法的：

volatile char *vch = new volatile char[20];

new 運算符不會分配引用類型，因為這些類型不是對象。
new 運算符無法用于分配函數(shù)，但可用于分配指向函數(shù)的指針。 下面的示例為返回整數(shù)的函數(shù)分配然后釋放一個包含 7 個指針的數(shù)組。

int (**p) () = new (int (*[7]) ());
delete *p;

如果使用不帶任何額外參數(shù)的 new 運算符，并用 /GX、/EHa 或 /EHs 選項進行編譯，則編譯器將在構(gòu)造函數(shù)引發(fā)異常時生成代碼來調(diào)用運算符 delete。
以下列表描述了 new 的語法元素：
placement
如果重載 new，則提供了一種傳遞附加參數(shù)的方式。
type-name
指定要分配的類型；它可以是內(nèi)置類型，也可以是用戶定義的類型。 如果類型規(guī)范非常復雜，則可用括號將其括起來以強制實施綁定順序。
initializer
為初始化對象提供值。 不能為數(shù)組指定初始值設定項。 僅當類具有默認構(gòu)造函數(shù)時，new 運算符才會創(chuàng)建對象的數(shù)組。
示例
下面的代碼示例分配類 CName 的一個字符數(shù)組和一個對象，然后釋放它們。

// 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 運算符的放置新形式（帶有參數(shù)和分配大小的形式），如果構(gòu)造函數(shù)引發(fā)異常，則編譯器不支持 delete 運算符的放置形式。 例如:

// expre_new_Operator2.cpp
// C2660 expected
class 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 運算符分配的對象
可選的 initializer 字段包含在 new 運算符的語法中。 這樣就可以使用用戶定義的構(gòu)造函數(shù)來初始化新對象。 有關(guān)如何執(zhí)行初始化的詳細信息，請參閱初始值設定項。 以下示例演示如何將初始化表達式與 new 運算符一起使用：

// expre_Initializing_Objects_Allocated_with_new.cpp
class 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 運算符分配了 對象，但未指定默認初始化。 因此，調(diào)用了類的默認構(gòu)造函數(shù) Acct()。 然后，以相同的方式分配了對象 SavingsAcct，只不過將它顯式初始化為 34.98。 由于 34.98 是類型 double，因此調(diào)用了采用該類型的參數(shù)的構(gòu)造函數(shù)來處理初始化。 最后，將非類類型 HowMuch 初始化為 43.0。
如果對象是類類型，并且該類具有構(gòu)造函數(shù)（如前面的示例所示），則僅當滿足以下條件之一時，new 運算符才能初始化該對象：
初始值設定項中提供的參數(shù)與構(gòu)造函數(shù)的參數(shù)一致。
該類有一個默認構(gòu)造函數(shù)（可在沒有參數(shù)的情況下調(diào)用的構(gòu)造函數(shù)）。
訪問控制和二義性控制根據(jù)operator new多義性和使用特殊成員函數(shù)的初始化中所述的規(guī)則對 和構(gòu)造函數(shù)執(zhí)行。
在使用 new 運算符分配數(shù)組時，無法對每個元素執(zhí)行顯式初始化；只調(diào)用了默認構(gòu)造函數(shù)（如果有）。 有關(guān)詳細信息，請參閱默認參數(shù)。
如果內(nèi)存分配失?。╫perator new 的返回值為 0），則不執(zhí)行初始化。 這可防止嘗試初始化不存在的數(shù)據(jù)。
與函數(shù)調(diào)用一樣，未定義初始化表達式的計算順序。 此外，您不應指望這些表達式能在執(zhí)行內(nèi)存分配前完全計算。 如果內(nèi)存分配失敗，并且 new 運算符返回零，則可能不會完全計算初始值設定項中的某些表達式。
使用 new 運算符分配的對象的生存期
在退出分配有 new 運算符的對象的定義范圍時，將不會銷毀這些對象。 由于 new 運算符將返回指向其所分配的對象的指針，因此程序必須使用合適的范圍定義指針才能訪問這些對象。 例如:

// expre_Lifetime_of_Objects_Allocated_with_new.cpp
// C2541 expected
int 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 一旦超出范圍，將無法再刪除對象。

new 的工作方式
allocation-expression（包含 new 運算符的表達式）執(zhí)行三類操作：
定位并保留要分配的對象的存儲。 此階段完成后，將分配正確的存儲量，但它還不是對象。
初始化對象。 初始化完成后，將為成為對象的已分配存儲顯示足夠的信息。
返回指向派生自 new-type-name 或 type-name 的指針類型的對象的指針。 程序使用此指針來訪問最近分配的對象。
new 運算符調(diào)用函數(shù) operator new。 對于任何類型的數(shù)組以及不屬于 class、struct 或 union 類型的對象，調(diào)用全局函數(shù) ::operator new 來分配存儲。 類類型對象可基于每個類定義其自己的 operator new 靜態(tài)成員函數(shù)。
當編譯器遇到用于分配 type 類型的對象的 new 運算符時，它將發(fā)出對 type::operator new( sizeof( type ) ) 的調(diào)用；或者，如果不存在用戶定義的 operator new，則調(diào)用 ::operator new( sizeof( type ) )。 因此，new 運算符可以為對象分配正確的內(nèi)存量。

最新評論