Conceito de ponteiros opacos

Até agora, quando definimos uma struct em um arquivo de cabeçalho, qualquer pessoa que inclua esse cabeçalho pode ver e acessar diretamente todos os seus membros. Isso quebra o encapsulamento: o princípio de ocultar detalhes internos do código externo.

C oferece uma técnica poderosa chamada ponteiros opacos para resolver isso. A ideia é simples: declarar que uma estrutura existe no cabeçalho, mas não revelar o que há dentro dela. Isso é feito usando um tipo incompleto:

// wallet.h
typedef struct Wallet Wallet;  // Apenas declaração — sem corpo!

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

Observe que não há chaves. Nunca definimos o que Wallet contém. O compilador sabe que o tipo existe, mas não conhece seu tamanho nem seus membros. Isso significa que o código que inclui este cabeçalho só pode trabalhar com ponteiros para Wallet, nunca diretamente com a própria struct.

Por que isso importa? Porque a definição real da estrutura fica oculta no arquivo .c, qualquer código que use seu cabeçalho não pode escrever w->balance nem sizeof(Wallet). É preciso usar as funções que você fornece. Você controla todo o acesso aos dados e pode alterar a estrutura interna mais tarde sem quebrar nenhum código que dependa do seu cabeçalho.

Na próxima lição, você vai praticar a definição do corpo real da struct dentro do arquivo-fonte, completando o padrão de ponteiro opaco.