参照型の C++ スタックセマンティクス

[アーティクル]
06/10/2015

Visual C++ 2005 以前では、参照型のインスタンスがガベージコレクションによって収集されたヒープのオブジェクトを作成する new の演算子を使用して作成できます。ただし、スタックのネイティブ型のインスタンスを作成するために、同じ構文を使用して、参照型のインスタンスを作成できます。このため、参照型のオブジェクトを作成するために ref new、gcnew (C++ コンポーネント拡張) を使用する必要はありません。およびオブジェクトがスコープ外に出ると、コンパイラがオブジェクトのデストラクターを呼び出します。

解説

スタックセマンティクスを使用して参照型のインスタンスを作成すると、コンパイラは内部的にガベージコレクションが行われるヒープのインスタンスを作成します。gcnewを使用)。

関数のシグネチャまたは戻り値の型が値渡しの参照型のインスタンスが含まれる場合、特別な処理を必要とするものとしてメタデータでマークされます。modreq と)。この特別な処理は現在 Visual C++ クライアントでのみ利用できません; 他の言語では現在 Stack Semantics で作成された参照型を使用するデータまたは処理関数をサポートしていません。

Stack Semantics の代わりに gcnew (動的割り当て) を使用する 1 とおりの原因は型にデストラクターが必要です。この関数に Visual C++ 以外の言語で使用する場合は、関数シグネチャで Stack Semantics で作成された参照型を使用して可能である必要があります。

コンパイラは参照型のコピーコンストラクターを生成しません。したがって、シグネチャに値渡しの参照型を使用する関数を定義する場合は、参照型のコピーコンストラクターを定義する必要があります。参照型のコピーコンストラクターは次のフォームのシグネチャを持つ: R(R%){}。

コンパイラは参照型の既定の代入演算子は生成されません。代入演算子は、オブジェクトをスタックセマンティクスを使用して作成し、スタックセマンティクスを使用して作成された既存のオブジェクトを初期化することができます。参照型の代入演算子は次のフォームのシグネチャを持つ: void operator=( R% ){}。

型のデストラクターが必要なリソースを"使用 Stack Semantics 解放する場合は、明示的にデストラクターを呼び出す必要はありません (または deleteを呼び出すため)。参照型のデストラクターの詳細については、「Visual C++ のデストラクター、およびファイナライザー」を参照してください。

コンパイラが生成した代入演算子は次の加算と通常の C++ の標準規則に従って:

型が参照型のハンドルであるコピーされたすべての非静的データメンバーが浅いです (型がポインターである非静的のように扱うデータメンバー。
型が値型のコピーされたすべての非静的データメンバーが浅いです。
型は、参照型のインスタンスであるすべての非静的データメンバーが参照型のコピーコンストラクターへの呼び出しを呼び出します。

コンパイラは、基になるハンドル型にスタックセマンティクスを使用して作成された参照型のインスタンスを変換するに % の単項演算子が用意されています。

次の参照型は、Stack Semantics で使用できません:

例

説明

次のコードサンプルでは、スタックの意味を持つ参照型のインスタンスをどのように、代入演算子、コピーコンストラクター宣言作業する方法と、スタックセマンティクスを使用して作成された参照型で追跡参照を初期化する方法を示します。

コード

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

出力

次の方法で共有

参照型の C++ スタックセマンティクス

解説

例

説明

コード

出力

参照

関連項目

その他のリソース