C++ virtual function return type

by

In some cases, yes, it is legal for a derived class to override a virtual function using a different return type as long as the return type is covariant with the original return type. For example, consider the following:

class Base {
public:
    virtual ~Base() {}

    virtual Base* clone() const = 0;
};

class Derived: public Base {
public:
    virtual Derived* clone() const {
        return new Derived(*this);
    }
};

Here, Base defines a pure virtual function called clone that returns a Base *. In the derived implementation, this virtual function is overridden using a return type of Derived *. Although the return type is not the same as in the base, this is perfectly safe because any time you would write

Base* ptr = /* ... */
Base* clone = ptr->clone();

The call to clone() will always return a pointer to a Base object, since even if it returns a Derived*, this pointer is implicitly convertible to a Base* and the operation is well-defined.

More generally, a function’s return type is never considered part of its signature. You can override a member function with any return type as long as the return type is covariant.

More Related Contents:

  1. What are the differences between overriding virtual functions and hiding non-virtual functions?
  2. Calling virtual functions inside constructors
  3. C++ “virtual” keyword for functions in derived classes. Is it necessary?
  4. Can I call a base class’s virtual function if I’m overriding it?
  5. Is the ‘override’ keyword just a check for a overridden virtual method?
  6. Overriding a Base’s Overloaded Function in C++ [duplicate]
  7. Override a member function with different return type
  8. Inheritance and method overloading
  9. Force all classes to implement / override a ‘pure virtual’ method in multi-level inheritance hierarchy
  10. Return Type Covariance with Smart Pointers
  11. Overriding public virtual functions with private functions in C++
  12. Overriding static variables when subclassing
  13. C++ inheritance and function overriding
  14. What’s the point of a final virtual function?
  15. What is the difference between public, private, and protected inheritance in C++?
  16. How to call a parent class function from derived class function?
  17. Propagating ‘typedef’ from based to derived class for ‘template’
  18. C++ cast to derived class
  19. Virtual functions and performance – C++
  20. virtual assignment operator C++
  21. Why do we not have a virtual constructor in C++?
  22. How to use base class’s constructors and assignment operator in C++?
  23. What is the first (int (*)(…))0 vtable entry in the output of g++ -fdump-class-hierarchy?
  24. Trouble with inheritance of operator= in C++
  25. Default class inheritance access
  26. Why do we actually need Private or Protected inheritance in C++?
  27. Name lookups in C++ templates
  28. Diamond inheritance (C++)
  29. Default inheritance access specifier
  30. C++11 virtual destructors and auto generation of move special functions

Leave a Comment