Declaration rule in struct typedef

Question

Sto leggendo 'The C Programming Language' e ho riscontrato un problema relativo al typedef della struct. Il codice è simile a questo:

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; 

Per il momento in cui scriviamo

typedef struct tnode *Treeptr; 

tnode non è ancora ancora dichiarato, ma non c'è niente di errore di compilazione, ma quando si cambia la dichiarazione di cui sopra in:

typedef Treenode *Treeptr; 

otteniamo errore di compilazione:

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

Che cosa fa la differenza? "Struct tnode" non è lo stesso di "Treenode"?

Answer 1

Non è possibile utilizzare un tipo prima che sia definito.

Con la dichiarazione typedef struct tnode { ... } Treenode;, il tipo Treenode non è definito fino a quando non viene raggiunto il punto e virgola.

La situazione con typedef struct tnode *Treeptr; è diversa. Questo dice al compilatore 'c'è un tipo di struttura chiamato struct tnode, e il tipo Treeptr è un alias per un puntatore a un struct tnode'. Alla fine di tale dichiarazione, struct tnode è un tipo incompleto. È possibile creare puntatori a tipi incompleti ma non è possibile creare variabili del tipo incompleto (quindi è possibile definire Treeptr ptr1; o struct tnode *ptr2; e sono dello stesso tipo, ma non è possibile definire struct tnode node;).

Il corpo del struct tnode potrebbe essere scritta come:

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

perché Treeptr è un alias noto per il tipo struct tnode * prima che la struttura è definita. Non è possibile utilizzare Treenode *left; perché Treenode non è un alias noto fino a quando non viene raggiunto il punto e virgola finale (in parole povere).

Answer 2

Una riga typedef struct tnode *Treeptr; ha una dichiarazione implicita in avanti della struttura "tnode". E 'simile a:

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

Quando si dichiara TreePtr, non si sta implementando la struct. Questa è nota come "forward declaration". Qualcosa come: "qui usiamo questo, ma più tardi lo spiegherò meglio". L'implementazione deve apparire in un secondo momento, solo una volta, ed è quello che trovi nel secondo typedef.

E TreePtr non è la stessa della struttura, perché TreePtr sarà in realtà un nuovo tipo che include il fatto di essere un puntatore.