Не такой это простой вопрос, особенно для начинающих разработчиков. Никакое чтиво про "преобразование" типов, полагаю, вам не поможет, потому что очень скоро вы упретесь в то, что между супер классом и классом - наследником отношение is a, т.е. класс-наследник является супер классом, что снова поставит вас в тот же тупик, в котором вы находитесь.
К сожалению, объяснит все подробности происходящего в рамках форума невозможно, однако, если не углубляться в детали, то прояснит ситуацию вполне реально.
Весь фокус в том, что вы имеете дело не просто с наследованием, а с дженериками. И понимание происходящего зависит от того, насколько хорошо вы понимаете работу дженериков (а это довольно непросто). Вы должны понимать, что между классом А и интерфейсом IA действительно отношение is a, но вы имеете дело не с этими классами, а с коллекциями, типизированными указанными классом и интерфейсом, а это совсем не одно и тоже. Теперь определение того, является ли коллекция, объявленная в сигнатуре метода, подходящей по типу для коллекции, которую мы пытаемся передать в этот метод, возложено именно на дженерики(коллекции)!
Для понимания происходящего (реализации полиморфизма) вам следует знать, что для дженериков существует своя система наследования. Рассмотрите этот пример:
import java.util.ArrayList;
import java.util.List;
public class A implements IA {
static void test(List<? extends IA> ia) {
}
public static void main(String[] args) {
List<IA> aList = new ArrayList<>();
aList.add(new A());
aList.add(new B());
test(aList);
}
}
class B implements IA {
public static void main(String[] args) {
List<B> aList = new ArrayList<>();
aList.add(new B());
test(aList);
}
}
В случае с классом А нам необходимо создать единую коллекцию для наполнения ее объектами различных классов-наследников. Именно это происходит в методе main класса А. В этом случае коллекция типизируется интерфейсом. Если бы мы типизировали нашу коллекцию конкретным классом, например А, то не смогли бы добавить туда экземпляры класса В, а именно это нам необходимо в данном примере.
В случае с классом В мы хотим иметь коллекцию, типизированную только классом В (возможно для В существуют методы, которых нет в интерфейсе и на этом уровне - в методе main класса В , работая с коллекцией, мы вызываем именно эти специфические для В методы). В этом случае мы не сможем добавить в коллекцию экземпляры класса А.
Что касается метода test, нам достаточно изменить дженерик коллекции лист на List<? extends IA>
, теперь этот метод в состоянии принять и коллекцию, типизированную интерфейсом IA, и коллекцию, типизированную наследниками указанного интерфейса - классами A,B.
В том случае, когда вы объявляете метод с сигнатурой test(List<IA> ia)
вы указываете компилятору, что хотите принимать исключительно коллекцию, типизированную интерфейсом. Таким образом, вам предоставляется контроль над тем, что именно принимает ваш метод: исключительно коллекции , типизированные интерфейсом, или как коллекции, типизированные интерфейсом, так и коллекции , типизированные наследниками данного интерфейса.
Если есть вопросы - задавайте
A
?List
у меня были массивы (так задумано было преподавателями которые меня типо учат на бесплатных курсах). С массивами выше описанная ситуация работает как надо, а когда пришло время перейти на коллекции, я был удивлен что не могу сделать тоже самое, приходиться изменять много кода. Выше приведен просто маленький примерчик, код из своей учебной программы я не стал скидывать, так как на маленьком примере легче объяснить, что я хочу узнать.