構造体に、定義されていない別の構造体へのポインタが含まれているのはなぜですか？

Question

int main(void) 
{ 
    struct a 
    { 
     struct b* x; 
    }; 
} 

Iは、struct bを定義しないstruct bへのポインタxを含有するstruct aを定義。私は間違いを予想していた。 -Wallを含めても、私はコンパイラから何も得られませんでした。これについての説明はありますか？

Answer 1

これは単なる標準的な言語機能です。 struct bは不完全なタイプになりました。あなたが不完全な型で行うことはあまりありません。しかし、1つのこと doは、不完全な型へのポインタを宣言しています。

struct bの完全な宣言を後で入力すると、このタイプを完了することができます。その後、通常のstruct型になります。

Answer 2

あなたが持っているものはincomplete typeであり、そのようなタイプのポインタを持つことはまったく問題はありませんが、完了しなければインスタンス化することはできません。

2.7 Incomplete Types

You can define structures, unions, and enumerations without listing their members (or values, in the case of enumerations). Doing so results in an incomplete type. You can’t declare variables of incomplete types, but you can work with pointers to those types.

struct point; 

At some time later in your program you will want to complete the type. You do this by defining it as you usually would:

struct point { 
    int x, y; 
}; 

This technique is commonly used to for linked lists:

struct singly_linked_list { 
    struct singly_linked_list *next; 
    int x; 
    /* other members here perhaps */ 
}; 
struct singly_linked_list *list_head; 

Answer 3

それは、ポインタのサイズを知っているので、コンパイラは、構造体を割り当てることができますが、構造体の定義がない限り、コンパイラがどのようにポインタデリファレンスを知ることができませんので、あなたはxを使用することはできませんので。あなたは前方宣言を使用して、このことの利点を取ることができ

、あなたは未知のstruct型のポインタを宣言し、コンパイル時間と労力を改善するためだけの構造のための可能な大型のヘッダファイルを含む回避することができます。