Considere la siguiente función de C #:

void DoWork()
{
    ...
}

La documentación de C # establece:

Cuando se usa como el tipo de retorno para un método, void especifica que el métodono devuelve un valor.

Eso parece bastante sencillo y, en la mayoría de los casos, es una definición justa.

Sin embargo, para muchos idiomas de nivel inferior (es decir, C), "vacío" tiene un significado ligeramente diferente. En concreto, todos los bloques de código deben devolver.alguna cosa. Por lo tanto,void es una representación del puntero nulo que es una representación de "nada". En tal caso, no es necesario tener unreturn declaración dentro de su código porque cualquier instrucción de bloque que no devuelva un valor automáticamente devuelve un puntero nulo.

¿Es esto lo que hace C # o cuando unvoid se llama a la función, ¿ejecuta un bloque de código y regresa sin siquiera tener un puntero que contenga un valor de vacío?