Üye oluşturucu ve yıkıcı çağrılarının sırası

Oh C ++ guruları, bilgeliğini arıyorum. Bana standart olarak konuşun ve C ++ 'nın aşağıdaki programı garanti edip etmediğini söyleyin:

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

her zaman üretecek

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

Başka bir deyişle, üyelerin beyan sırasına göre başlatılması ve ters sırada imha edilmesi garanti ediliyor mu?

Başka bir deyişle, üyelerin beyan sırasına göre başlatılması ve ters sırada imha edilmesi garanti ediliyor mu?

İkisine de evet. Bkz. 12.6.2

6 Başlatma aşağıdaki sırayla ilerleyecektir:

• İlk olarak ve yalnızca aşağıda açıklanan en türetilmiş sınıfın kurucusu için, sanal temel sınıflar, temel sınıfların yönlendirilmiş döngüsel olmayan grafiğinin derinlikten önce soldan sağa geçişinde göründükleri sırayla başlatılacaktır. -to-right "türetilmiş sınıf temel-belirleyici-listesindeki temel sınıf adlarının görünme sırasıdır.

• Daha sonra, doğrudan temel sınıflar, temel belirleyici listesinde göründükleri gibi (mem-başlatıcıların sırasına bakılmaksızın) bildirim sırasına göre başlatılacaktır.

• Ardından, statik olmayan veri üyeleri, sınıf tanımında bildirildikleri sırayla başlatılır (yine mem-başlatıcıların sırasına bakılmaksızın).

• Son olarak, yapıcı gövdesinin bileşik ifadesi çalıştırılır. [Not: Bildirim sırası, temel ve üye alt nesnelerinin başlatma sırasının tersine göre yok edilmesini sağlamak için zorunludur. - notu gönder]

Evet, bunlar (statik olmayan üyeler). Başlatma (yapım) için 12.6.2 / 5 ve imha için 12.4 / 6'ya bakın.

Evet, standart, nesnelerin oluşturuldukları sıranın tersine doğru imha edilmesini garanti eder. Bunun nedeni, bir nesnenin diğerini kullanabilmesi, dolayısıyla ona bağlı olmasıdır. Düşünmek:

struct A { };

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

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

Eğer adaha önce yıkılmak üzere olduğunu bsonra bgeçersiz üye başvurusu yapacağını. Nesneleri yaratıldıkları sıranın tersi sırayla imha ederek, doğru imhayı garanti ediyoruz.

Evet ve evet. Yok etme sırası, üye değişkenler için her zaman inşa sırasının tersidir.