Kolejność wywołań konstruktora składowego i destruktora

Och, guru C ++, szukam twojej mądrości. Powiedz mi standardowym i powiedz mi, czy C ++ gwarantuje, że następujący program:

#include <iostream>
using namespace std;

struct A
{
    A() { cout << "A::A" << endl; }
    ~A() { cout << "A::~" << endl; }
};

struct B
{
    B() { cout << "B::B" << endl; }
    ~B() { cout << "B::~" << endl; }
};

struct C
{
    C() { cout << "C::C" << endl; }
    ~C() { cout << "C::~" << endl; }
};

struct Aggregate
{
    A a;
    B b;
    C c;
};

int main()
{
    Aggregate a;
    return 0;
}

zawsze będzie produkować

A::A
B::B
C::C
C::~
B::~
A::~

Innymi słowy, czy gwarantuje się, że członkowie zostaną zainicjowani zgodnie z kolejnością deklaracji i zniszczeni w odwrotnej kolejności?

Innymi słowy, czy gwarantuje się, że członkowie zostaną zainicjowani zgodnie z kolejnością deklaracji i zniszczeni w odwrotnej kolejności?

Tak dla obu. Patrz 12.6.2

6 Inicjalizacja powinna przebiegać w następującej kolejności:

• Po pierwsze i tylko dla konstruktora klasy najbardziej pochodnej, jak opisano poniżej, wirtualne klasy bazowe powinny być inicjowane w kolejności, w jakiej pojawiają się na przechodzeniu w głąb od lewej do prawej skierowanego acyklicznego grafu klas bazowych, gdzie „lewa -to-right ”to kolejność pojawiania się nazw klas bazowych na liście specyfikatorów-bazowych klas pochodnych.

• Następnie bezpośrednie klasy bazowe zostaną zainicjowane w kolejności deklaracji, w jakiej pojawiają się na liście specyfikatorów bazowych (niezależnie od kolejności inicjalizatorów pamięci).

• Następnie niestatyczne składowe danych zostaną zainicjowane w kolejności, w jakiej zostały zadeklarowane w definicji klasy (ponownie niezależnie od kolejności inicjalizatorów pamięci).

• Na koniec wykonywana jest instrukcja złożona treści konstruktora. [Uwaga: kolejność deklaracji ma na celu zapewnienie, że podobiekty bazowe i składowe zostaną zniszczone w odwrotnej kolejności inicjalizacji. —End note]

Tak, są (to znaczy niestatyczni członkowie). Patrz 12.6.2 / 5 dla inicjalizacji (konstrukcja) i 12.4 / 6 dla zniszczenia.

Tak, standard gwarantuje, że obiekty zostaną zniszczone w odwrotnej kolejności, w jakiej zostały utworzone. Powodem jest to, że jeden przedmiot może używać innego, a zatem polegać na nim. Rozważać:

struct A { };

struct B {
 A &a;
 B(A& a) : a(a) { }
};

int main() {
    A a;
    B b(a);
}

Jeśli amiały zniszczeniu zanim bpotem bbędzie posiadać nieprawidłowy członkowskie odniesienia. Niszcząc obiekty w odwrotnej kolejności, w jakiej powstały, gwarantujemy prawidłowe zniszczenie.

Tak i tak. Kolejność niszczenia jest zawsze odwrotna do kolejności konstrukcji dla zmiennych składowych.