22
Me di cuenta de que en Microsoft .NET Framework el tipo de devolución void es una estructura. ¿Por qué?¿Por qué Void es una estructura?
...
public void TestMethod()
{
}
...
A
Respuesta
28
El marco utiliza a value type called System.Void para representar la palabra clave void tipo de retorno para su uso con la reflexión. Aunque void significa la falta de un valor de retorno, sigue siendo técnicamente un tipo, y para que se exprese como tal en el código tiene que ser una estructura (tipo de valor) o una clase (tipo de referencia).
Consulte MethodInfo.ReturnType para ver un ejemplo.
En cuanto a por qué los diseñadores de frameworks eligieron hacer System.Void una estructura y no una clase que nadie pueda adivinar, pero tiene que estar representada por un tipo en primer lugar. Estoy de acuerdo con los comentarios de que es para evitar la sobrecarga innecesaria típicamente asociada con las búsquedas de referencia, entre otras optimizaciones.
+17
Mi "mejor suposición" es que querían que se viera, al código de inspección, lo más cerca posible como algo que devuelve 0 bytes. Una estructura sin campos tiene 0 bytes, donde, como referencia de clase, es 4 u 8. Aunque es importante, en el nivel IL obviamente no devuelve nada, y tratar de "explotar" esos 0 bytes provocaría un error de verificación IL. –
+0
Lectura adicional: http://ahuwanya.net/blog/post/Exploring-SystemVoid-Part-I.aspx http://ahuwanya.net/blog/post/Exploring-SystemVoid-Part-II.aspx – Strelok
+0
Curiosamente , Parece que no puedo encontrar la declaración real de 'struct Void' en ninguna parte de la fuente de referencia. Por lo general, dan una pequeña explicación para este tipo de cosas en los comentarios de origen. –
Cuestiones relacionadas
- 1. ¿Por qué sizeof (void) == 1?
- 2. C++: ¿por qué un puntero auto de una estructura cambia automáticamente a void *
- 3. ¿Por qué `boost :: any` es mejor que` void * `?
- 4. ¿Por qué main() en java void?
- 5. ¿Por qué DateTime es una estructura en .Net?
- 6. ¿Qué significa "void * (*) (void *)" en C++?
- 7. ¿Qué es double * (* p [3]) (void * (*)()); ¿media?
- 8. ¿Qué es una estructura "empaquetada" en C?
- 9. ¿Por qué no pasar estructura por referencia una optimización común?
- 10. ¿Por qué start_routine para el retorno pthread_create void * y tomar void *
- 11. ¿Cuál es la diferencia entre void * y void **?
- 12. ¿Por qué la estructura GUID se declara tal como es?
- 13. ¿por qué es posible utilizar estructura indefinida en c
- 14. ¿Por qué javascript: void (0) se considera dañino?
- 15. Extendiendo AsyncTask <Void, Void, Void>
- 16. Python: ¿Por qué extends() y append() devuelven None (void)?
- 17. ¿Por qué .Net no tiene una estructura de datos establecida?
- 18. ¿Por qué no funciona el enlace a una estructura?
- 19. ¿Por qué una estructura C# no puede ser heredada?
- 20. regreso de una función void
- 21. ¿Por qué no podemos inicializar miembros dentro de una estructura?
- 22. Estructura en una estructura
- 23. ¿Qué estuvo mal con void main()?
- 24. ¿Por qué UtteranceProgressListener no es una interfaz?
- 25. ¿Es malo sincronizar NSUserDefaults en - (void) dealloc?
- 26. ¿Es "const LPVOID" equivalente a "void * const"?
- 27. ¿Por qué es necesario invocar: this() en una estructura para usar propiedades automáticas en C#?
- 28. ¿Qué significa la instrucción "(void) startGuardBegin;" do?
- 29. "una estructura tiene herencia pública por defecto"
- 30. ¿Qué significa "const void *" en memmove?
Creo que el op es confundir la palabra clave [void] (http://msdn.microsoft.com/en-us/library/yah0tteb (v = vs.80) .aspx) y el [System.Void] (http://msdn.microsoft.com/en-us/library/system.void.aspx) estructura utilizada en Reflection. – Strelok
De hecho, el punto clave aquí: un método 'void' ** does not ** (en términos de IL) devuelve algo. Si escribió IL que intentó leer o "pop" el valor devuelto por dicho método, entonces la CLI (y PEVerify) le diría que ha destruido la pila. –
Los diseñadores de Rx también incluyeron una estructura para ['Unit'] (http://msdn.microsoft.com/en-us/library/system.reactive.unit (v = vs.103)), para lo que sea que sea valor. Posiblemente para estar en línea con 'Void'. – ligos