Метод Java Overload с унаследованным интерфейсом

Question

Я пытаюсь понять поведение Java. Используя этот интерфейс:

public interface IA {}
public interface IB extends IA {}
public class myClass implements IB {}

Я перегружаю метод, подобный этому:

public void method(IA a);
public void method(IB b);

При вызове метода со следующим объектом:

IA a = new myClass();
method(a);

Почему Java использует:

 public void method(IA a);

вместо

public void method(IB b);

Спасибо

Answer 1

Поскольку компилятор знает только, что a является экземпляром IA. Перегрузки определяются во время компиляции на основе типов времени компиляции задействованных выражений, а тип времени компиляции a равен IA.

(Сравните это с переопределением, когда реализация метода выбирается при выполнении времени на основе фактического задействованного типа.)

Answer 2

Линия

 IA a = new myClass();

определяет объект a как тип IA, и это все, что знает компилятор. Он не может предполагать, что a также является IB, поскольку вполне возможно, что это так:

 public class MyClass2 implements IA{}

 IA a = new MyClass2();
 method(a);

, в этом случае a НЕ является IB, как в вашем примере. Таким образом, компилятор не делает никаких предположений о типе, кроме того, который вы предоставляете. Поэтому он должен вызывать метод, который принимает IA.

Answer 3

Поскольку вы передаете «a», это аргумент IA.