Une structure C# est-elle jamais encadrée lorsqu'elle est utilisée comme valeur de retour d'une fonction?

Question

Une question simple, mais je n'ai pas trouvé de réponse définitive sur Stack Overflow.

struct foo { int x; int y; int z; } 

    foo Func() 
    { 
     return new foo(); 
    } 
    void Func2() 
    { 
     foo f = Func();  // did boxing and unboxing occur? 
    } 

Est-ce une struct C# (type de valeur) toujours copiés à la pile lors du retour d'une fonction, peu importe la taille, il pourrait être? La raison pour laquelle je ne suis pas sûr est que pour certains jeux d'instructions autres que MSIL (tels que x86), une valeur de retour doit généralement entrer dans un registre de processeur, et la pile n'est pas directement impliquée.

Si oui, est-ce le site d'appel qui pré-alloue de l'espace sur la pile CLR pour le type de retour de valeur (attendue)?

[modifier: résumé des réponses:] Pour l'intention de la question initiale, la réponse est non; le CLR ne placera jamais (silencieusement) une structure juste dans le but de l'envoyer comme valeur de retour.

Answer 1

Il s'agit d'un détail d'implémentation lourd du compilateur JIT. En général, si la structure est assez petite et a des membres simples, elle est renvoyée dans les registres du processeur. S'il devient trop grand, le code appelant réserve suffisamment d'espace sur la pile et passe un pointeur vers cet espace en tant qu'argument caché supplémentaire.

Il ne sera jamais encadré, à moins que le type de retour de la méthode soit objet bien sûr. Fwiw: c'est aussi la raison pour laquelle le débogueur ne peut pas afficher la valeur de retour de la fonction dans la fenêtre Autos. Douloureux parfois. Mais le débogueur ne reçoit pas assez de métadonnées du compilateur JIT pour savoir exactement où trouver la valeur. Edit: corrigé dans VS2013.

Answer 2

Une structure est encadrée chaque fois que vous voulez la traiter comme object, donc si vous appelez Func et que vous affectez le résultat à l'objet, il sera encadré.

E.g. faisant

object o = Func(); 

donnera les éléments suivants IL

L_0000: call valuetype TestApp.foo TestApp.Program::Func() 
L_0005: box TestApp.foo 
L_000a: stloc.0 

qui montre que la valeur de retour est encaissée, parce que nous attribuons à une référence du type object.

Si vous l'attribuez à une variable de type Foo, elle n'est pas encadrée et est donc copiée et la valeur est stockée dans la pile.

Aussi, la boxe ne vous aiderait pas vraiment ici car cela impliquerait de créer un objet pour représenter la valeur de la structure, et les valeurs sont effectivement copiées pendant l'opération de boxe.