Добрый вечер. Изучая полиморфизм в Java натолкнулся на такой пример:
class A {
void m1(A a) {
System.out.print("A");
}
}
class B extends A {
void m1(B b) {
System.out.print("B");
}
}
class C extends B {
void m1(B c) {
System.out.print("C");
}
}
class D {
public static void main(String[] args) {
A c1 = new C();
c1.m1(new B());
}
}
И возник вопрос почему ответ в данной программе А ? Получается, что в данной строчке
A c1 = new C();
происходит процесс полиморфизма и по правилам должен вызываться метод m1 класса С (который не переопределен , а перегружен и в качестве параметра принимает любую переменную типа В). Подскажите что в моих рассуждениях не так ? (Ведь ответ вроде должен быть С) И еще один пример :
public void go() {
А param = new A();
Object obj = getObject(A);
}
public Object getObject(Object o) {
return o;
}
Скажите , почему если в строчке :
Object obj = getObject(A);
Поменять Object на A, то произойдет ошибка ? Если параметр метода указан как Object, то при вызове функции getObject с аргументом A он будет приводиться к Object? Получается, что если возвращаемое значения метода указано как Object, то тип A будет приводиться к Object ? Если это так, то объясните пожалуйста как это происходит, а если нет, то скажите что происходит на самом деле ?
Заранее спасибо :)
getObject
объект типаA
, то и вернётся тоже объект типаA
. Всё, что он учитывает при анализе — это то, что возвращаемый тип уgetObject
—Object
, а значит, в кодеA a = getObject(new A());
он не сможет гарантировать, что возвращённый объект будет точно типаA
. Поэтому он откажется такое компилировать.