Why can’t static_cast be used to down-cast when virtual inheritance is involved?

by

[*]

The technical problem is that there’s no way to work out from a Base* what the offset is between the start of the Base sub-object and the start of the Derived object.

In your example it appears OK, because there’s only one class in sight with a Base base, and so it appears irrelevant that the inheritance is virtual. But the compiler doesn’t know whether someone defined another class Derived2 : public virtual Base, public Derived {}, and is casting a Base* pointing at the Base subobject of that. In general[*], the offset between the Base subobject and the Derived subobject within Derived2 might not be the same as the offset between the Base subobject and the complete Derived object of an object whose most-derived type is Derived, precisely because Base is virtually inherited.

So there’s no way to know the dynamic type of the complete object, and different offsets between the pointer you’ve given the cast, and the required result, depending what that dynamic type is. Hence the cast is impossible.

Your Base has no virtual functions and hence no RTTI, so there certainly is no way to tell the type of the complete object. The cast is still banned even if Base does have RTTI (I don’t immediately know why), but I guess without checking that a dynamic_cast is possible in that case.

[*] by which I mean, if this example doesn’t prove the point then keep adding more virtual inheritance until you find a case where the offsets are different 😉

More Related Contents:

  1. Upcast, downcasting, and hiding methods in C++ [closed]
  2. convert static_castmalloc/free to new/delete
  3. In C++, what is a virtual base class?
  4. Why use static_cast(x) instead of (int)x?
  5. Should I use static_cast or reinterpret_cast when casting a void* to whatever
  6. What is the difference between static_cast and C style casting?
  7. c++ virtual inheritance
  8. How does virtual inheritance solve the “diamond” (multiple inheritance) ambiguity?
  9. Why is Default constructor called in virtual inheritance?
  10. Casting double array to a struct of doubles
  11. Object layout in case of virtual functions and multiple inheritance
  12. Order of constructor call in virtual inheritance
  13. Virtual tables and memory layout in multiple virtual inheritance
  14. C++ static_cast runtime overhead
  15. Why must virtual base classes be constructed by the most derived class?
  16. Why can’t I static_cast between char * and unsigned char *?
  17. C++ When should we prefer to use a two chained static_cast over reinterpret_cast
  18. Why do we have reinterpret_cast in C++ when two chained static_cast can do its job?
  19. What is the VTT for a class?
  20. When virtual inheritance IS a good design?
  21. Create Random Number Sequence with No Repeats
  22. Why can’t variable names start with numbers?
  23. printf with std::string?
  24. lifetime of a std::initializer_list return value
  25. May I take the address of the one-past-the-end element of an array? [duplicate]
  26. c++ lambdas how to capture variadic parameter pack from the upper scope
  27. Converting string of 1s and 0s into binary value
  28. Why cast a pointer to a float into a pointer to a long, then dereference?
  29. Template type deduction in C++ for Class vs Function?
  30. C++, static vs. namespace vs. singleton

Leave a Comment