Đúc động trong hàm hủy

Mã này có hợp pháp không?

class Base1 {
};

class Base2 {
public:
    virtual ~Base2() {
        if (!dynamic_cast<Base1*>(this))
            std::cout << "aaaa" << std::endl;
    }
    Base2() {
    }
};

class MyClass: public Base1, public Base2 {
public:
    MyClass() {
    }
    virtual ~MyClass() {
        std::cout << "bbb" << std::endl;
    }
};

int main() {
    MyClass s;
    return 0;
}

Tôi thấy cả hai bản in nhưng tôi chỉ thấy một. Tôi đoán các diễn viên năng động là sai. Có thể thực hiện một kiểm tra của loại này?

Có lẽ tôi đã tự mình tìm ra giải pháp, câu trả lời là không thể.

Từ viên đạn 6 của tài liệu cppreference.com :

Khi Dynamic_cast được sử dụng trong hàm tạo hoặc hàm hủy (trực tiếp hoặc gián tiếp) và biểu thức đề cập đến đối tượng hiện đang được xây dựng / hủy, đối tượng được coi là đối tượng dẫn xuất nhất. Nếu kiểu mới không phải là một con trỏ hoặc tham chiếu đến lớp riêng của hàm tạo / hàm hủy hoặc một trong các cơ sở của nó, thì hành vi không được xác định.

Xem thêm [class.cdtor] / 6 của tiêu chuẩn.

Vì tôi đang truyền tới Base1 trong hàm hủy Base2, nên hành vi này không được xác định.

Tôi đồng ý với câu trả lời của @ j6t, nhưng đây là một lý do mở rộng với các tài liệu tham khảo tiêu chuẩn.

Hành vi đặc biệt của dynamic_castcác đối tượng đang được xây dựng và phá hủy được mô tả bởi [class.cdtor] / 5 của tiêu chuẩn C ++ 17 (bản nháp cuối cùng) và tương đương bởi các phiên bản tiêu chuẩn trước đó.

Cụ thể nó nói:

Khi a dynamic_­castđược sử dụng [...] trong một hàm hủy, [...], nếu toán hạng của tham chiếu dynamic_­castđến đối tượng đang được xây dựng hoặc phá hủy, đối tượng này được coi là một đối tượng dẫn xuất nhất có loại [ ...] Lớp hủy diệt. Nếu toán hạng của tham chiếu dynamic_­castđến đối tượng bị phá hủy [...] và kiểu tĩnh của toán hạng không phải là con trỏ tới hoặc đối tượng của lớp riêng của hàm hủy [hoặc] hoặc một trong các cơ sở của nó, thì Dynamic_cast sẽ dẫn đến hành vi không xác định.

Hành vi không xác định không áp dụng ở đây, vì toán hạng là biểu thức this, mà tầm thường có loại con trỏ đến lớp riêng của hàm hủy vì nó xuất hiện trong chính hàm hủy.

Tuy nhiên, câu đầu tiên nói rằng ý dynamic_castchí hành xử như thể *thislà một đối tượng xuất phát nhất của loại Base2và do đó, diễn viên Base1không bao giờ có thể thành công, vì Base2không xuất phát từ Base1và dynamic_cast<Base1*>(this)sẽ luôn trả về một con trỏ rỗng, dẫn đến hành vi bạn đang thấy.

cppreference.com nói rằng hành vi không xác định xảy ra nếu loại đích của diễn viên không phải là loại của hàm hủy hoặc một trong các cơ sở của nó, thay vì áp dụng điều này cho loại toán hạng. Tôi nghĩ rằng đó chỉ là một sai lầm. Có lẽ việc đề cập đến " loại mới " trong gạch đầu dòng 6 được cho là nói " biểu hiện ", điều này sẽ làm cho nó phù hợp với cách giải thích của tôi ở trên.

Điều dynamic_castnày được xác định rõ trong tình huống này. Đúng là bạn quan sát cả hai dòng đầu ra.

Bạn đã sai khi cho rằng trong hàm hủy của Base2 thislà một lớp dẫn xuất. Tại thời điểm này, phần lớp dẫn xuất đã bị hủy, vì vậy nó không thể là lớp dẫn xuất nữa. Trong thực tế, vào thời điểm đó khi destructor của Base2chạy, đối tượng được trỏ đến bởi this là chỉ có một Base2đối tượng. Vì Base2không liên quan đến Base1bất kỳ cách nào, nên dynamic_casttrả về một con trỏ null và điều kiện được nhập tương ứng.

Chỉnh sửa: Tiêu chuẩn nói :

Khi a dynamic_­castđược sử dụng trong hàm tạo [...] hoặc trong hàm hủy [...], nếu toán hạng của tham chiếu dynamic_­castđến đối tượng đang xây dựng hoặc hủy, đối tượng này được coi là đối tượng dẫn xuất nhất có loại của lớp xây dựng hoặc lớp hủy. Nếu toán hạng của tham chiếu dynamic_­castđến đối tượng đang được xây dựng hoặc phá hủy và kiểu tĩnh của toán hạng không phải là con trỏ tới hoặc đối tượng của lớp xây dựng hoặc lớp hủy của chính nó hoặc một trong các cơ sở của nó, dynamic_­castkết quả trong hành vi không xác định.

Toán hạng thisdùng để chỉ đối tượng bị phá hủy. Do đó, lớp của hàm hủy ( Base2) được coi là lớp có nguồn gốc nhiều nhất và đó là lý do tại sao đối tượng không liên quan đến loại đích ( Base1*) theo bất kỳ cách nào. Hơn nữa, kiểu tĩnh của toán hạng thislà Base2* const, rõ ràng là một con trỏ trỏ đến lớp riêng của hàm hủy. Do đó, quy tắc về hành vi không xác định không áp dụng. Tóm lại, chúng tôi có hành vi được xác định rõ.