Allocation de mémoire : Pile ou tas ?

Question

Je m'embrouille avec les bases de l'allocation de mémoire entre Pile et tas . D'après la définition standard (ce que tout le monde dit), tout Types de valeurs sera alloué à un Pile y Référence Les types vont aller dans le Amas .

Considérons maintenant l'exemple suivant :

class MyClass
{
    int myInt = 0;    
    string myString = "Something";
}

class Program
{
    static void Main(string[] args)
    {
       MyClass m = new MyClass();
    }
}

Maintenant, comment l'allocation de mémoire se passe-t-elle en C# ? Est-ce que l'objet de MyClass (c'est-à-dire, m ) seront entièrement alloués au tas ? C'est-à-dire, int myInt y string myString les deux vont aller au tas ?

Ou bien, l'objet sera divisé en deux parties et sera alloué aux deux emplacements mémoire, à savoir la pile et le tas ?

Answer 1

Vous devez vous poser la question suivante où sont alloués en tant que détail d'implémentation. L'endroit exact où sont stockés les bits d'un objet n'a pas d'importance pour vous. Il peut être important de savoir si un objet est un type de référence ou un type de valeur, mais vous n'avez pas à vous soucier de l'endroit où il sera stocké jusqu'à ce que vous commenciez à devoir optimiser le comportement du ramassage des ordures.

Alors que les types de référence sont toujours alloués sur le tas dans les implémentations actuelles, les types de valeur mai être alloués sur la pile -- mais ne le sont pas nécessairement. Un type de valeur n'est alloué sur la pile que lorsqu'il s'agit d'une variable locale ou temporaire non encapsulée et non évocatrice, qui n'est pas contenue dans un type de référence et qui n'est pas allouée dans un registre.

• Si un type de valeur fait partie d'une classe (comme dans votre exemple), il se retrouvera sur le tas.
• S'il est emballé, il finira sur le tas.
• S'il est dans un tableau, il finira sur le tas.
• Si c'est une variable statique, elle se retrouvera sur le tas.
• S'il est capturé par une fermeture, il finira sur le tas.
• S'il est utilisé dans un itérateur ou un bloc asynchrone, il se retrouvera sur le tas.
• S'il est créé par du code non sécurisé ou non géré, il peut être alloué dans n'importe quel type de structure de données (pas nécessairement une pile ou un tas).

Y a-t-il quelque chose que j'ai manqué ?

Bien entendu, je m'en voudrais de ne pas mentionner les articles d'Eric Lippert sur le sujet :

• La pile est un détail d'implémentation, première partie
• La pile est un détail d'implémentation, deuxième partie
• Et peut-être la meilleure : La vérité sur les types de valeurs

Answer 2

m est alloué sur le tas, et cela inclut myInt . Les situations où les types primitifs (et les structs) sont alloués sur la pile sont lors de l'invocation de la méthode, qui alloue de la place pour les variables locales sur la pile (parce que c'est plus rapide). Par exemple :

class MyClass
{
    int myInt = 0;

    string myString = "Something";

    void Foo(int x, int y) {
       int rv = x + y + myInt;
       myInt = 2^rv;
    }
}

rv , x , y seront tous sur la pile. myInt se trouve quelque part sur le tas (et doit être accessible via la commande this pointeur).

Answer 3

"Tous les types de VALEURS seront alloués à la pile" est très, très faux ; les variables struct. peut vivent sur la pile, en tant que variables de méthode. Cependant, les champs d'un type vivre avec ce type . Si le type de déclaration d'un champ est une classe, les valeurs sont sur le tas en tant que partie de cet objet. Si le type de déclaration d'un champ est une structure, les champs font partie de cette structure. où que ce soit qui structurent les vies.

Variables de la méthode Even peut être sur le tas, s'ils sont capturé (lambda/anon-méthode), ou une partie (par exemple) d'un bloc itérateur.

Answer 4

Excellente explication :

• Partie 1 : http://www.c-sharpcorner.com/uploadfile/rmcochran/csharp_memory01122006130034pm/csharp_memory.aspx

• Partie 2 : http://www.c-sharpcorner.com/UploadFile/rmcochran/csharp_memory2B01142006125918PM/csharp_memory2B.aspx

• Partie 3 : http://www.c-sharpcorner.com/UploadFile/rmcochran/chsarp_memory401152006094206AM/chsarp_memory4.aspx

• Partie 4 : http://www.c-sharpcorner.com/uploadfile/rmcochran/csharp_memory_401282006141834pm/csharp_memory_4.aspx

Answer 5

Mesures simples

Le type de valeur peut être stocké sur la pile, c'est le détail d'implémentation, il peut être alloué à une structure de données futuriste.

Il est donc préférable de comprendre comment fonctionnent les types de valeur et de référence. Le type de valeur sera copié par la valeur, c'est-à-dire que si vous passez un type de valeur comme paramètre à une FONCTION, il sera copié par nature, ce qui signifie que vous aurez une copie totalement nouvelle.

Les types de référence sont transmis par référence (ne considérez pas que la référence stockera à nouveau une adresse dans des versions futures, elle peut être stockée dans d'autres structures de données).

donc dans votre cas

myInt est un int qui est encapsulé dans une classe qui, bien sûr, est un type de référence, donc il sera lié à l'instance de la classe qui sera stockée sur 'THE HEAP'.

Je vous suggère de commencer à lire les blogs écrits par ERIC LIPPERTS.

Le blog d'Eric