Как я могу добавить в список <? расширяет число> структур данных?
61620 просмотра
6 ответа
У меня есть список, который объявлен так:
List<? extends Number> foo3 = new ArrayList<Integer>();
Я пытался добавить 3 к foo3. Однако я получаю сообщение об ошибке, подобное этому:
The method add(capture#1-of ? extends Number) in the type List<capture#1-of ?
extends Number> is not applicable for the arguments (ExtendsNumber)
Автор: unj2
Источник
Размещён: 13.11.2019 11:39
Ответы (6)
286 плюса
Извините, но вы не можете.
Объявление подстановочного знака List<? extends Number> foo3
означает, что переменная foo3
может содержать любое значение из семейства типов (а не любое значение определенного типа). Это означает, что любое из них является юридическим заданием:
List<? extends Number> foo3 = new ArrayList<Number>; // Number "extends" Number
List<? extends Number> foo3 = new ArrayList<Integer>; // Integer extends Number
List<? extends Number> foo3 = new ArrayList<Double>; // Double extends Number
Итак, учитывая это, какой тип объекта вы можете добавить к List foo3
этому, будет допустимым после любого из вышеупомянутых возможных ArrayList
назначений:
- Вы не можете добавить,
Integer
потому чтоfoo3
может указывать наList<Double>
. - Вы не можете добавить,
Double
потому чтоfoo3
может указывать наList<Integer>
. - Вы не можете добавить,
Number
потому чтоfoo3
может указывать наList<Integer>
.
Вы не можете добавить какой-либо объект, List<? extends T>
потому что вы не можете гарантировать, на какой вид List
он действительно указывает, поэтому вы не можете гарантировать, что объект разрешен в этом List
. Единственная «гарантия» заключается в том, что вы можете только читать с нее, и вы получите T
или подкласс T
.
Обратная логика применяется super
, например, к List<? super T>
. Это законно:
List<? super Number> foo3 = new ArrayList<Number>; // Number is a "super" of Number
List<? super Number> foo3 = new ArrayList<Object>; // Object is a "super" of Number
Вы не можете прочитать конкретный тип T (например Number
), List<? super T>
потому что вы не можете гарантировать, на какой тип List
он действительно указывает. Единственная «гарантия», которую вы имеете, заключается в том, что вы можете добавить значение типа T
(или любого подкласса T
), не нарушая целостность указанного списка.
Прекрасным примером этого является подпись для Collections.copy()
:
public static <T> void copy(List<? super T> dest,List<? extends T> src)
Обратите внимание на то, как src
объявление списка использует, extends
чтобы я мог передать любой список из семейства связанных типов списков и при этом гарантировать, что он будет генерировать значения типа T или подклассов T. Но вы не можете добавить его в src
список.
В dest
списке декларация использует , super
чтобы позволить мне пройти любой список из семейства родственных типов List и до сих пор я могу гарантировать , записать значение типа конкретных Т к этому списку. Но нельзя гарантировать чтение значений определенного типа T, если я прочитаю из списка.
Так что теперь, благодаря универсальным групповым символам, я могу сделать любой из этих вызовов с этим единственным методом:
// copy(dest, src)
Collections.copy(new ArrayList<Number>(), new ArrayList<Number());
Collections.copy(new ArrayList<Number>(), new ArrayList<Integer());
Collections.copy(new ArrayList<Object>(), new ArrayList<Number>());
Collections.copy(new ArrayList<Object>(), new ArrayList<Double());
Подумайте об этом запутанном и очень широком коде для тренировки вашего мозга. Закомментированные строки являются недопустимыми, а причина указана в крайнем правом углу строки (необходимо прокрутить, чтобы увидеть некоторые из них):
List<Number> listNumber_ListNumber = new ArrayList<Number>();
//List<Number> listNumber_ListInteger = new ArrayList<Integer>(); // error - can assign only exactly <Number>
//List<Number> listNumber_ListDouble = new ArrayList<Double>(); // error - can assign only exactly <Number>
List<? extends Number> listExtendsNumber_ListNumber = new ArrayList<Number>();
List<? extends Number> listExtendsNumber_ListInteger = new ArrayList<Integer>();
List<? extends Number> listExtendsNumber_ListDouble = new ArrayList<Double>();
List<? super Number> listSuperNumber_ListNumber = new ArrayList<Number>();
//List<? super Number> listSuperNumber_ListInteger = new ArrayList<Integer>(); // error - Integer is not superclass of Number
//List<? super Number> listSuperNumber_ListDouble = new ArrayList<Double>(); // error - Double is not superclass of Number
//List<Integer> listInteger_ListNumber = new ArrayList<Number>(); // error - can assign only exactly <Integer>
List<Integer> listInteger_ListInteger = new ArrayList<Integer>();
//List<Integer> listInteger_ListDouble = new ArrayList<Double>(); // error - can assign only exactly <Integer>
//List<? extends Integer> listExtendsInteger_ListNumber = new ArrayList<Number>(); // error - Number is not a subclass of Integer
List<? extends Integer> listExtendsInteger_ListInteger = new ArrayList<Integer>();
//List<? extends Integer> listExtendsInteger_ListDouble = new ArrayList<Double>(); // error - Double is not a subclass of Integer
List<? super Integer> listSuperInteger_ListNumber = new ArrayList<Number>();
List<? super Integer> listSuperInteger_ListInteger = new ArrayList<Integer>();
//List<? super Integer> listSuperInteger_ListDouble = new ArrayList<Double>(); // error - Double is not a superclass of Integer
listNumber_ListNumber.add(3); // ok - allowed to add Integer to exactly List<Number>
// These next 3 are compile errors for the same reason:
// You don't know what kind of List<T> is really
// being referenced - it may not be able to hold an Integer.
// You can't add anything (not Object, Number, Integer,
// nor Double) to List<? extends Number>
//listExtendsNumber_ListNumber.add(3); // error - can't add Integer to *possible* List<Double>, even though it is really List<Number>
//listExtendsNumber_ListInteger.add(3); // error - can't add Integer to *possible* List<Double>, even though it is really List<Integer>
//listExtendsNumber_ListDouble.add(3); // error - can't add Integer to *possible* List<Double>, especially since it is really List<Double>
listSuperNumber_ListNumber.add(3); // ok - allowed to add Integer to List<Number> or List<Object>
listInteger_ListInteger.add(3); // ok - allowed to add Integer to exactly List<Integer> (duh)
// This fails for same reason above - you can't
// guarantee what kind of List the var is really
// pointing to
//listExtendsInteger_ListInteger.add(3); // error - can't add Integer to *possible* List<X> that is only allowed to hold X's
listSuperInteger_ListNumber.add(3); // ok - allowed to add Integer to List<Integer>, List<Number>, or List<Object>
listSuperInteger_ListInteger.add(3); // ok - allowed to add Integer to List<Integer>, List<Number>, or List<Object>
Автор: Bert F
Размещён: 05.05.2010 10:48
14 плюса
Вы не можете (без небезопасных бросков). Вы можете только читать из них.
Проблема в том, что вы не знаете, что именно представляет собой список. Это может быть список любого подкласса Number, поэтому, когда вы пытаетесь поместить в него элемент, вы не знаете, что этот элемент в действительности помещается в список.
Например, List может быть списком Byte
s, поэтому было бы ошибкой помещать Float
в него.
2 плюса
"List '<'? Extends Number> на самом деле является подстановочным знаком верхней границы!
Подстановочный знак, ограниченный сверху, говорит, что любой класс, который расширяет Number или Number сам по себе, может использоваться в качестве формального типа параметра: Проблема связана с тем фактом, что Java не знает, что такое тип List на самом деле. Это должен быть ТОЧНЫЙ и УНИКАЛЬНЫЙ тип. Я надеюсь, что это помогает :)
Автор: andygro Размещён: 13.03.2018 01:381 плюс
Вы могли бы сделать это вместо этого:
List<Number> foo3 = new ArrayList<Number>();
foo3.add(3);
Автор: Ryan Elkins
Размещён: 05.05.2010 09:48
1 плюс
Меня это смущало, хотя я читаю здесь ответы, пока не нашел комментарий Павла Минаева:
Обратите внимание, что список extends Number> не означает «список объектов разных типов, каждый из которых расширяет Number». Это означает «список объектов одного типа, который расширяет число»
После этого я смог понять BertF потрясающее объяснение. Список расширяет номер> значит? может иметь любой тип, расширяющий Number (Integer, Double и т. д.), и он не определен в объявлении (List extends Number>) того, что это из них, поэтому, когда вы хотите использовать метод add, он не известен, если ввод того же типа или нет; какой тип вообще?
Итак, элементы List extends Number> можно установить только при построении.
Также обратите внимание на следующее: когда мы используем шаблоны, мы сообщаем компилятору, с каким типом мы связываемся. T, например, держит этот тип для нас, но не ? делает то же самое
Я должен сказать .. Это один из грязных, чтобы объяснить / узнать
Автор: navid Размещён: 16.10.2018 11:49-1 плюса
где расширить список из 'Object', вы можете использовать list.add, а когда хотите использовать list.get, нужно только привести Object к вашему Object;
Автор: ArMo 372 Размещён: 28.10.2018 05:34Вопросы из категории :
- java В чем разница между int и Integer в Java и C #?
- java Как я могу определить IP моего маршрутизатора / шлюза в Java?
- java Каков наилучший способ проверки XML-файла по сравнению с XSD-файлом?
- java Как округлить результат целочисленного деления?
- java Преобразование списка <Integer> в список <String>
- java Почему я не могу объявить статические методы в интерфейсе?
- java Библиотека Java SWIFT
- java Выключение компьютера
- java Как я могу воспроизвести звук на Java?
- java Когда выбирать отмеченные и непроверенные исключения
- generics Почему в C # нельзя хранить объект List <string> в переменной List <object>
- generics Преобразование общего типа из строки
- generics Лучший способ проверить, является ли универсальный тип строкой? (С #)
- generics Есть ли ограничение, которое ограничивает мой общий метод численными типами?
- generics Каковы различия между «универсальными» типами в C ++ и Java?
- generics Приведение списка <int> в список <string> в .NET 2.0
- generics Удалить дубликаты из списка <T> в C #
- generics Console.WriteLine и общий список
- generics Создать экземпляр универсального типа в Java?
- generics Что хорошего в дженериках, зачем их использовать?