С Новым годом! Форум программистов, компьютерный форум, киберфорум
Java SE (J2SE)
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск Заказать работу  
 
Рейтинг 4.69/13: Рейтинг темы: голосов - 13, средняя оценка - 4.69
 Аватар для robotcode
28 / 8 / 6
Регистрация: 20.09.2017
Сообщений: 133

<? extends E> и <? super E>

11.06.2018, 09:38. Показов 2700. Ответов 8
Метки нет (Все метки)

Студворк — интернет-сервис помощи студентам
class One
class Two extends One
class Three extends Two

Java
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
        One one = new One();
        Two two = new Two();
        Three three = new Three();
 
        List<? extends Two> list = new ArrayList(); // list может принимать Two или его суперклассы
 
        list.add(one); //ошибка   ?????
        list.add(two);  //ошибка  ?????
        list.add(three);  //ошибка, т.к. three подкласс two
 
 
        List<? super Two> list1 = new ArrayList(); //list1 может принимать Two или его подклассы
 
        list1.add(one);  //ошибка, т.к. one суперкласс two
        list1.add(two);   //ошибки нет, т.к. list1 принимает two
        list1.add(three);  //ошибки нет, т.к. three подкласс two
Подскажите, что я не так догоняю ?
0
Programming
Эксперт
39485 / 9562 / 3019
Регистрация: 12.04.2006
Сообщений: 41,671
Блог
11.06.2018, 09:38
Ответы с готовыми решениями:

