Thứ tự của các lệnh gọi hàm tạo thành viên và hàm hủy

Ôi các bậc thầy C ++, tôi tìm kiếm sự thông thái của bạn. Nói chuyện chuẩn với tôi và cho tôi biết nếu C ++ đảm bảo rằng chương trình sau:

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

sẽ luôn sản xuất

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

Nói cách khác, các thành viên có đảm bảo được khởi tạo theo thứ tự khai báo và bị hủy theo thứ tự ngược lại không?

Nói cách khác, các thành viên có đảm bảo được khởi tạo theo thứ tự khai báo và bị hủy theo thứ tự ngược lại không?

Có cho cả hai. Xem 12.6.2

6 Quá trình khởi tạo sẽ tiến hành theo trình tự sau:

• Đầu tiên, và chỉ đối với phương thức khởi tạo của lớp dẫn xuất nhất như được mô tả bên dưới, các lớp cơ sở ảo sẽ được khởi tạo theo thứ tự xuất hiện trên đường đi ngang từ trái sang phải theo chiều sâu từ trái sang phải của đồ thị xoay chiều có hướng của các lớp cơ sở, trong đó “left -to-right ”là thứ tự xuất hiện của các tên lớp cơ sở trong danh sách base-specifier-list của lớp dẫn xuất.

• Sau đó, các lớp cơ sở trực tiếp sẽ được khởi tạo theo thứ tự khai báo khi chúng xuất hiện trong danh sách cơ sở chỉ định (bất kể thứ tự của các trình khởi tạo ghi nhớ).

• Sau đó, các thành viên dữ liệu không tĩnh sẽ được khởi tạo theo thứ tự mà chúng đã được khai báo trong định nghĩa lớp (một lần nữa bất kể thứ tự của các trình khởi tạo mem).

• Cuối cùng, câu lệnh ghép của phần thân hàm tạo được thực thi. [Lưu ý: thứ tự khai báo được yêu cầu để đảm bảo rằng các subobject cơ sở và thành viên bị hủy theo thứ tự khởi tạo ngược lại. —Gửi ghi chú]

Có, họ là (thành viên không tĩnh). Xem 12.6.2 / 5 để khởi tạo (xây dựng) và 12.4 / 6 để phá hủy.

Có, các tiêu chuẩn đảm bảo các đối tượng bị hủy theo thứ tự ngược lại mà chúng đã được tạo. Lý do là một đối tượng có thể sử dụng đối tượng khác, do đó phụ thuộc vào nó. Xem xét:

struct A { };

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

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

Nếu ađược hủy trước bđó thì bsẽ giữ một tham chiếu thành viên không hợp lệ. Bằng cách phá hủy các đối tượng theo thứ tự ngược lại mà chúng được tạo ra, chúng tôi đảm bảo việc phá hủy chính xác.

Có và có. Thứ tự phá hủy luôn ngược lại với thứ tự xây dựng, đối với các biến thành viên.