O enigma por trás do tamanho diferente de zero das classes C vazias

Em C , a noção de que uma classe vazia não ocuparia memória pode parecer intuitivo. No entanto, esta suposição é desafiada pelo comportamento peculiar onde mesmo classes desprovidas de quaisquer membros exibem um tamanho diferente de zero. Por que esse aparente paradoxo existe?

Acontece que o padrão C proíbe explicitamente que objetos e suas classes correspondentes tenham tamanho zero. Esta estipulação decorre do requisito inerente de diferenciar entre objetos distintos que potencialmente compartilham o mesmo espaço de memória.

O padrão garante essa distinção ao exigir que todas as classes, independentemente de seu conteúdo, tenham um tamanho mínimo de um. Isso evita que dois objetos diferentes tenham endereços de memória idênticos, pois tal condição levaria a um comportamento imprevisível e indesejado.

Conseqüentemente, mesmo quando uma classe é desprovida de quaisquer membros de dados definidos pelo usuário, ela contém inerentemente detalhes de implementação como tabelas de funções virtuais e membros de ponteiro. Esses componentes essenciais contribuem para o tamanho da classe, embora invisível para o usuário, fazendo com que até mesmo classes vazias ocupem uma quantidade de memória diferente de zero.