How does virtual inheritance solve the “diamond” (multiple inheritance) ambiguity?

by

You want: (Achievable with virtual inheritance)

  A  
 / \  
B   C  
 \ /  
  D

And not: (What happens without virtual inheritance)

A   A  
|   |
B   C  
 \ /  
  D

Virtual inheritance means that there will be only 1 instance of the base A class not 2.

Your type D would have 2 vtable pointers (you can see them in the first diagram), one for B and one for C who virtually inherit A. D‘s object size is increased because it stores 2 pointers now; however there is only one A now.

So B::A and C::A are the same and so there can be no ambiguous calls from D. If you don’t use virtual inheritance you have the second diagram above. And any call to a member of A then becomes ambiguous and you need to specify which path you want to take.

Wikipedia has another good rundown and example here

More Related Contents:

  1. Diamond inheritance (C++)
  2. Why is Default constructor called in virtual inheritance?
  3. Object layout in case of virtual functions and multiple inheritance
  4. Multiple Inheritance from two derived classes
  5. Virtual tables and memory layout in multiple virtual inheritance
  6. Why must virtual base classes be constructed by the most derived class?
  7. When virtual inheritance IS a good design?
  8. Questions regarding constructors
  9. In C++, what is a virtual base class?
  10. Is there a way to instantiate objects from a string holding their class name?
  11. Why do multiple-inherited functions with same name but different signatures not get treated as overloaded functions?
  12. How can I initialize base class member variables in derived class constructor?
  13. Prevent class inheritance in C++
  14. Why should I use the “using” keyword to access my base class method?
  15. Are static variables in a base class shared by all derived classes?
  16. C++ pointer multi-inheritance fun
  17. Call base class method from derived class object
  18. subtle C++ inheritance error with protected fields
  19. C++: overriding public\private inheritance
  20. Why can I call base template class method from derived class
  21. Inheritance: ‘A’ is an inaccessible base of ‘B’
  22. Why does C++ not allow inherited friendship?
  23. How can I avoid the Diamond of Death when using multiple inheritance?
  24. Why not to inherit from std::allocator
  25. Conversion from Derived** to Base**
  26. Can’t downcast because class is not polymorphic?
  27. C++ Virtual function being hidden
  28. Why do I need to repeat template arguments of my base class in member initalizer list?
  29. What does slicing mean in C++?
  30. C++ Constructor/Destructor inheritance

Leave a Comment