Generic return type upper bound – interface vs. class – surprisingly valid code

by

CharSequence is an interface. Therefore even if SomeClass does not implement CharSequence it would be perfectly possible to create a class

class SubClass extends SomeClass implements CharSequence

Therefore you can write

SomeClass c = getCharSequence();

because the inferred type X is the intersection type SomeClass & CharSequence.

This is a bit odd in the case of Integer because Integer is final, but final doesn’t play any role in these rules. For example you can write

<T extends Integer & CharSequence>

On the other hand, String is not an interface, so it would be impossible to extend SomeClass to get a subtype of String, because java does not support multiple-inheritance for classes.

With the List example, you need to remember that generics are neither covariant nor contravariant. This means that if X is a subtype of Y, List<X> is neither a subtype nor a supertype of List<Y>. Since Integer does not implement CharSequence, you cannot use List<Integer> in your doCharSequence method.

You can, however get this to compile

<T extends Integer & CharSequence> void foo(List<T> list) {
    doCharSequence(list);
}

If you have a method that returns a List<T> like this:

static <T extends CharSequence> List<T> foo()

you can do

List<? extends Integer> list = foo();

Again, this is because the inferred type is Integer & CharSequence and this is a subtype of Integer.

Intersection types occur implicitly when you specify multiple bounds (e.g. <T extends SomeClass & CharSequence>).

For further information, here is the part of the JLS where it explains how type bounds work. You can include multiple interfaces, e.g.

<T extends String & CharSequence & List & Comparator>

but only the first bound may be a non-interface.

More Related Contents:

  1. Generic type inference not working with method chaining?
  2. Lambda Expression and generic defined only in method
  3. Java type inference: reference is ambiguous in Java 8, but not Java 7
  4. Reflection type inference on Java 8 Lambdas
  5. Java8: ambiguity with lambdas and overloaded methods
  6. LambdaConversionException with generics: JVM bug?
  7. Why does this generic code compile in java 8?
  8. Why does the Java 8 generic type inference pick this overload?
  9. How to sum values in a Map with a stream?
  10. A peculiar feature of exception type inference in Java 8
  11. Java 8: Reference to [method] is ambiguous [duplicate]
  12. Generics compilation error with ternary operator in Java 8, but not in Java 7
  13. Cannot use Java 8 method with lambda arguments without specifying type arguments
  14. Consumer mapped Class in HashMap
  15. Java 8 Distinct by property
  16. Static method in a generic class?
  17. Removal of JDBC ODBC bridge in java 8
  18. Jackson – Deserialize using generic class
  19. Does a lambda expression create an object on the heap every time it’s executed?
  20. Maven is not working in Java 8 when Javadoc tags are incomplete
  21. Lambda this reference in java
  22. cannot resolve symbol ‘java.time.LocalDate’ error in android studio
  23. java.lang.ClassCastException using lambda expressions in spark job on remote server
  24. How to determine if a List is sorted in Java?
  25. Filter Java Stream to 1 and only 1 element
  26. When and how does HashMap convert the bucket from linked list to Red Black Trees? [duplicate]
  27. How to convert LocalDate to SQL Date Java?
  28. Java: bounded wildcards or bounded type parameter?
  29. Java disable dpi-aware not working
  30. Java nested generic type mismatch

Leave a Comment