파생 클래스의이 포인터를 기반으로 멤버 함수를 찾는 방법은 무엇입니까?

Question

는 다음과 같은 예를 생각해

struct B1 { 
    void f() { 
     this->g(); 
     std::cout << this << std::endl; 
    } 
    void g() { 
     std::cout << "B1::g" << std::endl; 
    } 
}; 

struct B2 { 
    void f() { 
     this->g(); 
     std::cout << this << std::endl; 
    } 
    void g() { 
     std::cout << "B2::g" << std::endl; 
    } 
}; 

struct C: B1, B2 { 
    void f() { 
     B1::f(); 
     B2::f(); 
     std::cout << this << std::endl; 
    } 
    void g() { 
     std::cout << "C::g" << std::endl; 
    } 
}; 

int main() { 
    C c; 
    c.f(); 
    return 0; 
} 

나를 위해, 출력은 다음과 같습니다

B1::g 
0x7fffa11436b7 
B2::g 
0x7fffa11436b7 
0x7fffa11436b7 

우리가 B2::f에 초점을 보자. 결과에서 볼 수 있듯이 B2::f 안에 this은 C 유형의 개체 시작 부분을 가리 킵니다. 그렇다면 this->g()은 어떻게 정확히 B2::g()으로 해결 되었습니까?

Answer 1

여기에 가상 기능이 없습니다. 따라서 g 회원 함수를 호출하면 B1::f에서 으로 전화 할 것입니다. 정의는B1::g입니다. 상황이 참으로 모든 f 기능