Vacío

Semántica

La semántica de la palabra clave voidno está sujeta a la semántica general de los especificadores de tipo y depende del uso:

• Como el nombre de un tipo de devolución de función: indica que la función no devuelve un valor y que la llamada a la función es una expresión vacía . El cuerpo de dicha función no debe contener declaraciones de retorno con expresiones. Por ejemplo:vacíof ( );
• Como parte de un declarador de función : indica que la función tiene un prototipo y no tiene parámetros. Por ejemplo:int f ( vacío );
• Como el nombre del tipo de destino de una operación de conversión: tal conversión vacía significa descartar el valor de la expresión de conversión. Por ejemplo:#define promover_ptr() ((vacío) (ptr++))
• Como parte de un nombre de tipo de puntero vacío : dicho puntero es capaz de representar los valores de cualquier puntero a objeto y tipos incompletos , es decir, las direcciones de cualquier objeto . Por lo tanto, void-pointer es un puntero de objeto generalizado . void-Los punteros no son capaces de representar los valores de los punteros de función . Excepto en el caso de convertir un puntero nulo const a un puntero de función en C, no hay conversiones explícitas o implícitasvoid entre punteros y punteros de función.

El tipo voidse define como un tipo incompleto que no se puede completar. Como consecuencia, este tipo no debe usarse donde solo se permiten tipos completos, como un tipo de parámetro en una definición de función .

El lenguaje C antes de void

Antes de la publicación del primer estándar C en 1989, que introdujo la palabra clave void, era una práctica común declarar funciones que no devolvían valores sin usar especificadores de tipo. Si bien tal declaración era semánticamente equivalente a declarar una función que devolvía un valor de tipo int, los especificadores de tipo omitidos intencionalmente enfatizaban que la función no devolvía ningún valor en particular. Por ejemplo: