È buona norma nascondere la definizione della struttura in C?

Question

Penso che nascondere la definizione della struttura renda il codice più sicuro mentre si applica con l'aiuto del compilatore che nessun membro della struttura può accedere direttamente. Lo svantaggio è che gli utenti non possono dichiarare le variabili del tipo di struttura sullo stack perché la dimensione della struttura non è nota, mentre a volte è preferibile evitare di utilizzare malloc(). Questo può essere (con un parziale successo) risolto con alloca(3) che è presente in tutte le principali implementazioni di libc, sebbene questa funzione non sia conforme a POSIX. Considerati questi piccoli vantaggi e svantaggi, un tale design può essere considerato generalmente buono?

In lib.h:

struct foo; 
extern size_t foo_size; 
int foo_get_bar (struct foo *); 

In lib.c:

struct foo { 
    int bar; 
}; 

size_t foo_size = sizeof foo; 

int foo_get_bar (struct foo *foo) 
{ 
    return foo->bar; 
} 

In example.c:

#include "lib.h" 

int bar(void) { 
    struct foo *foo = alloca (foo_size); 
    foo_init (foo); 
    return foo_get_bar (foo); 
} 

UPD: Aggiornamento della questione, affermando esplicitamente che l'idea di usare alloca() deve essere in grado di dichiarare la struttura sullo stack nascondendo la sua definizione.

Answer 1

Sì, è buona norma nascondere i dati.

Alternativo a alloca(foo_size); è quello di dichiarare un array di caratteri allineati ed eseguire la conversione del puntatore.

La conversione del puntatore non è tuttavia completamente portatile.

L'array di caratteri deve essere un VLA se la dimensione deve essere una variabile e non una costante di tempo di compilazione.

extern size_t size; 

struct sfoo; 

#include <stddef.h> 

int main(void) { 
    unsigned char _Alignas (max_align_t) cptr[size]; 
    // or unsigned char _Alignas (_Complex long double) cptr[size]; // some widest type 
    struct sfoo *sfooptr = (struct sfoo *) cptr; 

Se VLA non sono desiderati/disponibili, dichiarare il formato come una costante come #define foo_N 100 che sarà certamente almeno quanto necessario.

Answer 2

La funzione bar richiama il comportamento non definito: la struttura puntata da foo non è inizializzata.

Se si desidera nascondere i dettagli della struttura, fornire uno foo_create() che ne assegni uno e inizializzi e foo_finalize che rilasci qualsiasi risorsa e lo liberi.

Ciò che si propone potrebbe essere fatto per funzionare, ma è soggetto a errori e non è una soluzione generale.