Na verdade não é uma teoria e sim, uma explanação. Assim, vou começar a falar dessa idéia. Antes de continuar, vamos recordar o que já sabemos sobre o void:

• Não contém tipo;
• Não é possível manipulações(acesso e leitura) dos dados diretamente;
• Tem tamanho normalmente correspondente a um byte.

Bom, mas então para que existe o tipo void? Na realidade, o tipo void foi feito para ser um tipo "genérico" e por ser "genérico" quem notar vai perceber que com ele é possível fazermos algo do tipo:

Infelizmente, esse tipo de algoritmo não é possível de se fazer por um único motivo. Esse motivo é que o compilador não permite que declaremos tipos "void" como variáveis (ponteiros é a excessão). Mas, voltando a teoria... Assim, poderíamos alocar qualquer variável apenas informando quantos bytes queremos e deixando a alocação para o programa permitindo-nos ficarmos mais fixados no nosso trabalho.

No código ilustrativo mostrado acima, mesmo contendo alguns errinhos serve para demonstrar o que estava querendo que vocês já soubessem. O tipo void é o tipo primitivo da linguagem C, pois apartir dele podemos formar qualquer outro tipo que existe ou desejamos. Assim, podemos dizer que essa é a variável mais poderosa de todos os tipos. Mas, também a que mais desse o "nível" de todas, talvez, sendo por isso a mais negligenciada.