ลำดับของตัวสร้างสมาชิกและการเรียกตัวทำลาย

โอ้ผู้เชี่ยวชาญด้าน C ++ ฉันแสวงหาภูมิปัญญาของคุณ พูดมาตรฐานกับฉันและบอกว่า C ++ รับประกันว่าโปรแกรมต่อไปนี้:

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

จะผลิตเสมอ

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

กล่าวอีกนัยหนึ่งคือสมาชิกได้รับการประกันว่าจะเริ่มต้นตามลำดับการประกาศและทำลายในลำดับย้อนกลับหรือไม่?

กล่าวอีกนัยหนึ่งคือสมาชิกได้รับการประกันว่าจะเริ่มต้นตามลำดับการประกาศและทำลายในลำดับย้อนกลับหรือไม่?

ใช่ทั้งสองอย่าง ดู 12.6.2

6 การเริ่มต้นจะดำเนินการตามลำดับต่อไปนี้:

• อันดับแรกและสำหรับคอนสตรัคเตอร์ของคลาสที่ได้รับมากที่สุดตามที่อธิบายไว้ด้านล่างคลาสพื้นฐานเสมือนจะได้รับการเริ่มต้นตามลำดับที่ปรากฏบนการข้ามจากซ้ายไปขวาที่มีความลึกเป็นอันดับแรกของกราฟอะไซคลิกที่กำหนดทิศทางของคลาสพื้นฐานโดยที่ "ซ้าย -to-right” คือลำดับการปรากฏของชื่อคลาสฐานในคลาส base-specifier-list ที่ได้รับมา

• จากนั้นคลาสพื้นฐานโดยตรงจะถูกเริ่มต้นตามลำดับการประกาศตามที่ปรากฏในรายการตัวระบุฐาน (โดยไม่คำนึงถึงลำดับของตัวเริ่มต้นของ mem)

• จากนั้นสมาชิกข้อมูลที่ไม่คงที่จะถูกเตรียมใช้งานตามลำดับที่ประกาศไว้ในนิยามคลาส (อีกครั้งโดยไม่คำนึงถึงลำดับของตัวเริ่มต้น mem)

• ในที่สุดสารประกอบ - คำสั่งของตัวสร้างจะถูกดำเนินการ [หมายเหตุ: คำสั่งการประกาศได้รับคำสั่งเพื่อให้แน่ใจว่าวัตถุฐานและวัตถุย่อยของสมาชิกถูกทำลายตามลำดับการเริ่มต้น - ส่งหมายเหตุ]

ใช่พวกเขาเป็น (สมาชิกที่ไม่คงที่นั่นคือ) ดู 12.6.2 / 5 สำหรับการเริ่มต้น (การก่อสร้าง) และ 12.4 / 6 สำหรับการทำลายล้าง

ใช่มาตรฐานรับประกันว่าออบเจ็กต์จะถูกทำลายในลำดับย้อนกลับที่สร้างขึ้น เหตุผลก็คือวัตถุหนึ่งอาจใช้อีกวัตถุหนึ่งจึงขึ้นอยู่กับมัน พิจารณา:

struct A { };

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

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

หากaถูกทำลายก่อนหน้าbนั้นbจะถือเป็นการอ้างอิงสมาชิกที่ไม่ถูกต้อง โดยการทำลายวัตถุในลำดับย้อนกลับที่สร้างขึ้นเรารับประกันการทำลายที่ถูกต้อง

ใช่และใช่ ลำดับการทำลายล้างจะตรงข้ามกับลำดับการสร้างเสมอสำหรับตัวแปรสมาชิก