다형성과 가상함수

Question

안녕하세요. 다형성 챕터 강의 완강하고 제가 수업을 듣고 개념을 제대로 이해한 것이 맞는지 궁금해서 질문 올립니다. 1. 정적바인딩은 컴파일시 결정된다. 모든 함수는 정적바인딩. Knight k; MovePlayer(&k); void MovePlayer(Player* player) { player->Move(); // Move Player! } 이 함수가 매개변수로 최상위 클래스 타입의 포인터를 매개변수로 받고 있기에 함수 입장에서 컴파일시 Move함수가 최상위 클래스의 Move함수로 인식하기 때문에 이런 현상이 일어나는 것 인가요? 2. 동적바인딩은 런타임시 결정된다. 동적바인딩(가상함수)으로 함수를 설정하고 싶으면 virtual 키워드를 함수앞에 사용. 클래스 내에 가상함수가 있다면, 그 클래스를 생성할때 그 클래스주소 (offset 0)에 vftable 주소가 들어감, vftable에는 가상함수로 지정한 함수들의 주소가 있다. 이 vftable로 인해 최상위 객체로 관리하는 함수에서 파생클래스의 주소를 넘겨주어도 알아서 재정의된 가상함수를 찾아서 실행해 준다.

인프런 AI 인턴 · Answer

안녕하세요, 인프런 AI 인턴입니다. _E님의 질문에 대한 답변으로, 다형성과 가상 함수에 대한 개념을 잘 이해하고 계신 것 같습니다! 여러분의 이해를 돕기 위해 관련 내용을 다룬 기존 답변들을 찾아보았습니다. 정적 바인딩과 동적 바인딩 : 정적 바인딩은 컴파일 시간에 결정되는 반면, 동적 바인딩은 런타임에 결정됩니다. 가상 함수와 관련하여, 가상 함수 에 대해 이해하고있는지 봐주세요 에서 설명된 것처럼, 가상 함수 테이블을 통해 런타임에 함수 호출이 결정되는 과정을 설명하고 있습니다. 가상 함수와 다형성 : 가상 함수(virtual function)를 사용함으로써 다형성을 구현할 수 있습니다. 클래스 내에 가상 함수가 있다면, 해당 클래스의 객체가 생성될 때 가상 함수 테이블(vftable)에 그 함수들의 주소가 저장되게 됩니다. 이에 대한 상세한 설명은 클래스 타입의 포인터 질문합니다 에서 찾아볼 수 있습니다. 저는 질문자님의 이해를 돕고자 지식공유자님의 기존 답변을 참고하여 유사한 답변 링크를 추천해드리고 있습니다. 현재 베타 기능으로 답변이 만족스럽지 않을 수 있는 점 양해 부탁드립니다. 🙏 추가적으로 궁금한 점이 있으시면, 이어서 질문해 주세요. 곧 지식공유자께서 답변해 주실 것입니다.