운영자 삭제에서 소멸자가 호출되지 않는 이유는 무엇입니까?

나는 그것 ::delete의 수업 을 요청 operator delete했습니다. 그러나 소멸자는 호출되지 않습니다.

과부하 된 클래스 MyClass를 정의했습니다 operator delete. 글로벌 operator delete도 과부하 상태입니다. 오버로드 operator delete의이 MyClassv로드 세계를 호출합니다 operator delete.

class MyClass
{
public:
    MyClass() { printf("Constructing MyClass...\n"); }
    virtual ~MyClass() { printf("Destroying MyClass...\n"); }

    void* operator new(size_t size)
    {
        printf("Newing MyClass...\n");
        void* p = ::new MyClass();
        printf("End of newing MyClass...\n");
        return p;
    }

    void operator delete(void* p)
    {
        printf("Deleting MyClass...\n");
        ::delete p;    // Why is the destructor not called here?
        printf("End of deleting MyClass...\n");
    }
};

void* operator new(size_t size)
{
    printf("Global newing...\n");
    return malloc(size);
}

void operator delete(void* p)
{
    printf("Global deleting...\n");
    free(p);
}

int main(int argc, char** argv)
{
    MyClass* myClass = new MyClass();
    delete myClass;

    return EXIT_SUCCESS;
}

출력은 다음과 같습니다.

Newing MyClass...
Global newing...
Constructing MyClass...
End of newing MyClass...
Constructing MyClass...
Destroying MyClass...
Deleting MyClass...
Global deleting...
End of deleting MyClass...

실제 :

의 오버로드 operator delete를 호출하기 전에 소멸자에 대한 호출이 하나만 있습니다 MyClass.

예상 :

소멸자를 두 번 호출합니다. 오버로드 된 호출하기 전에 하나 operator delete의 MyClass. 다른 하나는 글로벌 전화하기 전에 operator delete.

당신은 오용 operator new하고 operator delete있습니다. 이 연산자는 할당 및 할당 해제 기능입니다. 객체를 생성하거나 파괴 할 책임이 없습니다. 객체를 배치 할 메모리를 제공하는 것만 담당합니다.

이 함수의 글로벌 버전은 ::operator new및 ::operator delete입니다. ::new와 ::delete같은 새로운 / 삭제-표현식입니다 new/ delete그에서,와는 다른 ::new과 ::delete의지 바이 패스 클래스 별 operator new/ operator delete과부하.

new / delete-expressions는 생성 / 파괴 및 할당 / 할당 해제 (적절한 호출 operator new또는 operator delete시공 전 또는 파기 후).

당신의 과부하가 할당 / 해제 부분에 대해서만 책임이 있기 때문에, 호출해야 ::operator new하고 ::operator delete대신 ::new하고 ::delete.

delete에서이 delete myClass;소멸자를 호출 할 책임이있다.

::delete p;때문에 소멸자를 호출하지 않습니다 p유형이 void*때문에 표현이 전화를 무엇 소멸자 알 수 없다. delete-expression에 as 피연산자를 ::operator delete사용하는 것은 좋지 않지만 (아래 편집 참조) 메모리를 할당 해제 하기 위해 교체 된 것을 호출합니다 .void*

::new MyClass();교체 ::operator new된 메모리를 호출하여 메모리를 할당하고 그 안에 객체를 생성합니다. 이 객체에 대한 포인터는 void*에서 new-expression에 대해 반환 MyClass* myClass = new MyClass();됩니다. 그러면 이 메모리에 다른 객체가 생성 되어 소멸자를 호출하지 않고 이전 객체의 수명이 끝납니다.

편집하다:

질문에 대한 @MM의 의견 덕분에 void*피연산자 ::delete가 실제로 잘못 형성 되었음을 깨달았습니다 . ( [expr.delete] / 1 ) 그러나 주요 컴파일러는 오류가 아니라 이것에 대해서만 경고하기로 결정한 것 같습니다. 그것을 사용, 잘못 형성되었다 전에 ::deleteA의 void*한 이미 정의되지 않은 동작, 볼 이 질문을 .

따라서 프로그램이 잘못 구성되어 있으며 코드가 여전히 컴파일 할 수 있다면 위에서 설명한 내용을 실제로 수행한다고 보장 할 수 없습니다.

@SanderDeDycker가 그의 답변 아래에 지적한 바와 같이, MyClass객체의 소멸자를 호출하지 않고 이미 객체를 포함하고있는 메모리에 다른 객체를 구성함으로써 먼저 [basic.life] / 5 를 위반 하므로 정의되지 않은 동작이 있습니다 . 프로그램은 소멸자의 부작용에 달려 있습니다. 이 경우 printf소멸자 의 진술은 부작용이 있습니다.

클래스 별 과부하가 잘못 수행되었습니다. 이것은 출력에서 ​​볼 수 있습니다 : 생성자가 두 번 호출됩니다!

클래스 별 operator new에서 글로벌 연산자를 직접 호출하십시오.

return ::operator new(size);

마찬가지로 class-specific operator delete에서 다음을 수행하십시오.

::operator delete(p);

자세한 내용은 operator new참조 페이지를 참조하십시오.

CPP 참조를 참조 하십시오 .

operator delete, operator delete[]

일치하여 이전에 할당 된 스토리지를 할당 해제합니다 operator new. 이러한 할당 해제 함수는 동적 저장 기간을 사용하여 객체를 소멸 (또는 구성하지 못한) 한 후 메모리를 할당 해제하기 위해 delete-expression 및 new-expression에 의해 호출됩니다. 정규 함수 호출 구문을 사용하여 호출 할 수도 있습니다.

삭제 (및 신규)는 '메모리 관리'부분에 대해서만 책임이 있습니다.

따라서 객체의 인스턴스를 정리하기 위해 소멸자가 한 번만 호출되는 것이 분명합니다. 두 번 호출되면 모든 소멸자가 이미 호출되었는지 확인해야합니다.