Why can’t I use a type argument in a type parameter with multiple bounds?

by

I’m also not sure why the restriction is there. You could try sending a friendly e-mail to the designers of Java 5 Generics (chiefly Gilad Bracha and Neal Gafter).

My guess is that they wanted to support only an absolute minimum of intersection types (which is what multiple bounds essentially are), to make the language no more complex than needed. An intersection cannot be used as a type annotation; a programmer can only express an intersection when it appears as the upper bound of a type variable.

And why was this case even supported? The answer is that multiple bounds allow you to control the erasure, which allows to maintain binary compatibility when generifying existing classes. As explained in section 17.4 of the book by Naftalin and Wadler, a max method would logically have the following signature:

public static <T extends Comparable<? super T>> T max(Collection<? extends T> coll)

However, this erases to:

public static Comparable max(Collection coll)

Which does not match the historical signature of max, and causes old clients to break.
With multiple bounds, only the left-most bound is considered for the erasure, so if max is given the following signature:

public static <T extends Object & Comparable<? super T>> T max(Collection<? extends T> coll)

Then the erasure of its signature becomes:

public static Object max(Collection coll)

Which is equal to the signature of max before Generics.

It seems plausible that the Java designers only cared about this simple case and restricted other (more advanced) uses of intersection types because they were just unsure of the complexity that it might bring. So the reason for this design decision does not need to be a possible safety problem (as the question suggests).

More discussion on intersection types and restrictions of generics in an upcoming OOPSLA paper.

More Related Contents:

  1. What causes javac to issue the “uses unchecked or unsafe operations” warning
  2. What’s the reason I can’t create generic array types in Java?
  3. Instantiating a generic class in Java [duplicate]
  4. Deserialize a List object with Gson?
  5. Can’t add value to the Java collection with wildcard generic type
  6. Static method in a generic class?
  7. Combining Raw Types and Generic Methods
  8. Jackson – Deserialize using generic class
  9. Cannot create an array of LinkedLists in Java…?
  10. How can I convert int[] to Integer[] in Java?
  11. Generic type inference not working with method chaining?
  12. What is the difference between ? and Object in Java generics?
  13. why does List.toArray() return Object[] and not String[]? how to work around this?
  14. How to make a Java class that implements one interface with two generic types?
  15. Why doesn’t Java allow generic subclasses of Throwable?
  16. Java Generics: Generic type defined as return type only
  17. How to determine if a List is sorted in Java?
  18. Difference between an unbound wildcard and a raw type
  19. Where are generic types stored in java class files?
  20. Whats the use of saying
  21. Error: Generic Array Creation [duplicate]
  22. Java Generics and adding numbers together
  23. Java Generic List
  24. String gets assigned to a List without a compilation error [duplicate]
  25. How to Convert List to List
  26. How can I determine the type of a generic field in Java?
  27. Java generic methods in generics classes
  28. Can you pass an int array to a generic method in java?
  29. How do generics of generics work?
  30. Cannot use Java 8 method with lambda arguments without specifying type arguments

Leave a Comment