Can Overriding Methods in Java Have Different Return Types?

Overriding Methods with Covariant Return Types in Java

Despite popular belief, it is indeed possible for overridden methods to deviate in terms of their return types in Java. More specifically, Java permits covariant return types, allowing an overriding method to possess a return type that is more refined than that of the overridden method. This entails that the return type of the overriding method must be assignable to the return type of the overridden method.

An illustrative example would be the following code snippet:

class ShapeBuilder {
    ...
    public Shape build() {
        ....
    }
}

class CircleBuilder extends ShapeBuilder{
    ...
    @Override
    public Circle build() {
        ....
    }
}

In this instance, the build() method of the CircleBuilder class overrides the build() method inherited from ShapeBuilder. Crucially, the build() method in CircleBuilder returns a Circle object, which is a more specific type compared to the Shape object returned by ShapeBuilder.

This behavior is codified in section 8.4.5 of the Java Language Specification, which explicitly states that "Return types may vary among methods that override each other if the return types are reference types." This principle underpins the concept of covariant returns, whereby the return type of an overriding method can be specialized to a subtype.

Furthermore, the specification outlines specific conditions that must be satisfied for return-type-substitutability between two methods:

• Void return types must match exactly.
• Primitive return types must be identical.

• Reference return types must either:

  • Be subtypes of each other.
  • Be convertible to a subtype of each other via unchecked conversion.

Prior to Java 5, Java adhered to invariant return types. In contrast, covariant return types offer greater flexibility in method overriding, enabling the return types to align more closely with the specific implementation of the overridden method.

The above is the detailed content of Can Overriding Methods in Java Have Different Return Types?. For more information, please follow other related articles on the PHP Chinese website!