共用方式為

參考類型的 C++ 堆疊語意

  • 發行項

在 Visual Studio 2005 之前，只能使用 new 運算子來建立參考類型的實例，該運算子會在垃圾收集堆積上建立 物件。 不過，您現在可以使用與您用來在堆疊上建立原生類型之執行個體相同的語法建立參考類型的執行個體。 因此，您不需要使用 ref new、gcnew 來建立參考型別的物件。 然後，當物件超出範圍時，編譯器會呼叫物件的解構函式。

備註

當您使用堆疊語意建立參考類型的執行個體時，編譯器會在內部的記憶體回收堆積上建立執行個體 (使用 gcnew)。

當函式的簽章或傳回型別是一個傳值參考類型的執行個體時，函式在中繼資料中會被標記為需要進行特殊處理 (使用 modreq)。 這項特殊處理目前只提供給 Visual C++ 用戶端使用，其他語言目前不支援使用以堆疊語意建立之參考類型的函式或資料。

其中一個使用 gcnew (動態配置) 而不使用堆疊語意的理由是該類型沒有解構函式。 此外，如果想要讓 Visual C++ 以外的語言使用函式，則無法在函式簽章中使用以堆疊語意建立的參考類型。

編譯器不會為參考類型產生複製建構函式。 因此，如果您在簽章中定義了一個使用傳值參考類型的函式，則必須定義參考類型的複製建構函式。 參考類型的複製建構函式具有下列形式的簽章：R(R%){}。

編譯器不會為參考類型產生預設指派運算子。 指派運算子可讓您建立使用堆疊語意的物件，並以使用堆疊語意建立的現有物件對其進行初始化。 參考類型的指派運算子具有下列形式的簽章：void operator=( R% ){}。

如果類型的解構函式會釋放重要的資源，而您使用參考類型的堆疊語意，則不需要明確呼叫解構函式 (或呼叫 delete)。 如需參考型別中解構函式的詳細資訊，請參閱 如何：定義和使用類別和結構中的解構函式和完成項（C++/CLI）。

由編譯器產生的指派運算子會遵循一般的標準 C++ 規則，並提供下列新增功能：

  • 類型為參考類型之控制代碼的任何非靜態資料成員將會進行淺層複製 (視為指標類型的非靜態資料成員)。

  • 類型為實值類型的任何非靜態資料成員都會進行淺層複製。

  • 任何類型為參考型別實例的非靜態資料成員，都會叫用對參考型別複製建構函式的呼叫。

編譯器也提供 % 一元運算子，可將使用堆疊語意建立之參考類型的執行個體轉換為其基礎控制代碼類型。

下列參考類型不能與堆疊語意搭配使用：

範例

描述

下列程式碼範例說明如何使用堆疊語意宣告參考類型的執行個體、指派運算子和複製建構函式的運作方式，以及如何初始化使用堆疊語意建立之參考類型的追蹤參考。

代碼

// stack_semantics_for_reference_types.cpp
// compile with: /clr
ref class R {
public:
   int i;
   R(){}

   // assignment operator
   void operator=(R% r) {
      i = r.i;
   }

   // copy constructor
   R(R% r) : i(r.i) {}
};

void Test(R r) {}   // requires copy constructor

int main() {
   R r1;
   r1.i = 98;

   R r2(r1);   // requires copy constructor
   System::Console::WriteLine(r1.i);
   System::Console::WriteLine(r2.i);

   // use % unary operator to convert instance using stack semantics
   // to its underlying handle
   R ^ r3 = %r1;
   System::Console::WriteLine(r3->i);

   Test(r1);

   R r4;
   R r5;
   r5.i = 13;
   r4 = r5;   // requires a user-defined assignment operator
   System::Console::WriteLine(r4.i);

   // initialize tracking reference
   R % r6 = r4;
   System::Console::WriteLine(r6.i);
}

輸出

98
98
98
13
13

另請參閱

類別和結構