Ограниченные подстановочные знаки Java Generics
Это довольно надуманный пример, который я делаю для изучения потоков Java, но, как мне кажется, застрял в общей проблеме с подстановочными знаками. Мой код ниже. Я пытаюсь прочитать каждый объект Employee из списка, применить функцию, получить идентификатор и снова установить его в новом объекте сотрудника. Однако код не будет компилироваться прямо в методе key.apply(emp). Сообщение об ошибке не особенно полезно для отладки, так как оно просто говорит: «Требуемый тип: захват ? extends Предоставляемый номер: захват ? расширяет номер. Требуемый и предоставленный выглядят одинаково. Что мне не хватает?
import java.util.ArrayList; import java.util.HashMap; import java.util.List; import java.util.Map; import java.util.function.BiConsumer; import java.util.function.Function; public class Employee < private int id; private String name; Map, BiConsumer> map = new HashMap<>(); public Employee(String name, int id) < this.name = name; this.id = id; >public Employee() < >public int getId() < return id; >public void setId(int id) < this.id = id; >public Function func = Employee::getId; public BiConsumer c = Employee::setId; public static void main(String[] args) < Employee e = new Employee(); e.m1(); >private void m1() < Listl = new ArrayList<>(); l.add(new Employee("A", 100)); l.add(new Employee("B", 100)); l.add(new Employee("A", 101)); l.add(new Employee("D", 102)); l.add(new Employee("E", 103)); l.add(new Employee("F", 104)); l.add(new Employee("F", 102)); Employee e = new Employee(); map.put(func, c); map.forEach((key, value) -> l.stream() .forEach(emp -> value.accept(e, key.apply(emp)))); // key.apply(emp) shows a squigly line as an error. //The error is, //Required type: capture of ? extends Number //Provided: capture of ? extends Number. > > Ответы (1)
Честно говоря, я не понимаю основной идеи, но могу предложить следующие строки, чтобы сделать код компилируемым. Но проблема с этим: get-put-principle
Принцип получения и помещения: используйте подстановочный знак расширения, когда вы получаете значения только из структуры, используйте супер подстановочный знак, когда вы только помещаете значения в структуру, и не используйте подстановочный знак, когда вы получаете и помещаете оба значения.
List > validatorMap; public RequestValidator() < validatorMap = new HashMap<>(); > @Override public void registerValidator(Class clazz, IValidator validator) < validatorMap.put(clazz, validator); >@Override public boolean validate(T request) < if (validatorMap.containsKey(request.getClass())) < IValidatorc) < Mapmap = new HashMap<>(); c.forEach(e -> map.compute(e, (k, v) -> (v == null) ? 1 : v + 1)); return map; > Здесь у вас есть три подстановочных знака: один для параметра, один для переменной карты и один для возвращаемого значения. (Возвращаемое значение не очень актуально).
Вы пытаетесь передать элементы из коллекции (одного типа подстановочного знака) в метод карты (другого типа подстановочного знака).
Компилятор не знает, что эти двое «должны быть» одинаковыми, поэтому он не принимает подстановочный знак «коллекция» там, где ему нужен подстановочный знак «карта».
Вы можете указать, что они одного типа, с помощью переменной типа:
public static Map manualMap(Collection c) < Mapmap = new HashMap<>(); c.forEach(e -> map.compute(e, (k, v) -> (v == null) ? 1 : v + 1)); return map; > Здесь T - тип, которого вы не знаете; но вы знаете, что в обоих случаях это один и тот же неизвестный тип.
Или вы можете просто объявить его так, чтобы не было необходимости в двух подстановочных знаках:
return c.stream().collect(groupingBy(a -> a, counting()));