Có an toàn khi xóa đối tượng POD bằng con trỏ tới cơ sở của nó không?

Question

Thực ra tôi đang nghĩ về các đối tượng có thể bị phá hủy tầm thường, không chỉ về POD (Tôi không chắc POD có thể có lớp cơ sở).

Khi tôi đọc lời giải thích này cho is_trivially_destructible từ cppreference Tôi nhận thấy điều này:

lưu trữ bị chiếm đóng bởi các đối tượng trivially phá hủy có thể được tái sử dụng mà không gọi destructor.

Vì vậy, nó là an toàn để làm điều đó:

struct A { 
    int a; 
}; 
struct B : A { 
    int b; 
}; 
int main() { 
    A* a = new B; 
    delete a; 
} 

B::~B() sẽ không được gọi là - và AFAIK (hãy sửa nếu tôi sai) toàn bộ bộ nhớ sẽ được giải phóng. Và B::~B() chắc chắn là tầm thường.

tôi biết mã này có mùi nặng, nhưng câu hỏi của tôi là chỉ về tính an toàn của mã này ...

Answer 1

Không, đây không được phép. [Expr.delete]/p3, tôi nhấn mạnh:

Trong phương án đầu tiên (xóa đối tượng), nếu loại tĩnh của đối tượng bị xóa là khác biệt so với loại động của nó, là tĩnh loại sẽ là lớp cơ sở của loại động của đối tượng là bị xóa và loại tĩnh sẽ có một destructor ảo hoặc hành vi không xác định.

Thực tế, ủy ban gần đây là rejecteda proposal to make deleting a POD via a pointer-to-base well-defined.