ptr 属性

[アーティクル]
05/11/2022

[ptr] 属性は、ポインターを完全なポインターとして指定します。

pointer_default(ptr)

typedef [ ptr [ , type-attribute-list ] ] type-specifier declarator-list; 

typedef [ struct | union ]
{
    [ ptr [ , field-attribute-list ] ] type-specifier declarator-list;
    ...
}

[ ptr [ , function-attribute-list ] ] type-specifier ptr-decl function-name(
    [ [ parameter-attribute-list ] ] type-specifier [standard-declarator]
    , ...);

[[ [ function-attribute-list ] ]] type-specifier [[ptr-decl]] function-name(
    [ ptr [[ , parameter-attribute-list ]] ] type-specifier [[standard-declarator]]
    , ...);

パラメーター

type-attribute-list: 型に適用される 1 つ以上の属性を指定します。有効な型属性には、[handle]、 [switch_type]、 [transmit_as]が含まれます。ポインター属性 [ref]、 [unique、または [ptr]; と使用法属性 [context_handle]、 [文字列]、および [ignore]。複数の属性をコンマで区切ります。
type-specifier: 基本型、構造体、共用体、または列挙型または型識別子を指定します。オプションのストレージ仕様は 、型指定子の前に置くことができます。
standard-declarator: 識別子、ポインター宣言子、配列宣言子など、標準の C 宣言子を指定します。詳細については、「配列とSized-Pointer属性、 配列、配列とポインター」を参照してください。
declarator-list: 識別子、ポインター宣言子、配列宣言子など、標準の C 宣言子を指定します。詳細については、「配列とSized-Pointer属性、 配列、配列とポインター」を参照してください。 declarator-list は、コンマで区切られた 1 つ以上の宣言子で構成されます。関数宣言子のパラメーター名識別子は省略可能です。
field-attribute-list: 構造体または共用体メンバーまたは関数パラメーターに適用される 0 個以上のフィールド属性を指定します。有効なフィールド属性には、[first_is]、[last_is]、[length_is]、[max_is]、[size_is]、使用法属性 [string], [ignore], and [context_handle];ポインター属性 [ref]、[unique]、または [ptr];と union 属性 [switch_type]。複数のフィールド属性をコンマで区切ります。
function-attribute-list: 関数に適用される 0 個以上の属性を指定します。有効な関数属性は [callback], [local]; です。ポインター属性 [ref]、 [unique]、または [ptr];および使用法属性 [string]、 [ignore]、および [context_handle]。
ptr-decl: [ptr] 属性が適用されるポインター宣言子を少なくとも 1 つ指定します。ポインター宣言子は、C で使用されるポインター宣言子と同じです。これは、* 指定子、 far などの修飾子、および修飾子 const から構築 されます。
function-name: リモートプロシージャの名前を指定します。
parameter-attribute-list: 指定したパラメーター型に適した 0 個以上の属性で構成されます。パラメーター属性は方向属性を取り出 すことができます。フィールド属性first_is、last_is、length_is、max_is、size_is、およびswitch_type。ポインター属性 ref、unique、または [ptr];と使用法属性context_handleと文字列。 usage 属性 ignore をパラメーター属性として使用することはできません。複数の属性をコンマで区切ります。

解説

[ptr] 属性で指定された完全なポインターは、C 言語ポインターの完全な機能に近付きます。完全なポインターは NULL 値を持つ可能性があり、呼び出し中に NULL から NULL 以外に変更される可能性があります。 完全なポインターが指すStorageは、エイリアシングとサイクルをサポートするアプリケーション内の他の名前で到達できます。この機能では、ポインターによって参照されるデータを識別し、値が NULL かどうかを判断し、2 つのポインターが同じデータを指しているかどうかを検出するために、リモートプロシージャ呼び出し中にオーバーヘッドが増える必要があります。

次の場合は、完全なポインターを使用します。

リモート戻り値。
出力パラメーターのサイズが不明な場合は、二重ポインター。
NULL ポインター。

完全な (および一意の) ポインターを使用して配列または共用体のサイズを記述することはできません。これらのポインターの値は NULL になる可能性があるためです。 MIDL によるこの制限により、 NULL 値をサイズとして使用した場合に発生する可能性のあるエラーが回避されます。

参照ポインターと一意ポインターは、データのエイリアシングを引き起こさないことを前提としています。一意または参照ポインターから開始し、一意または参照ポインターのみに従って取得された有向グラフには、再変換もサイクルも含められません。

エイリアシングを回避するには、同じクラスのポインターの入力ポインターからすべてのポインター値を取得する必要があります。複数のポインターが同じメモリ位置を指している場合、そのようなポインターはすべて完全なポインターである必要があります。

場合によっては、完全なポインターと一意のポインターを混在させることができます。割り当てが一意ポインターの値の変更に関する制限に違反しない限り、完全なポインターに一意のポインターの値を割り当てることができます。ただし、完全なポインターの値を一意のポインターに割り当てると、エイリアシングが発生する可能性があります。

完全なポインターと一意のポインターを混在させると、次の例に示すようにエイリアシングが発生する可能性があります。

typedef struct 
{ 
    [ptr] short * pdata;          // full pointer  
} GRAPH_NODE_TYPE; 
 
typedef struct 
{ 
    [unique] graph_node * left;   // unique pointer  
    [unique] graph_node * right;  // unique pointer 
} TREE_NODE_TYPE; 
 
// application code: 
short a = 5; 
TREE_NODE_TYPE * t; 
GRAPH_NODE_TYPE g, h; 
 
g.pdata = h.pdata = &a; 
t->left = &g; 
t->right = &h; 
// t->left->pdata == t->right->pdata == &a

"t-left>" と "t-right>" は一意のメモリ位置を指しますが、"t-left-pdata>>" と "t-right-pdata>>" はエイリアス化されます。このため、エイリアシングサポートアルゴリズムは、最終的に完全なポインターに到達する可能性があるすべてのポインター (一意のポインターと参照ポインターを含む) に従う必要があります。

例

pointer_default(ptr) 
 
typedef [ptr, string] unsigned char * MY_STRING_TYPE; 
 
[ptr] char * MyFunction([in, out, unique] long * plNumber);

ptr 属性

パラメーター

解説

例

関連項目