Thiết bị hủy không được gọi sau khi phá hủy đối tượng được sắp xếp mới

Question

Tôi không biết tại sao điều này không hoạt động. Function sau được tạo bởi vị trí mới. Một hàm được cung cấp để kiểm tra xem nó có bị hủy hay không và nếu có, hãy gọi hàm hủy của nó theo cách thủ công.

Đây là testcase nơi có vẻ như destructor không bao giờ được gọi là:

/* Represents a function at runtime */ 
class Function { 
public: 
    /* Creates an invalid function */ 
    Function():codeptr(0) { } 

    /* Creates a function with the given code pointer */ 
    Function(void *codeptr):codeptr(codeptr) { } 

    /* Frees the function machine code */ 
    ~Function() { 
    if(*this) { 
     /* <- I explicitly put a debug output here! */ 
     destroyLLVMCode(codeptr); 
    } 
    } 

public: 
    /* Returns true if the function is valid 
    * (if the code pointer is non-null) 
    */ 
    operator bool() const { return codeptr != 0; } 

    /* Destroy this function by calling its destructor */ 
    void destroy() { ~Function(); } 

private: 
    void *codeptr; 
}; 

Tôi sử dụng này như sau. Cắt giảm mã dưới đây xuống mức tối thiểu vẫn còn hiện ra vấn đề. Trong chương trình thực sự của tôi, tất nhiên, bộ nhớ được phân bổ theo cách khác, từ một cấp phát.

#include <new> 
#include <cstdlib> 

int main() { 
    void *buffer = std::malloc(sizeof(Function)); 
    Function *f = new (buffer) Function(someExecutableLLVMCode); 
    /* more code .. register with symbol tables etc.. */ 
    f->destroy(); 
} 

Bạn có thể thấy tôi đang gọi hàm hủy trong dòng đọc ~Function(). Trình biên dịch chấp nhận, nhưng nó không kết thúc bằng cách gọi nó: tôi đã xác minh nó bằng cách kiểm tra xem nó có thực sự xóa mã LLVM mà tôi đã cung cấp hay không (đặt một số mã vào trình phá hủy trước khi xóa mã LLVM mà codeptr trỏ tới, trong trường hợp Function hợp lệ).

Tôi đã tìm hiểu sau về những gì đang gây ra điều đó. Bạn có thể vui lòng cung cấp cho tôi một lời giải thích?

Answer 1

Điều này là do ~Function(); không phải là cú pháp hủy cuộc gọi ở đây. Sử dụng this->~Function(); để thay thế.

~Function(); được phân tích cú pháp làm toán tử ~ và tạo đối tượng Function trên ngăn xếp. Function lớp học có một số operator bool đó là lý do tại sao điều này sẽ được biên soạn.

Answer 2

Khi tôi nhớ lại hàm hủy không thể được gọi một cách rõ ràng. Hãy thử di chuyển mã dọn dẹp từ destructor sang chức năng khác và gọi nó thay thế.

Answer 3

Thay đổi cuộc gọi destructor cho phép của bạn để

this->~Function(); 

Hiện nay ~ Chức năng được xây dựng một "chức năng" và sau đó gọi ~ điều hành Bitwise, (hợp pháp bởi vì bạn có một sự chuyển đổi đến bool), và sau đó huỷ rằng , không phải là đối tượng được gọi.