참조로 다중 상속의 모호성을 어떻게 해결할 수 있습니까?

Question

다음 코드는 악명 높은 다이아몬드 상속을 보여줍니다. 그러나 적절한 참조 지정이 모호성을 피하는 것으로 보인다.

# include <iostream> 
# include <stdio.h> 

class B { 
public: 
    int m_a ; 
} ; 

class D1 : public B { } ; 

class D2 : public B { } ; 

class E : public D1, public D2 { } ; 

    int main() { 
    E e ; 
    D1& c = e ; 
    D2& d = e ; 

    e.D1::m_a = 2 ; 
    e.D2::m_a = 2 ; 

    std::cout << c.m_a << std::endl ; 
    std::cout << d.m_a << std::endl ; 

    c.m_a = 3 ; 
    std::cout << c.m_a << std::endl ; 
    std::cout << d.m_a << std::endl ; 

    printf ("%p\n", &c) ; 
    printf ("%p\n", &d) ; 
    printf ("%p\n", &e) ; 
    printf ("\n") ; 
    printf ("%p\n", (void*) &(c.m_a)) ; 
    printf ("%p\n", (void*) &(d.m_a)) ; 

    return 0 ; 
} 

출력은 다음과 같습니다

2 
2 
3 
2 
0xffffcbf0 
0xffffcbf4 
0xffffcbf0 

0xffffcbf0 
0xffffcbf4 

그래서 그것은 중복 D1 : m_a 및 D2가 들어있는 개체 'E'의 메모리 레이아웃에 시작해야하는 위치에 대한 참조가 '알고있다'보인다 :: m_a. C++ 구현에서 어떻게 달성되는지 궁금합니다. 감사!

Answer 1

무슨 일이 일어나는지를 가장 쉽게 발견하는 방법은 (void*)(&c)과 (void*)(&d)입니다. 두 참조는 e의 고유 한 하위 객체를 참조합니다.

또한, D1 및 D2에 대한 참조 할 은 일부 E 안에 거 알아하지. 참조는 메모리에있는 모든 객체를 참조 할 수 있지만 객체의 주변에 대해서는 알지 못합니다.