Pourquoi la surcharge des méthodes Java ignore-t-elle les types de paramètres d'exécution ?

Sélection de méthodes surchargées : comprendre le rôle des types de paramètres réels

Le mécanisme de répartition dynamique des méthodes de Java présente des nuances qui peuvent être facilement négligées. Cet article explore un malentendu spécifique concernant l'influence des types de paramètres réels sur la sélection des méthodes.

Le problème :

Dans le code fourni, l'interface Callee définit trois méthodes surchargées foo. On s'attend à ce que lors de l'invocation de foo avec un "Integer i" réel, la méthode foo(Integer i) soit sélectionnée. Cependant, le comportement observé est que foo(Object o) est toujours exécuté, quel que soit le type de paramètre réel.

L'explication :

Contrairement aux attentes, la méthode Java Le processus de sélection prend uniquement en compte les types d'arguments au moment de la compilation. Cela signifie que la surcharge basée sur les types de paramètres réels, un concept connu sous le nom de « vérification de type à l'exécution », n'est pas prise en charge dans Java.

Le mot officiel :

Le La spécification du langage Java indique explicitement :

When a method is invoked, the number of actual arguments (and any explicit type arguments) and **the compile-time types of the arguments** are used, at compile time, to determine the signature of the method that will be invoked.

Par conséquent, le mécanisme de sélection de méthode de Java ne tient pas compte du type d'exécution réel des objets passés en tant que méthode. arguments.

Implications :

Ce comportement peut avoir des implications importantes. Par exemple, lorsqu'il s'agit d'objets polymorphes ou de hiérarchies de classes, le comportement de surcharge attendu basé sur les types de paramètres réels peut ne pas se produire.

Alternatives :

Si la vérification du type à l'exécution est souhaité, Java propose des mécanismes alternatifs tels que la réflexion et les génériques, qui offrent une plus grande flexibilité dans la gestion des différents types d'objets.

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!