Liệu trình phá hủy của lớp cơ sở có được gọi là một đối tượng ném một ngoại lệ trong hàm tạo không?

Question

Liệu trình phá hủy của lớp cơ sở có được gọi nếu một đối tượng ném một ngoại lệ trong hàm tạo không?

Answer 1

Nếu ngoại lệ được ném trong khi xây dựng, tất cả các đối tượng phụ được tạo trước đó sẽ bị hủy đúng cách. Các chương trình sau đây chứng minh rằng cơ sở chắc chắn bị phá hủy:

struct Base 
{ 
    ~Base() 
    { 
     std::cout << "destroying base\n"; 
    } 
}; 

struct Derived : Base 
{ 
    Derived() 
    { 
     std::cout << "throwing in derived constructor\n"; 
     throw "ooops..."; 
    } 
}; 

int main() 
{ 
    try 
    { 
     Derived x; 
    } 
    catch (...) 
    { 
     throw; 
    } 
} 

đầu ra:

throwing in derived constructor 
destroying base 

(Lưu ý rằng destructor của một con trỏ bản địa không có gì, đó là lý do tại sao chúng ta thích RAII qua con trỏ nguyên.)

Answer 2

Có. Quy tắc là mọi đối tượng có hàm tạo đã hoàn tất thành công sẽ bị hủy theo ngoại lệ. Ví dụ:

class A { 
public: 
    ~A() {} 
}; 

class B : public A { 
public: 
    B() { throw 0; } 
    ~B() {} 
}; 

~ A() được gọi. ~ B() không được gọi;

EDIT: hơn nữa, giả sử bạn có các thành viên:

struct A { 
    A(bool t) { if(t) throw 0; } 
    ~A() {} 
}; 

struct B { 
    A x, y, z; 
    B() : x(false), y(true), z(false) {} 
}; 

gì xảy ra là: x được xây dựng, y ném, x là destructed (nhưng không phải y cũng không z).

Answer 3

Khi một ngoại lệ được ném ra, các destructors đang kêu gọi tất cả (phụ) đối tượng có nhà xây dựng đã được chạy thành công. Điều này mở rộng cho các thành viên dữ liệu và các lớp cơ sở như nhau.

Ví dụ, đối với mã này

struct base {}; 

struct good {}; 

struct bad { 
    bad() {throw "frxgl!";} 
}; 

struct test : public base { 
    std::string s; 
    good g; 
    bad b; 
    test() {} 
}; 

trước test 's constructor được thực thi, đầu tiên các nhà xây dựng cho lớp cơ sở được gọi, sau đó các nhà thầu cho s, g, và b. Chỉ khi kết thúc thành công, hàm tạo cho test được thực hiện. Khi ngoại lệ được ném trong khi xây dựng b, các trình tạo lớp cơ sở cũng như các hàm tạo cho các thành viên dữ liệu s và g đã được thực hiện đầy đủ, do đó các trình phá hủy của chúng được chạy. Hàm khởi tạo của test chính nó và của b chưa được chạy thành công, do đó các trình phá hủy của chúng không chạy.

Answer 4

Từ tài liệu chuẩn, 15,3-11,

Các lớp cơ sở xây dựng hoàn chỉnh và các thành viên của một đối tượng sẽ bị hủy diệt trước khi vào xử lý của một hàm try- khối của một nhà xây dựng hoặc destructor cho đối tượng đó.