MIDL 配列

配列宣言子は、IDL ファイルのインターフェイス本体に次のいずれかとして表示されます。

• 一般的な宣言の一部
• 構造体または共用体宣言子のメンバー
• リモート プロシージャ 呼び出しのパラメーター

配列の各次元の境界は、個別の角かっこのペア内で表されます。 n に評価される式は、下限が 0 で、上限が n - 1 であることを示します。 角かっこが空の場合、またはアスタリスク (*)が 1 つ含まれている場合、下限は 0 で、上限は実行時に決定されます。

配列には、[lower..] のように、配列の下限と上限を表す省略記号で区切られた 2 つの値を含めることもできます。upper]。 Microsoft RPC では、下限が 0 である必要があります。 MIDL コンパイラは、0 以外の下限を指定するコンストラクトを認識しません。

配列をフィールド属性size_is、max_is、length_is、first_is、およびlast_isに関連付けて、配列のサイズまたは有効なデータを含む配列の一部を指定できます。 これらのフィールド属性は、配列の次元またはインデックスを指定するパラメーター、構造体フィールド、または定数を識別します。

配列は、次のように field 属性で指定された識別子に関連付ける必要があります。配列がパラメーターの場合、識別子は同じ関数のパラメーターである必要もあります。配列が構造体フィールドの場合、識別子はその同じ構造体の別の構造体フィールドである必要があります。

実行時に次元の上限が決定された場合、配列は "準拠" と呼ばれます。 (実行時に上限のみを決定できます)。上限を決定するには、配列宣言に size_is または max_is 属性 を 含める必要があります。

配列は、コンパイル時に境界が決定されると "varying" と呼ばれますが、送信される要素の範囲は実行時に決定されます。 送信される要素の範囲を決定するには、配列宣言に length_is、first_is、または last_is 属性 を 含める必要があります。

準拠する可変配列 ("open" とも呼ばれます) は、実行時に送信される要素の上限と範囲が決定される配列です。 多くの場合、1 つの準拠または準拠する異なる配列を C 構造体に入れ子にすることができ、構造体の最後の要素である必要があります。 これに対し、不適合な変化する配列は、構造体内の任意の場所で発生する可能性があります。

例

/* IDL file interface body */ 
#define MAX_INDEX 10 
 
typedef char  ATYPE[MAX_INDEX]; 
typedef short BTYPE[];        // Equivalent to [*]; 
typedef long  CTYPE[*][10];   // [][10] 
typedef float DTYPE[0..10];   // Equivalent to [11] 
typedef float ETYPE[0..(MAX_INDEX)];  
 
typedef struct 
{ 
    unsigned short size; 
    unsigned short length; 
    [size_is(size), length_is(length)] char string[*]; 
} counted_string; 
 
HRESULT MyFunction( 
     [in, out] short * pSize,  
     [in, out, string, size_is(*pSize)] char a[0..*] 
);

詳細については、「 配列とポインター」を参照してください。

多次元配列

ユーザーは、配列である型を宣言してから、そのような型のオブジェクトの配列を宣言できます。 n 次元配列型の m 次元配列のセマンティクスは、m+n 次元配列のセマンティクスと同じです。

たとえば、RECT_TYPE型は 2 次元配列として定義でき、変数 rect は RECT_TYPE の配列として定義できます。 これは、次の 3 次元配列 equivalent_rectと同じです。

typedef short int RECT_TYPE[10][20]; 
RECT_TYPE rect[15]; 
short int equivalent_rect[15][10][20];  // ~RECT_TYPE rect[15]

Microsoft RPC は C 指向です。 C 言語の規則に従って、実行時に決定できるのは多次元配列の最初の次元のみです。 他の言語をサポートする DCE IDL 配列との相互運用は、次に制限されます。

• 定数 (コンパイル時に決定された) 境界を持つ多次元配列。
• 最初の次元を除くすべての定数境界を持つ多次元配列。 最初の次元の送信される要素の上限と範囲は、ランタイムに依存します。
• 下限が 0 の 1 次元配列。

多次元配列で [string] 属性を使用すると、属性は右端の配列に適用されます。

ポインターの配列

参照ポインターは、有効なデータを指している必要があります。 クライアント アプリケーションは、参照ポインターの [in] または [in,out] 配列に対してすべてのメモリを割り当てる必要があります。特に、配列が [in]、[in,out]、[length_is]、または [last_is] の値に関連付けられている場合です。 クライアント アプリケーションでは、呼び出しの前にすべての配列要素も初期化する必要があります。 クライアントに戻る前に、サーバー アプリケーションは、送信された範囲のすべての配列要素が有効なストレージを指していることを確認する必要があります。

サーバー側では、スタブは、呼び出し時の [length_is] 値または [last_is] 値に関係なく、すべての配列要素にストレージを割り当てます。 この機能は、アプリケーションのパフォーマンスに影響を与える可能性があります。

一意のポインターの配列に制限は適用されません。 クライアントとサーバーの両方で、ストレージは null ポインターに割り当てられます。 ポインターが null 以外の場合、データは事前割り当て済みストレージに配置されます。

省略可能なポインター宣言子は、配列宣言子の前に置くことができます。

埋め込み参照ポインターが [出力] のみのパラメーターである場合、サーバー マネージャー コードは参照ポインターの配列に有効な値を割り当てる必要があります。 次に例を示します。

typedef [ref] short * ARefPointer;
typedef ARefPointer ArrayOfRef[10];
HRESULT proc1( [out] ArrayOfRef Parameter );

生成されたスタブは配列を割り当て、配列に埋め込まれるすべてのポインターに null 値を割り当てます。