Generics : List

by

List<Dog> is a subtype of List<? extends Animal>, but not a subtype of List<Animal>.

Why is List<Dog> not a subtype of List<Animal>? Consider the following example:

void mySub(List<Animal> myList) {
    myList.add(new Cat());
}

If you were allowed to pass a List<Dog> to this function, you would get a run-time error.

EDIT: Now, if we use List<? extends Animal> instead, the following will happen:

void mySub(List<? extends Animal> myList) {
    myList.add(new Cat());     // compile error here
    Animal a = myList.get(0);  // works fine 
}

You could pass a List<Dog> to this function, but the compiler realizes that adding something to the list could get you into trouble. If you use super instead of extends (allowing you to pass a List<LifeForm>), it’s the other way around.

void mySub(List<? super Animal> myList) {
    myList.add(new Cat());     // works fine
    Animal a = myList.get(0);  // compile error here, since the list entry could be a Plant
}

The theory behind this is Co- and Contravariance.

More Related Contents:

  1. Why are arrays covariant but generics are invariant?
  2. java generics covariance
  3. Covariance, Invariance and Contravariance explained in plain English?
  4. Give examples of functions which demonstrate covariance and contravariance in the cases of both overloading and overriding in Java? [closed]
  5. Why are contravariant parameter types in Java not allowed for overriding?
  6. Any simple way to explain why I cannot do List animals = new ArrayList()? [duplicate]
  7. How would contravariance be used in Java generics?
  8. What is the difference between covariance and contra-variance in programming languages? [closed]
  9. Why generic type is not applicable for argument extends super class for both?
  10. Why don’t Java Generics support primitive types?
  11. Why doesn’t the example compile, aka how does (co-, contra-, and in-) variance work?
  12. Why does javac complain about generics unrelated to the class’ type arguments? [duplicate]
  13. How to avoid type safety warnings with Hibernate HQL results?
  14. Using Spring RestTemplate in generic method with generic parameter
  15. Lists with wildcards cause Generic voodoo error
  16. Cannot convert from List to List
  17. Generics, arrays, and the ClassCastException
  18. Why do some claim that Java’s implementation of generics is bad?
  19. Using Mockito to mock classes with generic parameters
  20. Understanding upper and lower bounds on ? in Java Generics
  21. Java generics – Make Generic to extends 2 interfaces
  22. Initialize Java Generic Array of Type Generic
  23. Heterogeneous container to store genericly typed objects in Java
  24. How can elements be added to a wildcard generic collection?
  25. What does List mean in java generics?
  26. Collections.emptyList() returns a List?
  27. What does a tilde in angle brackets mean when creating a Java generic class?
  28. Cannot use Java 8 method with lambda arguments without specifying type arguments
  29. Java generic type
  30. What is the use and point of unbound wildcards generics in Java?

Leave a Comment