Chúng ta có cần gọi rõ ràng hàm hủy cho "các lớp POD đơn giản" được phân bổ với "vị trí mới" không?

Question

Ở đây theo "đơn giản", tôi có nghĩa là một lớp học với không phá hủy rỗng ảo hoặc loại POD.

điển hình ví dụ:

char buffer[SIZE]; 
T *p = new(buffer) T; 
... 
p->~T(); // <---- always ? 

gì sẽ xảy ra nếu chúng ta không gọi destructor rõ ràng về p? Tôi không nghĩ rằng đó là hành vi không xác định hoặc rò rỉ bộ nhớ.
Có vấn đề gì với việc sử dụng lại buffer không?

Answer 1

Đối với loại POD hoặc một lớp có số tầm thường destructor: no. Tuổi thọ của đối tượng sẽ kết thúc khi bộ nhớ cho đối tượng được giải phóng hoặc sử dụng lại. Bạn không cần phải gọi destructor một cách rõ ràng nếu bạn không muốn.

Điều đó nói rằng, không có lý do gì để không. Đối với một kiểu với một destructor tầm thường thì cuộc gọi destructor sẽ không tạo ra mã nào. Nếu có, bởi một lớp có một destructor "rỗng", bạn cho phép khả năng lớp có các thành viên hoặc các lớp cơ sở với các destructors không tầm thường thì bạn có thể nhận được hành vi không xác định nếu chương trình của bạn dựa vào các destructors được gọi.

Lưu ý rằng người dùng cung cấp destructor là một destruct không tầm thường ngay cả khi nó không phải là ảo và trống. Mặc dù vậy, bạn vẫn được phép kết thúc vòng đời của một đối tượng với một destructor như vậy bằng cách giải phóng hoặc sử dụng lại bộ nhớ của nó miễn là chương trình của bạn không phụ thuộc vào bất kỳ tác dụng phụ nào của destructor. (Xem 3.8 [basic.life]/4 của ISO/IEC 14882: 2011)

Answer 2

Về mặt kỹ thuật, giả định rằng trình hủy không giải phóng bất kỳ tài nguyên nào có được trong quá trình xây dựng, có thể không cần thiết.

Tuy nhiên, xem xét các khía cạnh phi kỹ thuật - bảo trì và phát triển mã - Tôi sẽ tuân theo thực tiễn tốt nhất - những gì được xây dựng, nên bị hủy. Kịch bản cần xem xét - điều gì sẽ xảy ra nếu trong tương lai một số thay đổi sẽ xác định mã có liên quan được đưa vào trình phá hủy? Bạn sẽ nhớ rằng bạn đã làm hỏng sự phá hủy của loại đối tượng đó?

Answer 3

Nếu lớp của bạn xử lý một số tài nguyên (bộ nhớ heap, xử lý, bộ đếm, mutexes ...) hoặc chứa một số trường xử lý tài nguyên, tài nguyên này sẽ không được giải phóng nếu bạn không gọi hàm hủy một cách rõ ràng. Nếu không, không có bất kỳ rắc rối nào với sự hủy diệt. Bạn có thể xem xét lớp không bị hủy như một rác trong bộ nhớ và xây dựng một cái mới một cách tự do ở cùng một chỗ.

Answer 4

Có, bạn phải gọi hàm hủy một cách rõ ràng (hãy ghi nhớ các tác dụng phụ của T, tức là giải phóng bộ nhớ bổ sung). Ngoài ra, bạn phải cẩn thận về sự liên kết bộ nhớ khi sử dụng vị trí mới.

Nếu muốn, bạn có thể sử dụng lại bộ nhớ đệm.

Vui lòng tham khảo http://www.parashift.com/c++-faq-lite/dtors.html#faq-11.14