Size of the classes in case of virtual inheritance

by

sizeof(A): 8

3 bytes in the array, 1 byte padding, 4 bytes for the vptr (pointer to the vtable)

sizeof(B): 12

A subobject: 8, 3 bytes for the extra array, 1 byte padding

sizeof(C): 16

This is probably the surprising one for you…
A subobject: 8, 3 bytes for the extra array, 1 byte padding, 4 bytes pointer to A

Whenever you have virtual inheritance, the location of the virtual base subobject with respect to the start of the complete type is unknown, so an extra pointer is added to the original object to track where the virtual base is. Consider this example:

struct A {};
struct B : virtual A {};
struct C : virtual A {};
struct D : B, C {};

The location of A with respect to the start of the B object when the complete type is a B can be different than the location of the A subobject of B when it is part of the final object D. If this is not obvious, assume that the relative location is the same, and check whether the relative location of A with respect to C in a C final object or a C subobject in D can also be maintained.

As for the last example, I don’t quite feel like analyzing it… but you can read the Itanium C++ ABI for a concrete implementation of the C++ object model. All other implementations don’t differ much.

Last example:

sizeof(D): 32

D contains a B subobject (12), and a C subobject (16), plus an additional array of size 3 and one extra bit of padding 1.

In this particular case, the question that could come up is why are there two A subobjects if C inherits virtually from A, and the answer is that virtual base means that the object is willing to share this base with any other type in the hierarchy that is also willing to share it. But in this case B is not willing to share it’s A subobject, so C needs it’s own.

You should be able to track this by adding logs to the constructors at the different levels. In the case of A have it take a value in the compiler and pass different values from each extending class.

More Related Contents:

  1. Why doesn’t polymorphism work without pointers/references?
  2. Can I get polymorphic behavior without using virtual functions?
  3. No member named ” in ”. Why did it happen and how do I fix it?
  4. Why do we need virtual functions in C++?
  5. Store derived class objects in base class variables
  6. c++ virtual inheritance
  7. Accessing class members on a NULL pointer
  8. Where do “pure virtual function call” crashes come from?
  9. CRTP to avoid dynamic polymorphism
  10. Overriding a Base’s Overloaded Function in C++ [duplicate]
  11. How to copy/create derived class instance from a pointer to a polymorphic base class?
  12. Calling virtual function from destructor
  13. How can I store objects of differing types in a C++ container?
  14. How can I use polymorphic attributes with boost::spirit::qi parsers?
  15. Run an Application in GDB Until an Exception Occurs
  16. C++ inherit from multiple base classes with the same virtual function name
  17. sizeof class with int , function, virtual function in C++?
  18. C++ abstract class without pure virtual functions?
  19. C++: How to implement polymorphic object creator to populate a table
  20. Print address of virtual member function
  21. Pointers to virtual member functions. How does it work?
  22. Understanding virtual base classes and constructor calls
  23. Can’t downcast because class is not polymorphic?
  24. Ad hoc polymorphism and heterogeneous containers with value semantics
  25. Calling derived class function from base class
  26. C++ Virtual function being hidden
  27. C++ virtual function table memory cost
  28. Double dispatch/multimethods in C++
  29. list of polymorphic objects
  30. Polymorphism & Pointers to arrays [duplicate]

Leave a Comment