La surcharge des méthodes Java prend-elle en compte les types de paramètres d'exécution ou uniquement les types déclarés au moment de la compilation ?

Sélection de méthode de surcharge : types de paramètres réels ou déclarés

Dans la programmation Java, les méthodes surchargées offrent la flexibilité de définir plusieurs méthodes avec le même nom mais des listes de paramètres différentes. Lorsqu'une méthode est invoquée, le compilateur détermine la méthode appropriée à appeler en fonction de la liste d'arguments fournie.

Cependant, dans certains scénarios, vous pouvez vous demander si la sélection de la méthode prend plutôt en compte le type réel (d'exécution) du paramètre. du type déclaré. Considérez le code suivant :

interface Callee {
    void foo(Object o);
    void foo(String s);
    void foo(Integer i);
}

class CalleeImpl implements Callee {
    @Override
    public void foo(Object o) { System.out.println("foo(Object o)"); }
    @Override
    public void foo(String s) { System.out.println("foo(\"" + s + "\")"); }
    @Override
    public void foo(Integer i) { System.out.println("foo(" + i + ")"); }
}

public class Main {
    public static void main(String[] args) {
        Callee callee = new CalleeImpl();

        Object i = new Integer(12);
        Object s = "foobar";
        Object o = new Object();

        callee.foo(i);
        callee.foo(s);
        callee.foo(o);
    }
}

De façon inattendue, ce code affiche "foo(Object o)" pour les trois appels. Contrairement à l'intuition, la sélection de la méthode ne prend pas en compte les types de paramètres réels (Integer, String et Object). Au lieu de cela, il s'appuie uniquement sur les types de paramètres déclarés dans l'interface de l'appelé.

Ce comportement découle de la spécification du langage Java, qui indique explicitement :

When a method is invoked, the number of actual 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, il est crucial de noter qu'en Java, la répartition dynamique des méthodes, où la méthode réelle à appeler est déterminée au moment de l'exécution en fonction de l'objet sur lequel elle est appelée, s'applique uniquement à l'objet lui-même, pas aux types de paramètres.

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!