base class의 소멸자를 virtual 로 선언하지 않았을 때 문제점

class TimeKeeper {
public:
    TimeKeeper() {}
    ~TimeKeeper() {} // 비가상 소멸자
};

class AtomicClock: public TimeKeeper {
public:
    AtomicClock() {}
    ~AtomicClock() { std::cout << "AtomicClock destroyed\\n"; }
};

TimeKeeper* getTimeKeeper() {
    return new AtomicClock(); // 실제로는 AtomicClock 객체 생성
}

TimeKeeper* tk = getTimeKeeper(); // TimeKeeper 포인터로 AtomicClock 객체를 받음
delete tk; // TimeKeeper의 소멸자만 호출, AtomicClock의 소멸자는 호출되지 않음!

• TimeKeeper 같은 기반 클래스가 있고, 이를 상속받은 파생 클래스들(예: AtomicClock, WaterClock, WristWatch)이 있다.
• 다형성을 이용하기 위해, 팩토리 함수 getTimeKeeper()는 base class 포인터 (TimeKeeper*)를 반환하지만, 실제로는 파생 클래스 객체를 생성해서 반환함.
• TimeKeeper 클래스의 소멸자가 virtual로 선언되지 않았기 때문에, delete 연산은 base 클래스의 소멸자만 호출한다.

해결 방법

• TimeKeeper 클래스의 소멸자를 virtual로 선언하면, base class pointer로 객체를 삭제하더라도 파생 클래스의 소멸자까지 올바르게 호출됨.

가상 소멸자가 필요 없는 경우

• 간단하게 얘기하면 불필요한 virtual destruction은 객체의 크기를 늘리고 성능 저하와 다른 언어와의 호환성 문제를 초래할 수 있음.

class Point { // 2D 좌표를 나타냄
public:
    Point(int xCoord, int yCoord);
    ~Point();
private:
    int x, y;
};

• 위와 같은 코드에서 virtual function을 구현하려면, 런타임에 어떤 가상 함수가 호출될지 결정하기 위한 정보를 포함함.
• vptr (가상 테이블 포인터) 로 저장됨
• vptr은 vtbl (가상 테이블) 이라고 불리는 함수 포인터 배열을 가리킨다.
• 가상 함수가 추가되면 vptr 이추가되므로, 객체의 크기는 32 비트 아키텍처에서 96비트, 64 비트 아키텍처에서 128비트로 증가
• 결과적으로, 객체 크기가 50 ~ 100% 커짐.