C++ ngăn xếp đối tượng được phân bổ, gọi hàm hủy rõ ràng

Question

Tôi bắt gặp một sử dụng lạ của trình phá hủy trong khi làm việc trên một thư viện hiện có. Các destructor của một stack stl vector được phân bổ đã được gọi một cách rõ ràng, khi trường hợp của nó mà đối tượng đó có thể cần phải được sử dụng một lần nữa. Các đối tượng vectơ này là một phiên bản tùy biến một chút của lớp vectơ stl có phương thức clear chuyên dụng. Trong cơ thể hủy có tồn tại hai cuộc gọi phương thức: clear(), _Tidy().

Tôi đã cố gắng nghĩ ra một lý do chính đáng tại sao destructor này được gọi thay vì chỉ clear nhưng tôi thua lỗ. Bất cứ ai cũng làm sáng tỏ tại sao điều này có thể là một ý tưởng tốt?

Answer 1

Đó chắc chắn không phải là một ý tưởng hay. Bất kỳ hoạt động nào trên một đối tượng sau khi destructor bắt đầu chạy sản lượng hành vi không xác định.

Answer 2

Lớp học này có thể sử dụng một số loại phương pháp placement new không? Đó là lần duy nhất tôi có xu hướng thấy những kẻ phá hoại rõ ràng đang được sử dụng.

Answer 3

Có lẽ bộ mã hóa gốc đã quan tâm đến vị trí trong bộ nhớ mà các đối tượng được phân bổ.

Sau đó, hàm hủy phải được gọi một cách rõ ràng, theo this discussion.

Answer 4

Vectơ lớn?

Dự đoán tự nhiên ... khi clear() được gọi là véc tơ thường bị làm trống nhưng bộ nhớ không được giải phóng. Đó là lý do tại sao có mẫu

std::vector<T>().swap(vector_to_clear); 

để làm rỗng véc-tơ để sử dụng lại và xóa bộ nhớ được cấp phát.

Có lẽ tác giả gốc không biết mẫu và cố gắng loại bỏ bộ nhớ được cấp phát theo kiểu thời trang độc ác này. (Tôi nghĩ rằng _Tidy giải phóng bộ nhớ được phân bổ)

Answer 5

clear() không được bảo đảm để thực sự giải phóng lưu trữ được phân bổ trong vectơ; _Tidy() trong việc triển khai MSVC sẽ thực sự giải phóng bộ nhớ đó, vì vậy điều này có thể được thực hiện như một tối ưu hóa.

Đó là điều xấu, nhưng bạn có thể làm điều đó một cách hợp pháp (không có hành vi không xác định) miễn là lưu trữ được tái sử dụng bởi một đối tượng cùng loại (bỏ qua vòng loại cv) chiếm toàn bộ dung lượng lưu trữ :

T automatic; 
automatic.T::~T(); 
new (&automatic) T(); 

Mục 3.8.7 của tiêu chuẩn C++ mô tả tình huống sử dụng này và giải thích cách hợp pháp; nó thậm chí còn bao gồm một ví dụ tương tự như ở trên.