¿Es este el tipo de método real sin retorno de retorno?¿Cómo especifica el tipo System.Void un tipo de valor devuelto para un método que no devuelve un valor?
Si es así, ¿dónde se hace la distinción de que se devuelve "nada"?
No estoy seguro exactamente de lo que está buscando. Hay un System.Void y una palabra clave 'void'.
La palabra clave se usa por las razones indicadas en su definición del tipo. El tipo se utiliza en la reflexión cuando se pregunta qué tipo 'devolverá' una información de método.
Este tipo de valor es en realidad para uso de reflexión. Supongamos que desea consultar el tipo de devolución de un método. ¿Qué valor obtendrías? Esto es para lo que System.Void es.
Pero la documentación ya dice:
La estructura de vacío se utiliza en el espacio de nombres System.Reflection, pero rara vez es útil en una aplicación típica. La estructura Void no tiene más miembros que los heredados de la clase Object.
El método no devuelve nada; sin valor de retorno aparece en la pila (en contraposición a un valor nulo, todos los ceros, una referencia a System.Void, etc.)
El tipo System.Void es sólo un marcador de posición para las API de reflexión para que la reflexión tiene una forma conveniente para contar usted que el método no devuelve un valor.