Наследование extends и super
Здравствуйте! Какое значение несёт в себе super в этом методе? public void addListener(ChangeListener&lt;? super String&gt;...

Generics extends super with ? differencies
плохо понимаю генерики в java, но руководствуясь бытовой логикой пишу 2 ассиметричных примера. общая часть: class A1{} class B1...

extends
Я вот читаю про ООП в PHP. Там написано, что extends говорит, что этот класс расширяет тот, класс, &quot;от которого он extends&quot;. Вот...

8
0 / 0 / 0
Регистрация: 08.12.2014
Сообщений: 17
11.06.2018, 14:39
Здравствуйте!
Как я помню при инициализации new ArrayList() происходит инициализация массива Object[]. Он должен быть инициализирован конкретным объектом, а в записи List<? extends Two> list этот объект установить невозможно.

Добавлено через 6 минут
Вот так все будет работать List<One> list = new ArrayList();
0
Эксперт функциональных языков программированияЭксперт Java
 Аватар для korvin_
4575 / 2773 / 491
Регистрация: 28.04.2012
Сообщений: 8,761
12.06.2018, 00:16
Цитата Сообщение от robotcode Посмотреть сообщение
list1.add(three); *//ошибки нет, т.к. three подкласс two
Как это нет, когда есть.

Добавлено через 18 минут
Цитата Сообщение от robotcode Посмотреть сообщение
что я не так догоняю?
Систему типов.

Цитата Сообщение от robotcode Посмотреть сообщение
List<? extends Two> list = new ArrayList(); // list может принимать Two или его суперклассы
Вообще-то субклассы.

Цитата Сообщение от robotcode Посмотреть сообщение
list.add(three); *//ошибка, т.к. three подкласс two
Нет. Ошибка, т.к. List<? extends Two> list может ссылаться на список любых суперклассов Two, в т.ч. на список List<Four>, где Four extends Three, поэтому добавлять туда Three, как и любой другой суперкласс Two, нельзя.

Цитата Сообщение от robotcode Посмотреть сообщение
list1.add(one); *//ошибка, т.к. one суперкласс two
Нет. Ошибка, т.к. List<? super Two> list может ссылаться на список любых субклассов Two, в т.ч. какой-нибудь OneAndHalf, являющийся подклассом One и суперклассом Two, поэтому добавлять туда One, как и любой другой подкласс Two, нельзя.

Цитата Сообщение от robotcode Посмотреть сообщение
// list может принимать
Не может. List<? ... T> может ссылаться на любой список List<T>, где T — любой тип, удовлетворяющий заданным границам.

Добавлено через 2 минуты
Вот тебе ещё немного примеров для размышления:

Java
1
2
3
4
        final List<? extends Two> list = new ArrayList<>();
        final One one = list.get(0);
        final Two two = list.get(0);
        final Three three = list.get(0);
Java
1
2
3
4
        final List<? super Two> list = new ArrayList<>();
        final One one = list.get(0);
        final Two two = list.get(0);
        final Three three = list.get(0);
1
502 / 348 / 134
Регистрация: 14.06.2016
Сообщений: 669
12.06.2018, 00:20
Java
1
2
3
4
    public void method(List<? super Number> list) {
        Integer i = 1;
        list.add(i);
    }
Ошибки нет.
0
Эксперт функциональных языков программированияЭксперт Java
 Аватар для korvin_
4575 / 2773 / 491
Регистрация: 28.04.2012
Сообщений: 8,761
12.06.2018, 00:39
Цитата Сообщение от vcrop Посмотреть сообщение
Ошибки нет.
Да, видимо, я опечатался пока переписывал.
1
 Аватар для robotcode
28 / 8 / 6
Регистрация: 20.09.2017
Сообщений: 133
12.06.2018, 09:27  [ТС]
Цитата Сообщение от korvin_ Посмотреть сообщение
List<? extends Two> list = new ArrayList(); // list может принимать Two или его суперклассы
Вообще-то субклассы.
Цитата Сообщение от korvin_ Посмотреть сообщение
list.add(three); *//ошибка, т.к. three подкласс two
Нет. Ошибка, т.к. List<? extends Two> list может ссылаться на список любых суперклассов Two, в т.ч. на список List<Four>, где Four extends Three, поэтому добавлять туда Three, как и любой другой суперкласс Two, нельзя.
Жирным выделил, то что мне кажется противоречием друг другу

И вообще в примере с <? extends Two> - list ни на что не хочет ссылаться, ни на суперклассы, ни на подклассы

Добавлено через 16 минут
Вот что, как правило, везде пишут:
<? super E> и <? extends E> в коллекциях
Многие программисты путают (а некоторые и не знают) эти конструкции при работе с коллекциями. Что же они означают?
Первая означает, что объекты коллекции будут предками для Е, а вторая - объекты, которые являются подтипами Е.

Немного перефразирую свой первый пост:
class One
class Two extends One
class Three extends Two
Java
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
        One one = new One();
        Two two = new Two();
        Three three = new Three();
        Four four = new Four();
        
        List<? extends Two> list = new ArrayList(); //объекты коллекции будут подтипы для Two
 
        list.add(one); // one - предок Two, ошибка
        list.add(two);  // почему ошбика ?
        list.add(three); //three - подтип two, почему ошибка ?
        
        List<? super Two> list1 = new ArrayList(); //объекты коллекции будут предками для Two
        
        list1.add(one); //one - предок two, почему ошибка ?
        list1.add(two);   //ошибки нет
        list1.add(three);  //three - подтип two, почему нет ошибки ?
0
502 / 348 / 134
Регистрация: 14.06.2016
Сообщений: 669
12.06.2018, 10:46
Давай, для наглядности примера:
Java
1
2
3
    public void method(List<? extends Object> list) {
        list.add("something"); //String - подтип Object, почему ошибка ?
    }
По коду нигде не будет
Java
1
2
    List<Integer> integerList = new ArrayList<>();
    method(integerList);
?
0
 Аватар для robotcode
28 / 8 / 6
Регистрация: 20.09.2017
Сообщений: 133
12.06.2018, 11:38  [ТС]
vcrop,
Цитата Сообщение от vcrop Посмотреть сообщение
list.add("something"); //String - подтип Object, почему ошибка ?
Возможно, потому что в этом случае подходит только явная типизация public void method(List<String> list) {...};
0
Эксперт функциональных языков программированияЭксперт Java
 Аватар для korvin_
4575 / 2773 / 491
Регистрация: 28.04.2012
Сообщений: 8,761
12.06.2018, 13:57
Цитата Сообщение от robotcode Посмотреть сообщение
Жирным выделил, то что мне кажется противоречием друг другу
Да, вторая фраза некорректна, правильно: на список любых подклассов.

Цитата Сообщение от robotcode Посмотреть сообщение
И вообще в примере с <? extends Two> - list ни на что не хочет ссылаться, ни на суперклассы, ни на подклассы
Как это не хочет?
Вполне хочет:

Java
1
2
3
4
        List<? extends Base> list;
        list = new ArrayList<Base>(); // вот он ссылается на список Base
        list = new ArrayList<Left>(); // а вот --- на список Left
        list = new ArrayList<Right>(); // а вот тут --- на список Right
Java
1
2
3
class Base{}
class Left extends Base {}
class Right extends Base {}
Добавлено через 26 минут
Bound-спецификаторы (extends, super) относятся к тому, каким типом дженерик может быть параметризован

Цитата Сообщение от robotcode Посмотреть сообщение
Java
1
2
List<? extends Two> list = new ArrayList();
list.add(two); *// почему ошбика?
Потому что List<? extends Two> — это не List<Two>, а список любого субкласса Two, например, это может фактически оказаться List<Three extends Two>:
Java
1
List<? extends Two> list = new ArrayList<Three>();
а ты пытаешься туда Two запихнуть. Не пойдёт.

Цитата Сообщение от robotcode Посмотреть сообщение
Java
1
list.add(three); //three - подтип two, почему ошибка?
Потому же, почему и выше: List<? extends Two> может оказаться List<Four extends Two>:
Java
1
2
class Four extends Three {}
List<? extends Two> list = new ArrayList<Four>();
или какой-нибудь TwoPlusOne, который к Three никакого отношения не имеет, кроме общего предка:
Java
1
2
class TwoPlusOne extends Two {}
List<? extends Two> list = new ArrayList< TwoPlusOne >();
а ты пытаешься туда Three запихнуть. Three не пройдёт!

Цитата Сообщение от robotcode Посмотреть сообщение
Java
1
2
List<? super Two> list1 = new ArrayList();
list1.add(one); //one - предок two, почему ошибка?
а new Object() — предок one и тоже предок Two, а список list1 может оказаться списком One:
Java
1
2
List<? super Two> list1 = new ArrayList<One>();
list1.add(new Object());
а ты попытаешься туда Object запихнуть, так же он может оказаться списком Two, а ты попытаешься туда One запихнуть. Как думаешь, почему нельзя запихивать One в List<Two extends Two>?

Цитата Сообщение от robotcode Посмотреть сообщение
list1.add(three); //three - подтип two, почему нет ошибки?
Потому что это законно — запихивать объекты субклассов в списки их родителей. В список List<Two> безопасно добавлять объекты Two и любых его субклассов, т.е. Two и Three. В список List<One> — безопасно добавлять One, Two и Three.
Оба списка: List<Two> и List<One> удовлетворят типу List<? super Two>, в оба можно безопасно добавлять Two и Three.

Почитал бы этот раздел.
1
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
inter-admin
Эксперт
29715 / 6470 / 2152
Регистрация: 06.03.2009
Сообщений: 28,500
Блог
12.06.2018, 13:57
Помогаю со студенческими работами здесь

extends
Здравствуйте у меян такой вопрос мб кто нибудь знает. Допустим есть 2 класса class t1 { } class t2 extends t1 {}

implements, extends
Всем привет. Вот конструкция: class MyGenClass&lt;T extends Comparable&lt;T&gt;&gt; Почему мы при параметризации должны писать extends, а не...

Extends и Implements - определения
Скажите пжл что означают эти слова и в чём разница между ними? Только по-простому объясните. Спасибо Добавлено через 3 минуты Я...

Multiple extends - как правильно?
помогите разобраться вот есть class0, который содержит все общие объекты и методы, которыми пользуются другие классы, т.е. он parent и...

Generic type extends some class
Столкнулся с проблемой что я не могу вызвать метод на параметрическом типе: type generic TMyClass&lt;T&gt; = class(TSomeClass) ...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
9
Ответ Создать тему
Новые блоги и статьи
Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост.
Programma_Boinc 28.12.2025
Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / **********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / **********/ gallery/ bKBkQFf Пост отсюда. . .
Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США.
Programma_Boinc 26.12.2025
Нашел на реддите интересную статью под названием Anyone know where to get a free Desktop or Laptop? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .
Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка.
Programma_Boinc 23.12.2025
Рецензия / Мнение/ Перевод Нашел на реддите интересную статью под названием The Thinkpad X220 Tablet is the best budget school laptop period . Ниже её машинный перевод. Thinkpad X220 Tablet —. . .
PhpStorm 2025.3: WSL Terminal всегда стартует в ~
and_y87 14.12.2025
PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .
Как объединить две одинаковые БД Access с разными данными
VikBal 11.12.2025
Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.
Новый ноутбук
volvo 07.12.2025
Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro
Музыка, написанная Искусственным Интеллектом
volvo 04.12.2025
Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .
От async/await к виртуальным потокам в Python
IndentationError 23.11.2025
Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .
Поиск "дружественных имён" СОМ портов
Argus19 22.11.2025
Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .
Сколько Государство потратило денег на меня, обеспечивая инсулином.
Programma_Boinc 20.11.2025
Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2026, CyberForum.ru