Why does C++ not let baseclasses implement a derived class’ inherited interface?

by

This is multiple inheritance, and there are two inherited functions with the same signature, both of which have implementation. That’s where C++ is different from Java.

Calling write on an expression whose static type is MyBigClass would therefore be ambiguous as to which of the inherited functions was desired.

If write is only called through base class pointers, then defining write in the derived class is NOT necessary, contrary to the claim in the question. Now that the question changed to include a pure specifier, implementing that function in the derived class is necessary to make the class concrete and instantiable.

MyWriter::write cannot be used for the virtual call mechanism of MyBigClass, because the virtual call mechanism requires a function that accepts an implicit IWriter* const this, and MyWriter::write accepts an implicit MyWriter* const this. A new function is required, which must take into account the address difference between the IWriter subobject and the MyWriter subobject.

It would be theoretically possible for the compiler to create this new function automatically, but it would be fragile, since a change in a base class could suddenly cause a new function to be chosen for forwarding. It’s less fragile in Java, where only single inheritance is possible (there’s only one choice for what function to forward to), but in C++, which supports full multiple inheritance, the choice is ambiguous, and we haven’t even started on diamond inheritance or virtual inheritance yet.

Actually, this problem (difference between subobject addresses) is solved for virtual inheritance. But it requires additional overhead that’s not necessary most of the time, and a C++ guiding principle is “you don’t pay for what you don’t use”.

More Related Contents:

  1. Questions regarding constructors
  2. How do you declare an interface in C++?
  3. templates: parent class member variables not visible in inherited class
  4. Are parent class constructors called before initializing variables?
  5. c++ issue with function overloading in an inherited class
  6. Why must an C# interface method implemented in a class be public?
  7. Class inherited from class without default constructor
  8. Is there a way to instantiate objects from a string holding their class name?
  9. Unresolved external symbol on static class members
  10. C++ virtual function return type
  11. Conversion of pointer-to-pointer between derived and base classes?
  12. How do you create a static class in C++?
  13. How can I get the class name from a C++ object?
  14. When should I choose inheritance over an interface when designing C# class libraries? [closed]
  15. How does virtual method invocation work in C++?
  16. virtual inheritance [duplicate]
  17. In C++, is it possible to forward declare a class as inheriting from another class?
  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. How can I avoid including class implementation files?
  22. Why does C++ not allow inherited friendship?
  23. How to create a template function within a class? (C++)
  24. No matching function for call to Class Constructor
  25. Conversion from Derived** to Base**
  26. passing object by reference in C++
  27. C++ Virtual function being hidden
  28. Can you start a class name with a numeric digit?
  29. Scope resolution operator being used twice
  30. What does slicing mean in C++?

Leave a Comment