22
Mi sono reso conto che nel Microsoft .NET Framework il tipo di ritorno void è una struttura. Perché?Perché Void è una struttura?
...
public void TestMethod()
{
}
...
A
risposta
28
Il quadro utilizza a value type called System.Void per rappresentare il tipo di parola chiave void di ritorno per l'utilizzo con la riflessione. Sebbene void significhi la mancanza di un valore di ritorno, è ancora tecnicamente un tipo, e per poter essere espresso come tale nel codice deve essere una struttura (tipo di valore) o una classe (tipo di riferimento).
Vedere MethodInfo.ReturnType per un esempio.
Per quanto riguarda il motivo per cui i progettisti del framework hanno scelto di rendere System.Void una struttura e non una classe è indovinata da nessuno, ma deve essere rappresentata da un tipo in primo luogo. Sono d'accordo con i commenti che è quello di evitare il sovraccarico non necessario in genere associato con ricerche di riferimento, tra le altre ottimizzazioni.
+17
La mia "ipotesi migliore" è che volevano che guardasse, al codice di ispezione, il più vicino possibile a qualcosa che restituisse 0 byte. Una struct senza campi è 0 byte, dove -come un riferimento di classe è 4 o 8. Sebbene sia importante, a livello di IL ovviamente non restituisce nulla, e provare a "popare" quegli 0 byte causerebbe un errore di verifica dell'IL. –
+0
Letture addizionali: http://ahuwanya.net/blog/post/Exploring-SystemVoid-Part-I.aspx http://ahuwanya.net/blog/post/Exploring-SystemVoid-Part-II.aspx – Strelok
+0
Interessante , Non riesco a trovare la dichiarazione effettiva di 'struct Void' in nessun punto della fonte di riferimento. Di solito danno una piccola spiegazione per questo genere di cose nei commenti sorgente. –
Problemi correlati
- 1. PInvoke con un void * rispetto a una struttura con un'IntPtr
- 2. Lancia una struttura Swift a UnsafeMutablePointer <Void>
- 3. Perché javascript: void (0) è considerato dannoso?
- 4. Perché ErrorString una struttura, non è una stringa
- 5. Perché start_routine per il ritorno pthread_create void * e prendere void *
- 6. perché la struttura del sollevatore è scalabile?
- 7. perché la struttura del gioco è scaduta?
- 8. Cosa è const void?
- 9. Perché std :: packaged_task <void()> non è valido?
- 10. C'è un uso pratico della struttura "Void" in .NET
- 11. Perché "operator void" non è invocato con la sintassi cast?
- 12. Perché non posso restituire Void direttamente in una funzione
- 13. Qual è la differenza tra void * e void **?
- 14. Perché digitare cast un puntatore void?
- 15. Perché utilizzare la parola chiave void?
- 16. Perché la struttura sockaddr_storage è definita come è definita?
- 17. C++: il motivo per cui un puntatore di auto di una struttura cambia automaticamente a void *
- 18. Perché una struttura vuota in C# consuma memoria
- 19. Perché boost :: ptr_list utilizza il sottostante * void?
- 20. Dobbiamo malloc una struttura?
- 21. È un indice SQL Server B albero una struttura piatta o una struttura di profondità
- 22. È necessario il prefisso di una funzione con (void)
- 23. È possibile convertire una classe Swift in C void * pointer?
- 24. È una cattiva forma per sincronizzare NSUserDefaults in - (void) dealloc?
- 25. iOS è una struttura statica o dinamica?
- 26. Come verificare se una struttura è inizializzata?
- 27. costruttore java "void" e "non void"
- 28. Estensione di AsyncTask <Void, Void, Void>
- 29. conversione non valida da 'void *' a 'void * (*) (void *)' C++?
- 30. non può convertire '* void (MyClass :: *) (void *) in void * (*) (void *) nella funzione pthread_create
Penso che l'op confonda la parola chiave [void] (http://msdn.microsoft.com/en-us/library/yah0tteb (v = vs80) .aspx) e il [System.Void] (http://msdn.microsoft.com/en-us/library/system.void.aspx) struttura utilizzata in Reflection. – Strelok
In effetti, il punto chiave qui: un metodo 'void' ** non ** (in termini IL) restituisce qualcosa. Se hai scritto IL che ha provato a leggere o "popare" il valore restituito da tale metodo, allora la CLI (e PEVerify) ti direbbero che hai impantanato lo stack. –
I progettisti di Rx sono andati anche con una struttura per ['Unit'] (http://msdn.microsoft.com/en-us/library/system.reactive.unit (v = vs.103)), per quello che è di valore. Forse per rimanere in linea con 'Void'. – ligos