Piense en el vacío como la "estructura vacía". Dejame explicar.
Cada función toma una secuencia de parámetros, donde cada parámetro tiene un tipo. De hecho, podríamos agrupar los parámetros en una estructura, con los espacios de estructura correspondientes a los parámetros. Esto hace que cada función tenga exactamente un argumento. Del mismo modo, las funciones producen un resultado, que tiene un tipo. Podría ser un booleano, o podría ser flotante, o podría ser una estructura, que contiene un conjunto arbitrario de otros valores escritos. Si queremos un lenguaje que tenga múltiples valores de retorno, es fácil insistir en que se empaqueten en una estructura. De hecho, siempre podemos insistir en que una función devuelve una estructura. Ahora cada función toma exactamente un argumento y produce exactamente un valor.
Ahora, ¿qué sucede cuando necesito una función que produce un valor "no"? Bueno, considere lo que obtengo cuando formo una estructura con 3 ranuras: contiene 3 valores. Cuando tengo 2 ranuras, tiene dos valores. Cuando tiene una ranura, un valor. Y cuando tiene cero ranuras, contiene ... uh, valores cero o "no" valor ". Entonces, puedo pensar en una función que devuelve void como una estructura que no contiene valores. Incluso puede decidir que" void " es solo un sinónimo del tipo representado por la estructura vacía, en lugar de una palabra clave en el idioma (quizás sea solo un tipo predefinido :)
Del mismo modo, puedo pensar en una función que no requiere valores como aceptar una estructura vacía, por ejemplo, "vacío".
Incluso puedo implementar mi lenguaje de programación de esta manera. Pasar un valor vacío ocupa cero bytes, por lo que pasar valores vacíos es solo un caso especial de pasar otros valores de tamaño arbitrario. Esto facilita que el compilador trate el resultado o argumento "nulo". Probablemente desee una función de idioma que pueda descartar el resultado de una función; en C, si llama a la función de resultado no nula foo en la siguiente declaración: foo (...); el compilador sabe que foo produce un resultado y simplemente lo ignora. Si void es un valor, esto funciona perfectamente y ahora los "procedimientos" (que son solo un adjetivo para una función con resultado void) son solo casos especiales triviales de funciones generales.
Void * es un poco más divertido. No creo que los diseñadores de C pensaron en vacío de la manera anterior; Acaban de crear una palabra clave. Esa palabra clave estaba disponible cuando alguien necesitaba un punto para un tipo arbitrario, por lo tanto nulo * como el modismo en C. En realidad, funciona bastante bien si interpreta nulo como una estructura vacía. Un puntero nulo * es la dirección de un lugar donde se ha colocado esa estructura vacía.
Los lanzamientos de nulo * a T * para otros tipos T, también funcionan con esta perspectiva. Los lanzamientos de punteros son un truco completo que funciona en la mayoría de las arquitecturas comunes para aprovechar el hecho de que si un tipo compuesto T tiene un elemento con el subtipo S colocado físicamente al comienzo de T en su diseño de almacenamiento, entonces lanza S * a T * y viceversa, el uso de la misma dirección de máquina física tiende a funcionar, ya que la mayoría de los punteros de máquina tienen una única representación. Reemplazar el tipo S por el tipo void produce exactamente el mismo efecto, y por lo tanto, lanzar hacia / desde void * funciona.
El lenguaje de programación PARLANSE implementa las ideas anteriores muy de cerca. Nos burlamos de su diseño y no prestamos mucha atención al "vacío" como tipo de retorno y, por lo tanto, tenemos palabras clave de lenguaje para el procedimiento. Es principalmente un simple cambio de sintaxis, pero es una de las cosas a las que no se puede acceder una vez que obtiene un código de trabajo de gran cuerpo en un idioma.