Полиморфизм и перегрузка

Question

Я недавно столкнулся со следующим сценарием:

У меня есть суперкласс A и класс B, вытекающие из него. Функция, например oracle, возвращает объект любого типа. Я хочу делать разные вещи в зависимости от типа, но я не могу ввести новую функцию-член для A и B.

Одним из решений является ветвление в соответствии с getClass(). GetName(). Тем не менее, мне было интересно, может ли полиморфизм добиться такого же поведения с помощью перегрузки:

public class Main 
{ 
    static class A{} 
    static class B extends A{} 

    public static void foo(A a) { System.out.println("A"); }; 
    public static void foo(B b) { System.out.println("B"); }; 

    static A oracle() 
    { 
     return (Math.random() > 0.5) ? new A() : new B(); 
    } 

    public static void main(String[] args) 
    { 
     A x = oracle(); 
     foo(x); 
    } 
} 

Это всегда выводит «А» и мое подозрение, что это из-за раннего связывания используется для разрешения вызовов функций. Может ли кто-нибудь признать это?

Answer 1

В технических терминах Java является с одной отправкой Язык ООП. Это означает, что решение во время выполнения, которое метод для вызова (метод отправки) учитывает только первый аргумент метода — тот, что находится слева от точки. Там вы можете увидеть, как этот принцип настолько глубоко укоренился в языке, что первый аргумент даже получает специальное синтаксическое лечение.

Следовательно, нет, вы не можете выполнить полиморфизм во время выполнения с перегрузкой.

Answer 2

Это потому, что foo(A a) - это функция с точно такой же сигнатурой метода, поэтому она будет использовать ее.

В этом случае foo(B b) никогда не будет действительным вариантом, так как вам нужно будет сделать отражение, чтобы понять, что это может быть подходящий метод. Java не будет использовать отражение во всех параметрах только для того, чтобы увидеть, может ли метод в конечном итоге соответствовать, это будет просто слишком много времени.

Если вы хотите называть разные методы, то вы должны использовать наследование класса или другие полиморфные методы.

Answer 3

Вы должны иметь свои методы foo как методы экземпляра в классах A и B. то вызов в вашем случае x.foo() с экземпляром объекта B должен дать вам результат «B».

Answer 4

Попробуйте

static class A { 
    public void foo() { 
     System.out.println("A"); 
    } 
} 

static class B extends A { 
    public void foo() { 
     System.out.println("B"); 
    } 
} 


public static void main(String[] args) { 
    A x = oracle(); 
    x.foo(); 
} 

функции-члены знать тип которых они являются членом.

Answer 5

Эта статья дает хорошее объяснение того, что происходит: Overloading is compile-time binding

Я думаю, что вы собираетесь нужно сделать, это реализовать instanceof код в вас foo метод для лечения каждого типа по-разному.

Что касается вашего утверждения getClass().getName(), вы НИКОГДА не должны этого делать. Это то, для чего стоит instanceof. Работайте от более конкретных до менее конкретных (т.е. начинайте с B, затем A).