C++ 가상 함수(virtual function) 완전 정복: 개념부터 예제까지 한 번에!

🔗 가상 함수의 정의와 기본 구조

C++에서 가상 함수(virtual function)는 부모 클래스에서 선언되며, 자식 클래스에서 재정의할 수 있는 함수입니다.
이 함수는 프로그램 실행 중, 즉 런타임에 실제 객체의 타입에 따라 어떤 함수가 호출될지를 결정하게 해 줍니다.
이러한 기능은 다형성을 구현하는 핵심 요소이기도 합니다.

일반적으로 함수 호출은 컴파일 시점에 결정되지만, virtual 키워드가 붙은 함수는 동적 바인딩(dynamic binding)을 통해 런타임 시점에 연결됩니다.
이 덕분에 부모 클래스 포인터로 자식 객체를 가리키더라도 자식 클래스의 오버라이딩된 함수가 호출됩니다.

class Animal {
public:
    virtual void speak() {
        cout << "동물이 소리를 냅니다." << endl;
    }
};

class Dog : public Animal {
public:
    void speak() override {
        cout << "멍멍!" << endl;
    }
};

위 예제에서 speak() 함수는 Animal 클래스에서 virtual로 선언되었고, Dog 클래스에서 이를 재정의(override)했습니다.
이제 Animal* 타입의 포인터가 Dog 객체를 가리킬 때도 Dog::speak()가 호출됩니다.

이 구조를 제대로 이해하면 복잡한 프로그램에서도 객체지향 설계를 훨씬 유연하고 확장 가능하게 만들 수 있습니다.

🛠️ virtual 키워드의 역할

C++에서 virtual 키워드는 가상 함수를 정의할 때 반드시 사용되는 예약어입니다.
이 키워드가 붙은 함수는 정적 바인딩이 아닌 동적 바인딩을 통해 실행 시점에 어떤 함수가 호출될지 결정됩니다.
즉, 부모 클래스 포인터나 참조가 자식 객체를 가리킬 때 자식 클래스에서 재정의한 함수가 호출될 수 있도록 해 주는 역할을 하죠.

만약 virtual 키워드가 없다면, 포인터가 가리키는 타입과 상관없이 컴파일 타임 기준으로 부모 클래스의 함수가 호출됩니다.
즉, 다형성이 작동하지 않게 되죠.

Animal* pet = new Dog();
pet->speak();  // virtual이면 "멍멍!", 없으면 "동물이 소리를 냅니다."

이처럼 같은 함수 호출이라도 virtual 키워드의 유무에 따라 동작이 완전히 달라질 수 있습니다.
실전 코드에서도 virtual 키워드를 빠뜨리는 경우 의도치 않은 결과가 나올 수 있으니 주의해야 합니다.

따라서 가상 함수가 필요한 모든 상황에서 virtual 키워드는 잊지 말고 선언해 주세요.
이 한 줄이 객체지향 설계 전체를 바꿀 수 있습니다.

⚙️ 오버라이딩과 실행 시간 동작

가상 함수의 가장 중요한 특징은 실행 시간(runtime)에 실제 객체 타입에 따라 동작이 결정된다는 것입니다.
이를 통해 우리는 하나의 인터페이스로 다양한 객체의 동작을 실행할 수 있습니다.
이 기능은 자식 클래스에서 부모 클래스의 함수를 오버라이딩(override)할 때 발휘됩니다.

오버라이딩은 부모 클래스에 있는 virtual 함수의 시그니처와 동일하게 자식 클래스에서 재정의하는 것을 말합니다.
이때 부모 클래스 포인터로 자식 객체를 가리켜도, 자식 클래스의 함수가 호출됩니다.

Animal* animal = new Dog();
animal->speak();  // "멍멍!" 출력됨

이처럼 동적 바인딩이 적용되면 컴파일 타임이 아닌 런타임에 함수 호출이 결정되므로,
하나의 인터페이스로 다양한 객체의 동작을 동일하게 다룰 수 있게 됩니다.
이것이 바로 C++의 강력한 다형성입니다.

또한, 오버라이딩 시에는 함수의 시그니처가 정확히 일치해야 하며, override 키워드를 붙이면 컴파일러가 이를 체크해 주기 때문에 적극적으로 사용하는 것이 좋습니다.

🔌 가상 함수 테이블(VTable)의 개념

C++에서 가상 함수가 어떻게 실행 시점에 적절한 함수를 호출할 수 있는지는 내부적으로 VTable(Virtual Table)이라는 구조 덕분입니다.
VTable은 가상 함수 포인터를 저장하는 테이블로, 클래스마다 하나씩 생성되며 각 가상 함수에 대한 실제 주소를 담고 있습니다.

객체가 생성되면 해당 객체는 자신의 클래스에 대응하는 VTable을 가리키는 가상 테이블 포인터(vptr)를 내부적으로 포함하게 됩니다.
함수가 호출될 때 이 vptr을 통해 VTable에 접근하고, 적절한 함수 주소를 찾아 실행하는 구조입니다.

• 📌VTable은 클래스 단위로 존재합니다
• 📌객체는 vptr을 통해 VTable을 참조합니다
• 📌가상 함수가 호출될 때 VTable을 통해 동작합니다
• 📌자식 클래스가 함수를 오버라이딩하면 VTable 항목이 갱신됩니다

이 메커니즘 덕분에 C++은 실행 시간에 객체의 실제 타입에 따라 정확한 함수를 호출할 수 있습니다.
이는 성능적으로도 효율적이며, 객체지향 원칙 중 하나인 다형성을 안정적으로 지원합니다.

VTable 개념을 이해하면 C++ 가상 함수의 작동 방식뿐만 아니라, 다형성이 가능한 이유까지도 명확히 파악할 수 있습니다.

💡 실무에서 자주 하는 실수와 팁

가상 함수를 사용할 때 많은 개발자들이 비슷한 실수를 반복하곤 합니다.
특히 C++ 초보자나 객체지향 개념에 익숙하지 않은 분들은 다음과 같은 부분에서 어려움을 겪습니다.
여기서는 실무에서 자주 발생하는 실수와 함께, 이를 방지하기 위한 팁을 정리해보았습니다.

• ❌부모 클래스에 virtual 키워드 누락 → 다형성이 작동하지 않음
• ❌자식 클래스에서 함수 시그니처 불일치 → 오버라이딩이 되지 않고 부모 함수 호출
• ❌virtual 소멸자 누락 → 자식 소멸자가 호출되지 않아 메모리 누수 가능
• ✅모든 가상 함수는 override 키워드로 명시 → 실수 방지
• ✅순수 가상 함수 사용 시 반드시 구현 → 추상 클래스 활용

위와 같은 실수는 간단해 보이지만, 실전 코드에서는 버그나 메모리 누수로 이어질 수 있습니다.
따라서 가상 함수를 사용할 때는 항상 꼼꼼한 선언과 정확한 override가 중요합니다.

작은 차이가 큰 결과를 만드는 만큼, 위 항목들을 숙지하고 실무에 적용해보세요.
그렇다면 가상 함수에 대한 이해도와 활용도 모두 한층 높아질 것입니다.

❓ 자주 묻는 질문 (FAQ)