가상 소멸자없이 기본 클래스 포인터를 삭제할 때 메모리 누수가 발생합니까?

Question

다음은 가상 소멸자를 설명하기위한 예제입니다 (http://www.geeksforgeeks.org/g-fact-37/ 참조). 이 예제를 기반으로 코드를 수정하고 메모리 누수에 대해 질문합니다.

기본 클래스의 변수가 int num이고 파생 클래스가 float money의 변수를 가지고 있다고 가정합니다.

delete base_ptr;을 호출하면 기본 클래스의 소멸자가 가상이므로 ~derived()을 먼저 호출 한 다음 ~Base()을 호출해야합니다.

내 질문은 "삭제 기능을 할 수있다는 모두 INT의 납입 (기본 클래스)에 할당 된 메모리를 해제하고 돈 (파생 클래스)를 떠 것이다 그래야 똑똑?

내가 base_ptr 타입의 포인터라고 생각합니다 Base *이므로 Base 클래스에 필요한 메모리 양을 늘릴 수는 있지만 base_ptr이 Base 클래스의 유형을 가리키는 경우에도 int와 float가 모두 해제 된 것으로 보입니다. 누수가없는 경우 ~Base()을 비가 상 destructor로 만들면 ~Base()이 아닌 가상 소멸자를 사용하면 ~Derived()이라는 호출이 누락됩니다. 기본 클래스와 파생 클래스 둘 다 "동적으로"할당되지 않으므로 ~Derived()은 실제로 무료 전혀 메모리가없고 delete의 기능은 int num과 float money의 메모리를 모두 비 웁니다.

#include <iostream> 
using namespace std; 

class Base { 
public: 
    int num; 

Base(int n):num(n){ 
    cout<<"Base::Constructor\n"; 
} 
    virtual ~Base(){ 
    cout<<"Base::Destructor\n"; 
} 
}; 

class Derived : public Base { 
private: 
    float money; 
public: 
Derived(int n, float m):Base(n),money(m){ 
    cout<<"Derived::Constructor\n"; 
} 
~Derived(){ 
    cout<<"Derived::destructor\n"; 
} 
}; 



int main() { 
    Base *base_ptr = new Derived(1,200.0); 
    delete base_ptr; 
    return 0; 
} 

Answer 1

설명하는 것은 정의되지 않은 동작입니다. 즉, 메모리 누출뿐만 아니라 모든 이상한 요소가 잘못 될 수 있음을 의미합니다. 상속 가상이 아닌 경우

그러나 실제로

가, 파생 클래스가 다른 기본 클래스가없는, 그리고 파생 클래스가 아닌 사소한 소멸자 회원이 없습니다, 당신은 아마 호출 Base::~Base() 소멸자를 가져온 다음 operator delete라는 것이다 포인터에. operator delete(void*) 함수는 포인터를 가져 와서 가리키는 모든 메모리를 비 웁니다. 따라서 "메모리 누수"가 없습니다.