Cでは、不完全な型の配列へのポインタを使用する必要がありますか？

Question

のIAR Embedded Cコンパイラはこれに満足している、と私はそれが正しいCのコードだったと仮定：

struct incomplete; 
typedef struct incomplete (*why_not)[2]; 
struct incomplete {struct incomplete *known_to_work;} array[2]; 
why_not ok = &array; 

しかし、why_notの定義上のgccと打ち鳴らすチョーク：

incomplete.c:2:29: error: array type has incomplete element type ‘struct incomplete’ 
typedef struct incomplete (*why_not)[2]; 
          ^

技術的には、そこを"不完全な配列の型へのポインタ"の定義を拒否する理由はありません。結局のところ、構造定義は、そのような変数が逆参照される場合、またはポインタ演算が実行される場合にのみ必要とされます。

可能であれば、構造定義を非表示にしたいと思っています。

Cの標準はこれについて何を言いますか？

Answer 1

コードでは、エレメントタイプが不完全な配列宣言子が使用されています。このISO Cにおける制約違反、6.7.6.2/1 アレイは宣言子に従って：オプションタイプ修飾子とキーワード静的に加え

制約

を[と]を区切ることができます式または*です。式の区切り（配列のサイズを指定する）の場合、式は整数型でなければなりません。式が定数式である場合、それは0より大きい値を持たなければならない。要素の型は、不完全または関数型であってはならない。

Answer 2

次の文

typedef struct incomplete (*why_not)[2]; 

は、二つstruct incompleteの配列へのポインタです。まだ定義されていないので、コンパイラはstruct incompleteのサイズをまだ知りません。

以下は、しかし、動作します：

typedef struct incomplete *why_not[2]; 

をすなわち：struct incompleteへのポインタの配列。コンパイラは、不完全な型へのポインタのサイズを知っている（つまり、アドレスを格納するのに必要なサイズだけである）。

---

編集：両方の宣言はただのポインタを宣言しているので、

コンパイラは、（限り何のポインタ演算が行われていないとして）のいずれかの場合にはstruct incompleteの大きさを知る必要はありません。