Pense no vazio como a "estrutura vazia". Deixe-me explicar.
Toda função usa uma sequência de parâmetros, onde cada parâmetro tem um tipo. De fato, podemos empacotar os parâmetros em uma estrutura, com os slots de estrutura correspondentes aos parâmetros. Isso faz com que cada função tenha exatamente um argumento. Da mesma forma, funções produzem um resultado, que tem um tipo. Pode ser um booleano, ou pode ser flutuante, ou pode ser uma estrutura, contendo um conjunto arbitrário de outros valores digitados. Se queremos um idioma que tenha vários valores de retorno, é fácil insistir que eles sejam empacotados em uma estrutura. De fato, sempre poderíamos insistir que uma função retornasse uma estrutura. Agora toda função usa exatamente um argumento e produz exatamente um valor.
Agora, o que acontece quando eu preciso de uma função que produza um valor "não"? Bem, considere o que recebo quando forme uma estrutura com 3 slots: ela contém 3 valores. Quando tenho 2 slots, ele contém dois valores. Quando tem um slot, um valor. E quando tem zero slots, ele mantém ... uh, valores zero ou "no" value ". Então, posso pensar em uma função retornando nula como retornando uma estrutura que não contém valores. Você pode até decidir que" nula " é apenas um sinônimo para o tipo representado pela estrutura vazia, em vez de uma palavra-chave no idioma (talvez seja apenas um tipo predefinido :)
Da mesma forma, posso pensar em uma função que não requer valores como aceitar uma estrutura vazia, por exemplo, "void".
Eu posso até implementar minha linguagem de programação dessa maneira. A passagem de um valor nulo ocupa zero bytes, portanto, a passagem de valores nulos é apenas um caso especial de transmissão de outros valores de tamanho arbitrário. Isso facilita para o compilador tratar o resultado ou argumento "nulo". Você provavelmente deseja um recurso de linguagem que possa jogar fora um resultado de função; em C, se você chamar a função de resultado não nulo foo na seguinte instrução: foo (...); o compilador sabe que foo produz um resultado e simplesmente o ignora. Se nulo é um valor, isso funciona perfeitamente e agora "procedimentos" (que são apenas um adjetivo para uma função com resultado nulo) são apenas casos especiais triviais de funções gerais.
Void * é um pouco mais engraçado. Eu não acho que os designers de C pensaram em vazio da maneira acima; eles apenas criaram uma palavra-chave. Essa palavra-chave estava disponível quando alguém precisava de um ponto para um tipo arbitrário, portanto nulo * como o idioma em C. Na verdade, funciona muito bem se você interpretar nulo como uma estrutura vazia. Um ponteiro nulo * é o endereço de um local onde essa estrutura vazia foi colocada.
As transmissões de void * para T * para outros tipos T também funcionam com essa perspectiva. As conversões de ponteiro são um truque completo que funciona nas arquiteturas mais comuns para aproveitar o fato de que, se um tipo de composto T tiver um elemento com o subtipo S colocado fisicamente no início de T em seu layout de armazenamento, então converter S * para T * e vice-versa, usando o mesmo endereço físico da máquina tende a dar certo, já que a maioria dos ponteiros de máquinas tem uma única representação. Substituir o tipo S pelo tipo vazio dá exatamente o mesmo efeito e, assim, a conversão de / para vazio * funciona.
A linguagem de programação PARLANSE implementa as idéias acima de perto. Fizemos uma brincadeira em seu design e não prestamos muita atenção a "void" como um tipo de retorno e, portanto, temos palavras-chave de idioma para procedimento. Principalmente é apenas uma simples mudança de sintaxe, mas é uma das coisas que você não consegue quando obtém um grande código de funcionamento do corpo em um idioma.