C++ 다형성 : 형식이 분명 할 때도 정적 바인딩이 불가능합니다.

Question

C++의 가상 함수 및 가상 테이블에 대해 배우고 있습니다. 그러나 동적 바인딩이 필요한 이유를 이해할 수 없습니다. 캔트 그림을 컴파일하는 이유

class Base1 { 
    public : virtual void foo() 
      { cout << " Base foo \n"; } 
}; 

class Base2 { 
    public : virtual void foo() 
      { cout << " Base2 foo \n"; } 
}; 

class derived : public base1, base 2 { 
    public : virtual void foo() 
     { cout << " derived foo \n"; } 
} 

int main() 
{ 
    derived d; 
    Base2 *p = &d; 
    p->foo();  // why can't the compiler figure out that this 
        // is a function call to the derived function 
        // foo at compile time? 

    return 0; 
} 

Answer 1

이 파생에 대한 함수 호출입니다 : 컴파일러는 함수 호출 여기에 예를 들어, 파생 또는 기본 기능에 있는지 알아 내기 위해 모든 정보를 가지고 있지 않습니다 함수 자체를 컴파일하는 동안 함수 foo?

수 있습니다. 그리고 일부 컴파일러 은이 해당 호출을 정적 바인딩으로 변환합니다.

그리고 컴파일러 이 동적 바인딩을 사용해야하는 다른 시나리오가 있습니다.

이 함수에서 어느 foo()이 호출되어야합니까?

void function(Base* p) 
{ 
    p->foo(); 
} 

* 확인할 수 없습니다. 동적 바인딩을 사용해야합니다.

* 편집 : 제공된 정보를 기반으로합니다. :)