ptr 属性

[アーティクル]
06/13/2023

[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]、[string]、および [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], [context_handle];ポインター属性 [ref]、[unique]、または [ptr];union 属性 [switch_type]。複数のフィールド属性をコンマで区切ります。
function-attribute-list: 関数に適用される 0 個以上の属性を指定します。有効な関数属性は [callback], [local];ポインター属性 [ref]、 [unique]、または [ptr];と usage 属性 [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 以外に変更できます。 完全なポインターによって指されるストレージは、別名作成とサイクルをサポートするアプリケーション内の他の名前で到達できます。この機能では、ポインターによって参照されるデータを識別し、値が 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 属性

パラメーター

解説

例

関連項目

フィードバック

フィードバック

その他のリソース