dlaczego jest możliwe użycie undefined struct w c

Question

#include <stdio.h> 

int main() 
{ 
    printf("%d", sizeof(struct token *)); 
} 

Powyższy kod można skompilować i połączyć za pomocą gcc w systemie Linux. Czy ktokolwiek z was mógłby mi wyjaśnić, co kryje się za Scenami? Wiem, że punkt zajmuje rozmiar pamięci, więc znacznik struct jest nieistotny dla sizeof, ale nawet włącza opcję ostrzegania w gcc, bez ostrzeżeń o strukturze "none exist" w ogóle. Kontekstem dla tego pytania jest to, że czytam jakiś kod źródłowy przez innych, próbuję bardzo ciężko znaleźć definicję "tokena struktury", ale oczywiście nie udało się.

Answer 1

Ponieważ próbujesz uzyskać rozmiar wskaźnika na struct token. Rozmiar wskaźnika nie zależy od sposobu zdefiniowania struktury.

Ogólnie można nawet zadeklarować zmienną typu struct token*, ale nie można jej usunąć (np. Uzyskać dostęp do elementu za pomocą wskaźnika).

Answer 2

Parafrazując standard C, typ niekompletny jest typem opisującym obiekt , ale brakuje mu informacji potrzebnych do określenia jego rozmiaru.

void to kolejny niekompletny typ. W przeciwieństwie do innych niekompletnych typów, nie można wykonać pustki .

Ten "niekompletny typ" jest często używany do rodzajów uchwytów: biblioteka pozwala przydzielić "uchwyt" do czegoś, pracować z nim i ponownie go zutylizować. Wszystko to dzieje się w bibliotece. Ty jako użytkownik nie masz pojęcia, co może się wydarzyć w środku.

Przykład:

lib.h:

struct data * d_generate(void); 
void d_set(struct data *, int); 
int d_get(struct data *); 
void d_free(struct data*); 

lib.c:

#include "lib.h" 
#include <stdlib.h> 
struct data { int value; }; 
struct data * d_generate(void) { 
    return malloc(sizeof(struct data)) 
} 
void d_set(struct data * d, int v) { 
    d -> value = v; 
} 
int d_get(struct data * d) { 
    return d->value; 
} 
void d_free(struct data* d) { 
    free(d); 
} 

user.c:

#include "lib.h" 
[...] 
struct data * d = d_generate(); 
d_set(d, 42); 
int v = d_get(d); 
// but v = d->value; doesn't work here because of the incomplete definition. 
d_free(d);