[내일배움캠프 Day32] 가상 함수 동작 원리

C++의 가상 함수 동작 원리

가상 함수는 'vtable', 혹은 가상 테이블(virtual table)에 의존한다.

 

어떤 클래스의 함수가 virtual로 선언되어 있으면, 해당 클래스의 가상 함수 주소를 보관하는 vtable이 만들어진다. 컴파일러는 또한 해당 클래스의 vtable을 가리키는 vptr이라는 숨겨진 변수(hidden variable)를 해당 클래스에 추가한다.

하위클래스가 상위 클래스의 가상 함수를 오버라이드(override)하지 않으면 하위 클래스의 vtable은 상위 클래스의 가상 함수 주소를 보관한다. 이 vtable을 사용하여 가상 함수가 호출될 때 어느 주소에 있는 함수가 호출되어야 하는지를 결정한다. c++의 동적 바인딩(dynamic binding)은 이 가상 테이블 메커니즘을 사용하여 실행된다. 

 

따라서 하위클래스 객체에 대한 포인터를 상위클래스 객체에 대한 포인터에 할당하면, vptr 변수는 하위클래스의 vtable을 가리킨다. 이렇게 배정되므로 최하위 클래스의 가상함수가 호출되는 것이다.

 

class Shape {
public:
	int edge_length;
    virtual int circumference () {
        cout << "Circumference of Base Class\n";
        return 0;
    }
};

class Triangle: public Shape {
public:	
	int circumference () {
    	cout << "Circumference of Triangle Class\n";
        return 3 * edge_length;
    }
};

void main() {
	Shape * x = new Shape();
    x->circumference();  // Circumference of Base Class 출력
    Shape * y = new Triangle();
    y->circumference();  // Circumference of Triangle Class 출력
}

 

위에서 circumference는 Shape 클래스의 가상 함수다. 따라서 모든 하위 클래스(Triangle 등)에서도 circumference는 가상 함수가 된다.

C++의 비가상 함수에 대한 호출은 컴파일 시간에 정적 바인딩을 통해 처리되지만, 가상 함수에 대한 호출은 동적 바인딩을 통해 처리된다.

 

 

출처 : 코딩 인터뷰 완전 분석 책