Reguła deklaracji w struct typedef

Question

Przeczytam "Język programowania C" i napotkałem problem o typedef z struct. Kod jest tak:

typedef struct tnode *Treeptr; 
typedef struct tnode { /* the tree node: */ 
    char *word; /* points to the text */ 
    int count; /* number of occurrences */ 
    struct tnode *left; /* left child */ 
    struct tnode *right; /* right child */ 
} Treenode; 

Kiedy piszemy

typedef struct tnode *Treeptr; 

tnode wciąż nie jest jeszcze ogłoszony, ale nie mamy żadnego błędu kompilacji, ale kiedy wyżej zmienić oświadczenie do:

typedef Treenode *Treeptr; 

Otrzymujemy błąd kompilacji:

error: parse error before '*' token 
warning: data definition has no type or storage class 

Co powoduje różnicę? Czy "struct tnode" nie jest takie samo jak "Treenode"?

Answer 1

Nie można użyć typu przed jego zdefiniowaniem.

Przy deklaracji typedef struct tnode { ... } Treenode; typ Treenode nie jest zdefiniowany, dopóki średnik nie zostanie osiągnięty.

Sytuacja z typedef struct tnode *Treeptr; jest inna. Mówi to kompilatorowi "istnieje typ struktury o nazwie struct tnode, a typ Treeptr jest aliasem dla wskaźnika do struct tnode". Pod koniec tej deklaracji struct tnode jest niekompletnym typem. Można tworzyć wskaźniki dla niekompletnych typów, ale nie można tworzyć zmiennych niekompletnego typu (można więc zdefiniować Treeptr ptr1; lub struct tnode *ptr2; i są one tego samego typu, ale nie można zdefiniować struct tnode node;).

Korpus struct tnode można zapisać jako:

typedef struct tnode 
{ 
    char *word; 
    int  count; 
    Treeptr left; 
    Treeptr right; 
} Treenode; 

ponieważ Treeptr jest znanym alias typu struct tnode * przed konstrukcji jest zdefiniowana. Nie można użyć wartości Treenode *left;, ponieważ Treenode nie jest znanym aliasem, dopóki nie zostanie osiągnięty ostatni średnik (w przybliżeniu).

Answer 2

Linia typedef struct tnode *Treeptr; ma domyślną deklarację forward struktury "tnode". Jest podobny do:

typedef struct tnode Treenode; 
typedef Treenode *Treeptr; 

struct tnode { /* the tree node: */ 
    char *word; /* points to the text */ 
    int count; /* number of occurrences */ 
    struct tnode *left; /* left child */ 
    struct tnode *right; /* right child */ 
}; 

Answer 3

Po zadeklarowaniu TreePtr, nie wdrażasz struktury. Jest to znane jako "deklaracja forward". Coś takiego: "tutaj używamy tego, ale później wyjaśnię to lepiej". Implementacja musi pojawić się później, tylko raz, i to znajduje się w drugim typedef.

I TreePtr to nie to samo co struktura, ponieważ TreePtr będzie w rzeczywistości nowym typem, który obejmuje fakt bycia wskaźnikiem.