C++ variable locale à la destruction de l'ordre

Est-il défini l'ordre dans lequel les variables locales sont désalloués en C++ (11) ?
Pour être plus concis: Dans l'ordre effets secondaires de la destructeurs de deux variables locales dans le même champ d'application deviennent visibles?

par exemple:

struct X{
  ~X(){/*do something*/}
}

int main(){
   X x1;
   X x2;
   return 0;
}

Est x1 ou x2 détruits première principale en cas de retours ou de la commande est pas défini en C++11?

InformationsquelleAutor gexicide | 2013-02-04
  1. 62

    Sein de chaque catégorie de classes de stockage (sauf les objets alloués dynamiquement), les objets sont détruits dans l'ordre inverse de la construction.

    • Quelle est la partie de la norme C++ des garanties de cet ordre?
    • Une partie différente pour chaque catégorie. Pour les objets avec du fil local ou du stockage statique, voir §3.6.3. Pour les objets avec de l'auto de vie voir §6.6 (qui est pas où l'on pourrait s'attendre à le chercher). Pour les membres de la classe et les bases, voir §12.4/8. Pour les temporaires, voir §12.2.
    • Temporaires ne pas suivre strictement ce PRINCIPE de la commande, en raison de la durée de vie d'extension lorsqu'une référence directement lie une.
    • sous-estimée commentaire.
    InformationsquelleAutor James Kanze
  2. 22

    I. à Propos des variables locales

    1. Les variables locales sont attribués sur la Pile.

    2. La Pile est basé sur un LIFO (Last-In-First-Out) modèle.

    3. Si les variables sont détruits et libérés dans l'ordre inverse de la répartition et de la construction.

    II. Sur votre exemple

    Votre fonction main() est appelé:

    • x1 est alloué et construit sur le Pile,
    • x2 est alloué et construit sur le Pile

    et lorsque la fin de la main() portée de la fonction est atteint:

    • x2 est détruit et libéré de la Pile,
    • x1 est détruit et libéré de la Pile

    III. En outre

    La Pile ressembler à ceci:

    (Comportement de Pile semble plus compréhensible avec un régime)

    C++ variable locale à la destruction de l'ordre

    • Bien que je ne suis pas en désaccord avec l'image, la mise en œuvre n'est pas le pousser/popping plus et ça a été le cas pour les âges. Au lieu de cela il fait une sub %esp, <size> et à la sortie il ne add %esp, <size>. Donc, en d'autres termes, tous les nécessaires de l'espace est alloué en un seul coup (seulement alloca() de façon dynamique réduire le pointeur de pile plus loin.)
    • Cette question n'a rien à voir avec l'existence d'une pile ou de la direction dans laquelle les choses sont alloués sur elle. Il a à voir avec lexicale étendues d'être abandonné dans l'ordre inverse de leur création. Les objets x1 et x2 peut être attribuée dans le cadre de la pile dans n'importe quel ordre. Ou même pas du tout; par exemple, ils peuvent être vides des structures.
    • Spooky! Commentaires dans le même sens sur la réponse à partir de 2014 en quelques secondes les uns des autres.
    InformationsquelleAutor Axel Borja
  3. 7

    C'est un Stack Data Structure comportement, de sorte que les variables locales dans les magasins de la Pile en tant que LIFO (Last-In-First-Out) structure de données, vous pouvez imaginer que, dans un PRINCIPE de structure de données, la dernière variable ajoutée à la structure doit être le premier à être supprimé. les variables sont removed de la pile dans le reverse order à l'ordre de leur ajout.

    • Les piles sont LIFO, FIFO pas. (Files d'attente FIFO.)
    InformationsquelleAutor Reza Ebrahimi
  4. 4

    Ils sont détruits dans le sens inverse de l'allocation de commande, voir cette SORTE de question. Dans ce cas, cela signifie que x2 sera détruit avant x1.

    InformationsquelleAutor PrisonMonkeys
  5. 2

    Ils seront détruits à la suite d'un ordre inverse de leur construction.

    • En fait, dans l'ordre inverse de leur construction.
    InformationsquelleAutor UmNyobe