Les méthodes de remplacement en Java peuvent-elles avoir différents types de retour ?

Remplacer les méthodes avec des types de retour covariants en Java

Malgré la croyance populaire, il est en effet possible que les méthodes surchargées s'écartent en termes de retour types en Java. Plus précisément, Java autorise les types de retour covariants, permettant à une méthode remplacée de posséder un type de retour plus raffiné que celui de la méthode remplacée. Cela implique que le type de retour de la méthode remplacée doit être attribuable au type de retour de la méthode remplacée.

Un exemple illustratif serait l'extrait de code suivant :

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

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

Dans ce cas , la méthode build() de la classe CircleBuilder remplace la méthode build() héritée de ShapeBuilder. Surtout, la méthode build() de CircleBuilder renvoie un objet Circle, qui est un type plus spécifique par rapport à l'objet Shape renvoyé par ShapeBuilder.

Ce comportement est codifié dans la section 8.4.5 de la spécification du langage Java, qui indique explicitement que « les types de retour peuvent varier selon les méthodes qui se remplacent si les types de retour sont des types de référence. » Ce principe sous-tend le concept de retours covariants, selon lesquels le type de retour d'une méthode de substitution peut être spécialisé en un sous-type.

De plus, la spécification décrit les conditions spécifiques qui doivent être satisfaites pour la substituabilité du type de retour entre deux méthodes. :

• Les types de retour nuls doivent correspondre exactement.
• Les types de retour primitifs doivent être identiques.

• Les types de retour de référence doivent soit :

  • Être des sous-types les uns des autres.
  • Être convertibles en un sous-type les uns des autres via une conversion non vérifiée.

Avant Java 5, Java adhérait aux types de retour invariants. En revanche, les types de retour covariants offrent une plus grande flexibilité dans le remplacement de méthode, permettant aux types de retour de s'aligner plus étroitement sur l'implémentation spécifique de la méthode remplacée.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!