ジェネリックスの用語
ジェネリックス:インデックス への移動
このセクションでは、ジェネリックスの説明に使用される用語を定義します。
ジェネリックの型 |
実際の型を作成するために型パラメータの指定が必要な型宣言 type List<Item> = class ... end; |
ジェネリック |
ジェネリック型と同じです。 |
型パラメータ |
ジェネリックの宣言やメソッド本体の内部で別の宣言の型として使用するために、ジェネリックの宣言やメソッド ヘッダーで宣言されるパラメータ。 これは、実際の型引数にバインドされます。以下のコードでは、 type List<Item> = class ... end; |
型引数 |
インスタンス化された型を作成するために型識別子と共に使用される特殊型。上記の例を使用すると、 |
インスタンス化型 |
ジェネリックと一連のパラメータが組み合わさったもの。 |
生成型 |
インスタンス化型と同じ。 |
閉じた生成型 |
パラメータがすべて実際の型に解決された生成型。 |
開いた生成型 |
少なくとも 1 つのパラメータが型パラメータである生成型。 |
インスタンス化 |
コンパイラは、ジェネリックに定義されているメソッドの実際の命令コードを生成するほか、閉じた生成型の実際の仮想メソッド テーブルを生成します。 このプロセスは、Win32 の場合、Delphi コンパイル済みユニット ファイル(.dcu)またはオブジェクト ファイル(.obj)を出力する前に必要になります。 |