Où vivent les objets en C : pile, tas ou ailleurs ?

Comprendre la création d'objets en C : pile, tas et autres segments de mémoire

Lors de la création d'objets en C, les développeurs ont le choix entre en les plaçant sur la pile ou le tas en utilisant une syntaxe différente. Cependant, ce choix a des implications au-delà du simple choix entre la mémoire de pile et la mémoire de tas.

Syntaxe de création d'objet

Création d'un objet sur la pile à l'aide d'une simple déclaration d'objet (par exemple, Object o;) le place dans un stockage automatique, où sa durée de vie se termine lorsqu'il devient hors de portée.

D'autre part, créer un objet sur le tas implique d'allouer dynamiquement de la mémoire à l'aide de l'opérateur new (par exemple, Object * o = nouvel objet ();). Cela alloue de la mémoire dynamique, en attribuant le pointeur o à l'objet alloué au tas.

Emplacements et contexte de stockage

Bien que la syntaxe implique la création d'objets sur la pile ou le tas, il est essentiel de comprendre que la norme C ne définit pas explicitement les emplacements de stockage basés sur ces termes. Au lieu de cela, il définit la durée de stockage comme automatique, dynamique, statique ou thread-local.

Stockage automatique (pile)

Variables locales, comme la simple déclaration d'objet Object o;, sont considérés comme un stockage automatique, généralement implémenté sur la pile d'appels. Leur durée de vie est limitée à leur portée.

Stockage dynamique (Heap)

Les objets alloués à l'aide de new ont un stockage dynamique, généralement implémenté sur le tas. Ces objets restent actifs jusqu'à ce qu'ils soient explicitement supprimés à l'aide de delete.

Stockage statique et local de thread

Les variables statiques (déclarées au niveau de l'espace de noms ou de la portée du fichier) et les variables locales de thread sont généralement alloué dans des régions de mémoire spécifiques, ni sur la pile ni sur le tas.

Exemple

Considérez le code suivant :

struct Foo {
    Object o;
};

Foo foo;

int main() {
    Foo f;
    Foo* p = new Foo;
    Foo* pf = &f;
}

• foo.o a un stockage statique, ne vivant ni sur la pile ni sur le tas.
• f.o a un stockage automatique, résidant sur la pile.
• p->o a un stockage dynamique, alloué sur le tas.
• pf->o est le même objet que f.o, accessible via le pointeur pf.

De plus, les pointeurs (comme p et pf) ont également une durée de stockage, généralement automatique, qui est déterminé par le contexte.

Conclusion

Comprendre la création d'objets en C va au-delà du choix entre pile et tas. La durée de stockage et le contexte d'un objet déterminent son emplacement en mémoire. En tenant compte de ces facteurs, les développeurs peuvent optimiser l'utilisation de la mémoire et éviter les erreurs potentielles.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!