引用如何解决多重继承中的歧义？

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

因此，似乎引用“知道”它应该从对象“ e”的内存布局开始的地方，该对象包含重复的D1 :: m_a和D2 :: m_a。 我想知道如何在C ++实现中实现它。 谢谢！

Answer 1

发现正在发生的事情的最简单方法是打印(void*)(&c)和(void*)(&d) 。 这两个参考文献引用了e不同子对象。

另外，对D1和D2的引用也不知道它们在E 。 引用可以引用内存中的任何对象，但不知道该对象的周围环境。