Quand les structs ne vivent-ils pas sur la pile?

Question

Je lis les critiques de livres de Jon Skeet et il passe en revue les numerous inaccuracies de Head First C#.

L'un d'eux a attiré mon attention:

[Sous erreurs Section] Prétendre que struct vivent toujours sur la pile.

Dans quelles situations structurerait et non sur la pile? Cela va à l'encontre de ce que je croyais savoir sur les structures.

Answer 1

Un exemple courant est où la structure est un membre d'un objet qui est alloué dans le tas. Il y a beaucoup de détails supplémentaires dans cette question ici. What’s the difference between struct and class in .Net?

Answer 2

Lorsque l'instance d'un value type obtient boxed, la boîte, et par conséquent l'instance elle-même, est déplacé sur le tas. Bien que, il ne fait aucun doute qu'une instance de type valeur de membre non-classe lors de la première création est toujours créée sur la pile.

Une structure est un type de valeur. Donc, il se comporte comme ci-dessus.

Answer 3

Chaque fois qu'ils sont un champ sur une classe

exemples inhabituels de cette:

a: Lorsqu'une variable valeur de type est capturée:

int i = 2; 
Action action = delegate {i++;} 
action(); 
Console.WriteLine(i); 

C'est compilé à quelque chose plus comme:

class Foo { 
    public int i; 
    public void Bar() {i++;} 
} 
... 
Foo foo = new Foo(); 
foo.i = 2; 
Action action = foo.Bar; 
action(); 
Console.WriteLine(foo.i); 

b: Lorsqu'une variable valeur de type est utilisée dans un bloc itérateur:

IEnumerable<int> GetValues() { 
    for(int i = 0 ; i < 5 ; i++) yield return i; 
} 

(le compilateur génère une machine d'état pour représenter l'itérateur, dont toutes les variables locales (telles que i) sont des champs)

Answer 4

Tout comme un exemple de the answer from 1800 INFORMATION:

public class Foo 
{ 
    int x; 

    public Foo(int y) 
    { 
     x = y; 
    } 
} 

... 

Foo foo = new Foo(10); 

maintenant, après que le constructeur a terminé son exécution, la valeur de foo.x est 10. Où se trouve foo.x en mémoire? Sur le tas. Quel est le type de foo.x? int aka System.Int32, qui est une struct. Les autres réponses sur les variables capturées et la boxe etc sont correctes aussi ("sorte de" dans le cas de boxe - je vais ajouter un commentaire), mais cet exemple est le plus simple et le plus important, IMO.

Answer 5

déjà mentionné en profondeur par d'autres

• champ membres valeurs
• struct boxed (strictement ils sont alors aucun type de valeur plus)

En plus:

• Une tableau de structures réside entièrement sur le tas
• structures statiques (pas sur la pile ou le tas, mais dans une zone spéciale de leurs propres)

Answer 6

Le livre a fait l'erreur de confondre la mécanique de frappe avec la mécanique de la portée. Un type de valeur n'est pas un type de référence. Ses données sont copiées lorsque vous appelez une méthode en l'utilisant comme argument (sans ref ou out). Les types de valeur vont vivre sur la pile dans le cadre d'une méthode, plutôt que sur le tas comme le fait un objet de référence, mais cela ne veut pas dire qu'elle restera toujours sur la pile. Ainsi, le livre fait une déclaration d'utilisation au lieu d'une déclaration mécanique, et confond les deux. Ce n'est pas une affirmation sans fondement totale, mais c'est faux.

Les types de valeur seront détenus partout où se trouve leur propriétaire. Donc, si leur portée est une méthode, ils seront sur la pile. Si leur portée est un objet, ils vont vivre avec l'objet sur le tas. Avec cela, il est assez sûr de dire, un type de valeur est préférable de rester immuable, car la plupart des gens ont du mal à prédire la mécanique de la valeur de type valeur.