JavaRush/Помощь по Java задачам/Путаница с Generic

2 уровень

20.04.2021
600просмотров
9комментариев

Путаница с Generic

Решен

Очень нужна помощь... Не могу понять вот эти вопросы: 1. чем отличаются вот эти 2 дженерика <T extends MyClass> <? extends MyClass> 2. Окончательно путаюсь вот в этом. Если у нас есть вот такое <? extends MyClass> то мы можем только читать оттуда, а добавлять ничего нельзя? При этом при чтении придется вызывать Object?

for (Object pp : list) {
            System.out.println(pp);
        }

Зачем мы это используем? 3. Главный вопрос Есть вот такой код, он работает как-то

List<Parent> p = new ArrayList<>();
       p.add(new Parent());

       List<? super Child> list = new ArrayList<>();
       list = p;
       list.add(new Child());
       list.add(new ChildChild());
       list.add((Child) new Parent());

       for (Object pp : list) {
           System.out.println(pp);
       }

Почему мы можем напрямую (через метод add() ) добавлять только потомков, хотя у нас стоит <? super> ? Почему при этом мы можем все равно добавить класс-родитель? В общем, уже совсем ничего не понимаю, help !!!!!

Комментарии (9)

популярные
новые
старые

Для того, чтобы оставить комментарий Вы должны авторизоваться

Wladyslaw Java Developer

Master

20 апреля 2021, 17:19

полезный

Базовые понятия Тоже, но другим языком. Применимо к джаве, адресно. у реилизации дженериков которой есть свои особенности, ввиду стремления сохранить обратную совместимость с кодом, написанным до появления дженериков. В джаве они с пятой версии, раньше небыло. Ну и что куда можно ложить и что откуда брать Это уже напоследок, если останеться желание всякие пазлеры поразгадывать. В общем - не самая легкая тема. Тем более с джавовоской спецификой. Не понимать ничего - это нормальное состояние ;) На дженерики в джаве нужно смотреть с точки зрения компилятора. Он тут не может проверить на лист чего будет ссылаться эта ссылка.

List<? super Child> list

На лист родителей или на лист обжектов. Оба типа - предки Child-a. Соответственно он может тебе гарантировать только что что ты достанешь из такого листа обжект. Может и что-то другое - но это невозможно выяснить на этапе компиляции. И компилятор честно тебе от этом говорит. И он не работает. А падает с класс-каст исключением, если предположить такую иерархию. Потому что предок - не наследник. Наследник - предок, но не наоборот. Ты же не можешь утверждать что любой Object - Integer, а наоборот - можешь.

static class Parent {

}

static class Child extends Parent {

}

static class ChildChild extends Child {

}

enot

Уровень 2

20 апреля 2021, 17:43

Статьи честно прочитаны, после этих статей вопросы и возникли. Маторин тоже понравился, ощущение, что ряд статей (или примеры из них) с его доклада взяты. На всякий случай: Блох тоже по этому разделу прочитан. Понимания не прибавилось. Я понимаю, что после компиляции дженерики пропадают, остаётся только Object. Только это на мои вопросы не отвечает. Пример, который у меня приведён, компилируется и работает. Это-то и непонятно в том числе.

Wladyslaw Java Developer

Master

20 апреля 2021, 17:49

А покажи как у тебя описаны классы, которыми параметризируешь, потому что с моим вариантом падает. Явный каст - за таким комплятор не обязан следить, как бы. Ты взял на себя обязательства - мол там явно будет Чайлд, я знаю. Компилятор тебе варнинг покажет даже. Но - у руля ты. Хочешь кастить - пробуй. Дженерики тут не при чем. ? - в общем то эквивалентен обжекту

enot

Уровень 2

20 апреля 2021, 18:43

Полный пример, одна строчка убрана (с кастом, с ним действительно не компилируется). Но вопрос даже не про приведение, а почему вот это работает (т.е. мы добавляем и детей и родителя):

List<Parent> p = new ArrayList<>();
       p.add(new Parent());

       List<? super Child> list = new ArrayList<>();
       list = p;
       list.add(new Child());

сам код:

import java.util.ArrayList;
import java.util.List;

public class Generics {

    public static <T>T get(T t){
        return t;
    }

    public static void main(String[] args) {

        List<Parent> p = new ArrayList<>();
        p.add(new Parent());

        List<? super Child> list = new ArrayList<>();
        list = p;
        list.add(new Child());
        list.add(new ChildChild());

        for (Object pp : list) {
            System.out.println(pp);
        }

    }

    static class ChildChild extends Child{
    }

    static class Child extends Parent{
        @Override
        public void print(){
            System.out.println("Child");
        }
    }

    static class Parent {
        public void print(){
            System.out.println("Parent");
        }
    }

}

Вывод

Generics$Parent@5cad8086
Generics$Child@6e0be858
Generics$ChildChild@61bbe9ba

Process finished with exit code 0

Wladyslaw Java Developer

Master

20 апреля 2021, 19:05

Потому что в лист предком чайлда гарантированно можно добавить как Чайлд так и ЧайлдЧайлд. Но нельзя добавить парент или обжект - потому что неизвестно на что они будут ссылаться.

enot

Уровень 2

20 апреля 2021, 19:19

Ноу меня же Parent добавляется? Пусть криво технически, но добавляется? И чем все же отличаются вот эти две записи: чем отличаются вот эти 2 дженерика <T extends MyClass> <? extends MyClass> P/S/ последняя ссылка понравилась, спасибо))

Wladyslaw Java Developer

Master

20 апреля 2021, 19:49

Добавляется только по первой ссылке. По второй - не добавиться. реассайн тут возможен потому что ссылка на лист предков чайлда может содержать ссылаться на лист парентов. Но ссылка на лист предков чайлда может ссылаться не только на лист предков - потому достать оттуда тебе компилятор может позволить только обжект. Тебе дженерики то и гарантируют - заведемо несовместимый тип ты добавить не сможешь еще на этапе компиляции. Ничем. Если тебе тип параметр нужен - именуй его. Если нет - ну, не обязательно. Если он там где-то только в генерализации параметра метода участвует, напримерю

enot

Уровень 2

21 апреля 2021, 08:05

Если эти две строки одинаковы, почему вот это не скомпилируется?

<B extends A> B third(List<B> list) {
   return new B(); // DOES NOT COMPILE
}

Так же как и вот это не скомпилируется

<X> void fifth(List<X super B> list) { // DOES NOT COMPILE
}

Wladyslaw Java Developer

Master

21 апреля 2021, 08:45

решение

Потому что нельзя инстанциировать дженерик. На момент исполнения будет уже не понятно что именно создавать. Но, даже если ты описал бы это иначе и хотел бы вернуть какую-то реализацию ограниченную рамками - вот подобная ситуация к той, которую ты хотел продемонстрировать, насколько я тебя понял. Во втором случае ты хочешь объявить параметр который чем-то ограничен и принять лист этих параметров? Сделай что-то типа

<X super B> void fifth(List<X> list)

Потому что сейчас это выглядит будто ты определяешь дженерик, а потом пытаешься его переопределить, что ли В общем - без контекста того что именно ты пытаешься сделать трудно сказать что-то. Читай ошибки компиляции, смотри стековерфлоу. Может лучше не ошибки компилятора гуглить, а попытаться Гуглу объяснить что именно ты хочешь сделать - возможно кто-то уже спрашивал о подобном на стаке или ещё где.