Ограничения с подстановочными знаками в шаблонах Java

Question

Может кто-нибудь объяснить, в чем разница между этими двумя фрагментами кода?1)

private Collection<Animal> getAnimal() {
    return null;
}

2)

private Collection<? extends Animal> getAnimal() {
    return null;
}

Я понимаю, что ? является подстановочным знаком, и я могу использовать что угодно вместо него.Затем я указываю extends, которые привязывают этот подстановочный знак к Animal, но в этом случае первый пример не совпадает со вторым?Какая разница ?Спасибо

Answer 1

Collection<Animal> является более строгим, чем Collection<? extends Animal>, поскольку Collection<Animal> соответствует только типу Animal, но ? extends Animal соответствует Animal или любому из его подклассов.Рассмотрим пример ниже

Пример sum метод примет List<Integer> или List<Double> или List<Number>

public static double sum(List<? extends Number> numberlist) {
  double sum = 0.0;
  for (Number n : numberlist) sum += n.doubleValue();
  return sum;
 }

Основной Вызовsum() с List<Integer> или List<Double> будет работать без проблем

 public static void main(String args[]) {
  List<Integer> integerList = Arrays.asList(1, 2, 3);
  System.out.println("sum = " + sum(integerList));

  List<Double> doubleList = Arrays.asList(1.2, 2.3, 3.5);
  System.out.println("sum = " + sum(doubleList));
 }

Но приведенный ниже метод будет принимать только List<Number>, теперь, если вы попытаетесь вызвать прохождение List<Integer> или List<double>у вас будет ошибка времени компиляции

public static double sum(List<Number> numberlist) {
      double sum = 0.0;
      for (Number n : numberlist) sum += n.doubleValue();
      return sum;
   }

CE

The method sum(List<Number>) in the type NewMain is not applicable for the arguments (List<Double>)
The method sum(List<Number>) in the type NewMain is not applicable for the arguments (List<Integer>)