Urutan panggilan konstruktor dan destruktor anggota

Oh C ++ guru, saya mencari kebijaksanaan Anda. Bicaralah dengan bahasa standar kepada saya dan beri tahu saya jika C ++ menjamin bahwa program berikut:

#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;
}

akan selalu menghasilkan

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

Dengan kata lain, apakah anggota dijamin akan diinisialisasi dengan perintah deklarasi dan dimusnahkan dalam urutan terbalik?

Dengan kata lain, apakah anggota dijamin akan diinisialisasi dengan perintah deklarasi dan dimusnahkan dalam urutan terbalik?

Ya untuk keduanya. Lihat 12.6.2

6 Inisialisasi akan dilanjutkan dengan urutan sebagai berikut:

• Pertama, dan hanya untuk konstruktor dari kelas yang paling banyak diturunkan seperti dijelaskan di bawah ini, kelas dasar virtual harus diinisialisasi dalam urutan kemunculannya pada lintasan kiri-ke-kanan pertama kedalaman dari grafik asiklik kelas dasar, di mana "kiri -to-right ”adalah urutan kemunculan nama-nama kelas dasar dalam daftar penentu-dasar kelas turunan.

• Kemudian, kelas-kelas dasar langsung harus diinisialisasi dalam urutan deklarasi seperti yang muncul dalam daftar-penentu-dasar (terlepas dari urutan penginisialisasi-mem).

• Kemudian, anggota data non-statis harus diinisialisasi dalam urutan mereka dideklarasikan dalam definisi kelas (sekali lagi terlepas dari urutan penginisialisasi mem).

• Akhirnya, pernyataan majemuk dari badan konstruktor dijalankan. [Catatan: urutan deklarasi diamanatkan untuk memastikan bahwa sub-objek basis dan anggota dihancurkan dalam urutan terbalik dari inisialisasi. —Kirim catatan]

Ya, mereka (yaitu anggota non-statis). Lihat 12.6.2 / 5 untuk inisialisasi (konstruksi) dan 12.4 / 6 untuk penghancuran.

Ya, standar menjamin objek dihancurkan dalam urutan terbalik saat dibuat. Alasannya adalah bahwa satu objek dapat menggunakan objek lain, sehingga bergantung padanya. Mempertimbangkan:

struct A { };

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

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

Jika adihancurkan sebelum bitu bakan memegang referensi anggota yang tidak valid. Dengan menghancurkan objek dalam urutan terbalik saat dibuat, kami menjamin kehancuran yang benar.

Ya dan ya. Urutan kehancuran selalu berlawanan dengan urutan konstruksi, untuk variabel anggota.