Понимание наследования Java ⇐ JAVA

[Anonymous]

Для следующего кода Java:

Код: Выделить всё

class mainul {

public static void main(String[] args) {

/*block 1*/
B b1 = new B();
A a1 = b1;
a1.m1(b1);

/*block 2*/
B b2 = new B();
B a2 = b2;
b2.m1(a2);
}
}

class A {

public static void p(Object o) {
System.out.println(o.toString());
}

public void m1(A a) {
p("m1(A) in A");

}
}

class B extends A {

public void m1(B b) {
p("m1(B) in B");
}
}

Может ли кто-нибудь пролить свет на то, почему вывод этой программы

Код: Выделить всё

m1(A) in A
m1(B) in B

Можно было бы ожидать, что вывод блока 1 будет «m1(B) in B», поскольку динамический тип a1 — это B. Я заметил, что сигнатуры функций в A и B для m1 не совпадают (в качестве аргумента ожидается объект типа A, а другой - типа B), и метод в A, похоже, получает приоритет, но я не могу связать это с моим выводом, поскольку это не так. похоже, соответствует выводам блока 2.

Подробнее здесь: https://stackoverflow.com/questions/100 ... nheritance