= Covariant Return Types =
=== Intent ===
Avoid unnecessary casting of the derived value returned from an overridden method in a derived class.
=== Also Known As ===
=== Motivation ===
In C++ a base class determines the method signatures of virtual functions that derived classes might override. The type of the return value in the overridden function is generally same as that of the base class's function. However, this can be limiting if the type returned by the overridden function is substitutable (sub-class) for the type of the base function. Consider the following example.
The caller of clone knows that the run-time type of the object returned by the function is Derived. However, a dynamic_cast is necessary to downcast the Base pointer to Derived if functions specific to Derived are to be used.
=== Solution and Sample Code ===
C++ allows the derived type to implement an overridden function with return type that is a sub-type of the return type of the base function. Here's an updated example.
This alternative is direct and saves unnecessary casts.
=== Known Uses ===
=== Related Idioms ===
=== References ===