클래스의 virtual function table과 가상함수의 동적바인딩이 잘 안 됩니다.

가상함수 테이블(virtual function table)은 컴파일 타임에 생성이 되고, 가상함수 테이블의 대상인 클래스로부터 생성된 객체 포인터의 vptr은 실행시에 동적으로 결정되는 것으로 알고 있습니다. 그래서 실습코드를 만들어보던 중에 동적결합의 이상유무를 발견하게 되었습니다. 코드는 다음과 같습니다.

class TopC {
public:
virtual void QueryInterface()=0;
};

class MiddleC : public TopC {
public:
virtual void QueryInterface() {
printf("MiddleC::QueryInterface\n");
}
virtual void QueryInterface(const char* name) {
printf("MiddleC::QueryInterface(const char* name), %s\n", name);
}
};
class ImpC : public MiddleC {
public:
virtual void QueryInterface() {
printf("ImpC::QueryInterface()\n");
}
};
class OverC : public ImpC {
public:
virtual void QueryInterface() {
printf("OverC::QueryInterface()\n");
}
};

클래스의 계층구조를 위와 같이 설계하고, 다음과 같이 코드를 언급했습니다.

ImpC* PIpC2=new ImpC;
PImpC2->QueryInterface();//ImpC::QueryInterface() 호출
//PImpC2->QueryInterface("huge");//컴파일 오류
MiddleC* PMiddleC2=PImpC2;
PMiddleC2->QueryInterface();//ImpC::QueryInterface() 호출
PMiddleC2->QueryInterface("huge");//컴파일이 안되야 하는데, 호출까지 이루어짐.//MiddleC::QueryInterface()

PImpC2 포인터 변수와 PiddleC2 포인터 변수는

new ImpC

로 생성된 객체를 가리키고, 그렇기 때문에 같은 vptr을 공유합니다. 그래고 해당 vptr은 ImpC 클래스의 vtable을 가리킵니다. 그림으로 그리면 다음과 같습니다.

ImpC이 vtable
virtual void QueryInterface의 주소 <--------------------- vptr <------- PImpc2, PMiddleC2

그래서 PMiddleC2라는 포인터로 호출할 수 있는 함수는 QueryInterface() 함수로 국한돼야 하는데, 가상함수테이블에 놓이지 않은 QueryInterface(const char* name) 함수가 아무런 문제없이 호출됩니다. 가상함수 테이블을 살펴보기도 하였으나, 그 구성원리에 따르면, ImpC 클래스에서 QueryInterface() 함수가 언급됨에 따라 MiddleC에서 언급된 QueryInterface(const char* name) 함수는 이름이 가리워져 테이블에 놓이지 않을 것으로 생각하는데, 어째서 QueryInterface(const char* name) 함수가 호출되는지 궁금합니다. 그 이유를 알고 싶습니다.