C ++ Pile et portée

C'est probablement que le compilateur met sur le même cadre de pile. Donc, même si A n'est pas accessible à l'extérieur de sa portée, le compilateur est libre de le lier à un endroit en mémoire tant que cela ne corrompre pas la sémantique du code. En bref, ils obtiennent les deux sur la pile en même temps que vous exécutez votre principal.

Réutiliser un espace de pile pour les locaux comme celui-ci est une optimisation très courante. En fait, sur une construction optimisée, si vous n'avez pas pris l'adresse des locaux, le compilateur pourrait même pas allouer de l'espace de pile et la variable ne vivrait que dans un registre.

Vous ne voyez peut-être pas que cette optimisation se produit pour plusieurs raisons.

Premièrement, si les optimisations sont éteintes (comme une construction de débogage), le compilateur ne fera que de ne pas faire de débogage, vous pouvez afficher la valeur d'un même s'il n'est plus utilisé dans la fonction.

Si vous compilez avec des optimisations, je suppose que vous recevez depuis que vous prenez l'adresse de la section locale et la transmettant à une autre fonction, le compilateur ne veut pas réutiliser le magasin puisqu'il n'est pas clair ce que cette fonction fait avec l'adresse.

On peut également imaginer un compilateur qui n'utiliserait pas cette optimisation à moins que l'espace de pile utilisé par une fonction dépasse certains seuils. Je ne connais pas de compilateurs qui le font, car la réutilisation de la réutilisation de l'espace de variables locales qui ne sont plus utilisées n'a plus de coût de zéro et pourrait être appliquée à travers le tableau.

Si la croissance de la pile est une préoccupation sérieuse pour votre application, c'est-à-dire dans certains scénarios, vous frappez des débordements de pile, vous ne devez pas compter sur l'optimisation de l'espace de pile du compilateur. Vous devriez envisager de déplacer de gros tampons sur la pile vers le tas et de travailler pour éliminer la récursion très profonde. Par exemple, sur les threads Windows ont une pile de 1 Mo par défaut. Si vous craignez de déborder que, car vous allouiez 1k de mémoire sur chaque cadre de pile et que vous allez 1000 appels récursifs profonds, le correctif n'est pas d'essayer de coaxer le compilateur pour économiser de l'espace de chaque image de pile.

A est alloué sur la pile après B. B est déclaré après A dans le code (qui n'est pas autorisé par C90 à la manière), mais il est toujours dans la portée supérieure de la fonction principale et existe donc depuis le début de la fin de la fin. Donc, B est poussé lorsque le démarrage principal, A est poussé lorsque la portée intérieure est entrée et apparaissait lorsqu'elle est laissée, puis B est apparu lorsque la fonction principale est laissée.