[Effective C++] 05. 객체 생성 및 소멸 과정 중에는 절대로 가상 함수를 호출하지 말자

작동 방식

(1) 생성자

class Base {
public:
    Base() {
        Initialize(); // Base::Initialize()가 호출됨
    }
    virtual void Initialize() {
        UE_LOG(LogTemp, Log, TEXT("Base Init"));
    }
};

class Derived : public Base {
public:
    Derived() : Base() {
        // Base 생성자 실행 시점에는 아직 Derived 객체가 완성되지 않음
    }
    virtual void Initialize() override {
        UE_LOG(LogTemp, Log, TEXT("Derived Init"));
        // 이 함수는 호출되지 않음!
    }
};

기본 클래스인 Base 의 생성자에서 가상 함수를 호출하고 있다. 생성자의 호출 순서는 기본 클래스가 먼저 호출된 이후 파생 클래스의 생성자가 호출된다. 따라서 기본 클래스의 생성자가 호출될 타이밍에는 파생 클래스가 초기화되지 않은 시점이기 때문에 Initialize는 기본 클래스의 정의를 따라가게 된다. 

---

(2) 소멸자

class Base {
public:
    virtual ~Base() {
        Cleanup(); // 개발자는 파생 클래스 버전이 호출될 것으로 기대
    }
    virtual void Cleanup() {
        UE_LOG(LogTemp, Log, TEXT("Base Cleanup"));
    }
};

class Derived : public Base {
    UTexture2D* ImportantTexture;
public:
    virtual ~Derived() {
        // ImportantTexture는 아직 유효
    }
    
    virtual void Cleanup() override {
        UE_LOG(LogTemp, Log, TEXT("Derived Cleanup"));
        if (ImportantTexture) {
            ImportantTexture->RemoveFromRoot(); // 실행 안 됨!
        }
    }
};

소멸자의 호출 순서는 파생 클래스인 Derived의 소멸자가 먼저 호출된 이후 Base의 소멸자가 호출된다. Base의 소멸자에서 호출하는 가상 함수인 Cleanup이 Derived의 Cleanup을 호출할 것으로 기대하여 위처럼 코드를 작성하게 된다면, ImportantTexture가 제대로 정리되지 않을 수 있다.

 

---

 

해결 방법

절대로 생성자, 소멸자에서는 가상 함수를 호출하지 말것.

 

 기존에 호출하던 기본 클래스의 가상 함수를 비가상 함수로 변환한 후, 생성자의 매개변수로 파생 클래스의 정보를 넘겨받아 초기화하도록 구현하는 것이 좋다.

// Base.h
class Base {
public:
    Base(const string& classInfo)
    {
        Initialize(classInfo);
    };
    
    void Initialize(const string& classInfo);
};

// Derived.h
class Derived : public Base {
public:
    Derived()
    : Base(classInfo)
    { };
};