Использование общих коллекций в аргументах

Question

Допустим, у вас есть:

public interface A {}

public class B implements A {}

public class C {
  void foo (List<A>) {}
}

public class Test {
  //Declaration one
  List<A> x = new List<A>();

  //Declaration two
  List<A> x = new List<B>();

  B b = new B();
  x.add(b);


  new C().foo(x);
}

Теперь, очевидно, декларация 1 - это правильный способ сделать это, и вы получите ошибку компиляции в декларации 2. Я хотел бы знать, хотя, почему Java выбирает для обеспечения безопасности типов именно таким образом; если список кошек по-прежнему является списком животных, почему метод, ожидающий, что список животных блокируется при получении группы кошек?

Любопытство, больше всего на свете - и возможность улучшить мои знания.

Ура, Дэйв.

Answer 1

Почему метод, ожидающий список животных, отказывается при приеме группы кошек?

Потому что вы можете добавить в этот список любое животное, а не только кошек. Это может привести к списку кошек, содержащих собаку, например:

Вызывающий все еще думает, что это список кошек, и собака умирает, когда вызывающая сторона пытается заставить их упасть на ноги при падении.

Answer 2

Обобщения Java не являются ковариантными .Если бы вы могли сделать это:

ArrayList<Animal> x = new ArrayList<Cat>();

, то вы могли бы сделать:

x.add(new Dog());

, что нарушает концепцию, согласно которой ArrayList<Cat> может содержать только Cat объекты (илиобъекты подкласса).

Подробнее об этом читайте в следующих статьях: Теория и практика Java: общие сведения получили .

Answer 3

Используйте «extends» вместо класса напрямую:

List<? extends A>x;

Если вы используете только класс как общий, то все элементы должны быть только этого класса.