Covariant return type and type conversion

by

Although Box::duplicate is being invoked at runtime (via virtual dispatch), and although Box::duplicate does override Shape::duplicate (covariantly), and although Box::duplicate does return a Box*, you’ll still get a Shape* pointer because you are calling duplicate() through a Shape* pointer, and Shape* is the return type of Shape::duplicate(), and the compiler only sees you calling Shape::duplicate, not Box::duplicate.

C++ is not able to dynamically select types, so this is the best it can do. Your Box* is being automatically converted to a Shape* on the way out of Box::duplicate. As Barry said, “it still has to compile at compile time, and at compile time all we know is that it returns a Shape*“.

Then, to make it into a Box* again, you need to explicitly cast it (using static_cast or dynamic_cast) because no implicit down-conversion exists.

[C++11: 10.3/7]: The return type of an overriding function shall be either identical to the return type of the overridden function or covariant with the classes of the functions. [..]

[C++11: 10.3/8]: If the return type of D::f differs from the return type of B::f, the class type in the return type of D::f shall
be complete at the point of declaration of D::f or shall be the class type D. When the overriding function is called as the final overrider of the overridden function, its result is converted to the type returned by the (statically chosen) overridden function (5.2.2). [..]

In the standard text, a pertinent example follows.

More Related Contents:

  1. How can I use covariant return types with smart pointers?
  2. Getting a vector into a function that expects a vector
  3. When is C++ covariance the best solution?
  4. C++ covariant templates
  5. C++ covariance in parameters
  6. Using generic std::function objects with member functions in one class
  7. C++ preprocessor __VA_ARGS__ number of arguments
  8. How can I implement ABA counter with c++11 CAS?
  9. I don’t want my Excel Add-In to return an array (instead I need a UDF to change other cells)
  10. Semantics of flags on basic_ios
  11. Computing length of a C string at compile time. Is this really a constexpr?
  12. How to implode a vector of strings into a string (the elegant way)
  13. What is the “assert” function?
  14. Overflowing of Unsigned Int
  15. How to make an expandable/collapsable section widget in Qt
  16. C++: rationale behind hiding rule
  17. C++: Is it safe to cast pointer to int and later back to pointer again?
  18. How to identify the file content as ASCII or binary
  19. How do you dynamically allocate a matrix?
  20. How do you disable the unused variable warnings coming out of gcc in 3rd party code I do not wish to edit?
  21. What Does It Mean For a C++ Function To Be Inline?
  22. What range of values can integer types store in C++?
  23. Throw in constexpr function
  24. Default vs. Implicit constructor in C++
  25. Redefinition allowed in C but not in C++?
  26. Check if a type is from a particular namespace
  27. Difference between a C++ exception and Structured Exception
  28. Advantages of using initializer list? [duplicate]
  29. Is lambdification of a concept an improvement or bad practice?
  30. Why can’t C++11 move a noncopyable functor to a std::function?

Leave a Comment