Com'è possibile che una struttura C faccia riferimento a se stessa?

Question

Come fa un compilatore C (sto usando GCC) a sapere cosa fare con quanto segue?

struct node 
{ 
    int x; 
    struct node* next; 
}; 

Più precisamente, se node deve ancora essere ancora completamente definita (non abbiamo ancora raggiunto la parentesi graffa di chiusura), quindi come fa il compilatore sa quanto è grande uno struct dovrebbe essere?

Mentre mi rendo conto che "puntare a" richiede solo un indirizzo, i puntatori incrementali richiedono la dimensione dei dati a cui punta.

Answer 1

La dimensione di struct non è importante, poiché viene memorizzato un puntatore allo struct, non lo stesso struct.

In termini di incrementi di puntatori a struct; ciò avviene al di fuori della definizione struct, quindi, di nuovo, non è importante.