**동적 디스패치(dynamic dispatch)**는 변수의 선언된 타입이 아니라 객체의 실제 타입에 기반하여 어떤 메서드 구현을 실행할지 결정하는 런타임 메커니즘입니다. 대부분의 class 기반 언어는 이를 **가상 메서드 테이블(vtable)**로 구현합니다.
각 class는 자신의 메서드 구현을 가리키는 포인터 테이블을 가집니다. 각 객체는 자신의 class vtable을 가리키는 숨겨진 포인터를 보유합니다. 가상 호출은 다음이 됩니다: 객체의 vtable에서 메서드를 찾은 다음 그곳으로 점프한다.
Animal a = new Dog();
a.speak();
a ──▶ Dog 객체 ──▶ [Dog vtable]
speak() ──▶ Dog.speak() ← 런타임에 선택됨
컴파일러는 Animal.speak을 하드코딩하지 않습니다. "이 객체가 가리키는 vtable의 슬롯 N을 호출하라"를 내보냅니다.
Animal a = new Dog(); // 선언은 Animal, 실제는 Dog
a.speak(); // → Dog.speak(), 디스패치가 객체를 사용하기 때문
| 언어 | 기본값 | 비고 |
|---|---|---|
| Java | 기본 가상 | final/static/private은 비가상 |
| C++ | 기본 비가상 | 동적 디스패치를 위해 virtual 표시 필요 |
| Python | 항상 동적 | 객체의 dict/MRO를 통한 메서드 조회 |
작은 비용(간접 참조)이 있고 인라이닝을 막습니다. C++에서 virtual을 잊으면 호출이 정적으로 바인딩되고 override가 조용히 호출되지 않습니다 — 미묘한 버그입니다.
디스패치를 이해하면 왜 overriding이 작동하는지, 그리고 왜 선언된 타입이 동작을 결정하지 않는지 설명됩니다 — 흔한 혼동의 원인입니다.
또한 실제 결과를 명확히 합니다: 가상 호출의 성능 비용, 생성자가 가상 메서드를 호출하지 말아야 하는 이유, 그리고 C++가 virtual을 명시적으로 요구하는 이유 말입니다.