Il concetto di puntatori opachi

Finora, quando definiamo una struct in un file header, chiunque includa quell'header può vedere e accedere direttamente a tutti i suoi membri. Questo compromette l'incapsulamento: il principio di nascondere i dettagli interni al codice esterno.

C offre una tecnica potente chiamata puntatori opachi per risolvere questo problema. L'idea è semplice: dichiarare che una struct esiste nell'header, senza rivelare cosa contiene. Questo si fa usando un tipo incompleto:

// wallet.h
typedef struct Wallet Wallet;  // Declaration only - no body!

Wallet *create_wallet(int initial_balance);
void free_wallet(Wallet *w);

Nota che non ci sono parentesi graffe. Non definiamo mai cosa contiene Wallet. Il compilatore sa che il tipo esiste, ma non ne conosce le dimensioni né i membri. Ciò significa che il codice che include questo header può lavorare solo con puntatori a Wallet, mai direttamente con la struct stessa.

Perché è importante? Poiché la definizione effettiva della struct è nascosta nel file .c, il codice che usa il tuo header non può scrivere w->balance né sizeof(Wallet). Deve usare le funzioni che fornisci. Controlli tu ogni accesso ai dati e puoi modificare la struttura interna in seguito senza interrompere il funzionamento del codice che dipende dal tuo header.

Nella prossima lezione, ti eserciterai a definire il corpo effettivo della struct all'interno del file sorgente, completando il pattern del puntatore opaco.