不完全な型へのポインタは不完全なのでしょうか？

することができint (*)[]、不完全型で？

C 2018 6.2.5 1は言う：

翻訳単位内のさまざまな時点で、オブジェクトタイプは不完全（そのタイプのオブジェクトのサイズを決定するのに十分な情報がない）または完全（十分な情報がある）の場合があります。

したがって、型のサイズがわかっていれば、型は完全であるように見えます。6.2.6.1 28は、特定のタイプのポインターは同じサイズ（ポインターvoidと文字、互換タイプへのポインター、構造体へのポインター、および共用体へのポインター）でなければならないことを指定していますが、他のタイプへのポインターは異なる場合があります。

すべてのポインター、またはの配列へのすべてのポインターがint同じサイズであるCの実装では、のサイズint (*)[]がわかっているため、完全なサイズになります。たとえば、大きな配列に異なるポインタを使用する実装では、サイズがわからないため、不完全です。

以下のようにMMが指摘し、構造これは、ポインタのサイズの実装が受け入れなければならないことを示唆している6.7.2.1 3に制約ごとに、最終的な可撓性のアレイメンバーを除き、不完全な型とメンバーを含んではならないstruct { int (*p)[]; }異なる有する実装ながらそのような配列のサイズは、制約違反を診断する必要があります。（これは、そのような宣言が厳密に準拠するCの一部ではないことを意味します。）

不明なサイズの配列は不完全です：

サイズが不明な配列型は不完全型です。そのタイプの識別子については、後の宣言でサイズを指定することにより（内部リンクまたは外部リンクを使用して）完了します。

int (*)[]ただし、型は不完全ではありませんint。サイズが不明な配列のポインタです。
そして、ポインタにはよく知られたサイズがあります：

printf ("Size %d\n", sizeof(int (*)[]));

6.2.5 / 23：型が不完全ではなく、可変長配列型でない場合、型は既知の定数サイズを持ちます。

さらに、配列のセマンティクスのおかげで、逆参照することもできます。

typedef int (*T)[];
...
int a[10];
for (int i=0; i<10; i++) a[i]=i;
T p=a;
for (int i=0; i<10; i++) printf ("%d ",(*p)[i]);
printf ("\n");

編集する

さらに、ポインターは常に完全な型です。6.2.5 / 20では白地に黒で書かれています。

ポインタ型は、参照される型と呼ばれる関数型またはオブジェクト型から派生できます。ポインタ型は、値が参照される型のエンティティへの参照を提供するオブジェクトを表します。参照される型Tから派生したポインター型は、「Tへのポインター」と呼ばれることもあります。参照される型からのポインター型の構築は、「ポインター型の派生」と呼ばれます。ポインタ型は完全なオブジェクト型です。