오브젝트 배치를 파기 한 후에 소멸자가 호출되지 않았습니다.-new'ed

Question

이것이 작동하지 않는 이유는 없습니다. 다음은 새로운 게재 위치로 생성 된 Function입니다. 소멸되어야하는지 여부를 검사하는 기능이 제공되며, 소멸 될 경우 소멸자를 수동으로 호출합니다.

/* 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; 
}; 

나는 다음과 같은이 사용 : 여기

은 소멸자가 호출되지 않습니다 보인다 테스트 케이스이다. 아래 코드를 여전히 문제가있는 최소 수준으로 줄이십시오. 물론 실제 프로그램에서는 메모리가 할당 자로부터 다른 방식으로 할당됩니다.

#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(); 
} 

소멸자가 ~Function()이라는 줄에 있습니다. 컴파일러는 받아들이지 만 받아들이지는 않습니다. 실제로 LLVM 코드를 삭제했는지 확인하여 확인했습니다. LLVM 코드를 삭제하기 전에 소멸자에 코드를 넣으십시오.이 코드는 codeptr이 Function이 유효 함).

그 원인을 나중에 알았습니다. 설명해 주시겠습니까?

Answer 1

이것은 소멸자가 아니고 ~Function();이 여기에서 구문 적으로 호출하기 때문입니다. 대신 this->~Function();을 사용하십시오.

~Function();은 연산자 ~으로 구문 분석되고 스택에 Function 개체가 생성됩니다. Function 클래스는 operator bool이므로 컴파일됩니다.

Answer 2

소멸자를 명시 적으로 호출 할 수 없다는 것을 기억합니다. 소멸자에서 다른 함수로 정리 코드를 이동하고 대신 호출 해보십시오.

Answer 3

는 현재 ~ 기능은 "기능"을 건설하고 후 ~ 비트 연산자를 호출, (법적는 bool에있는 변환을 가지고 있기 때문에), 다음 것을 파괴한다

this->~Function(); 

에 명시 적 소멸자 호출을 변경

호출 된 객체가 아닙니다.