A peculiar feature of exception type inference in Java 8

by

The T of sneakyThrow is inferred to be RuntimeException. This can be followed from the langauge spec on type inference (http://docs.oracle.com/javase/specs/jls/se8/html/jls-18.html)

Firstly, there’s a note in section 18.1.3:

A bound of the form throws α is purely informational: it directs resolution to optimize the instantiation of α so that, if possible, it is not a checked exception type.

This doesn’t affect anything, but it points us to the Resolution section (18.4), which has got more information on inferred exception types with a special case:

… Otherwise, if the bound set contains throws αi, and the proper upper bounds of αi are, at most, Exception, Throwable, and Object, then Ti = RuntimeException.

This case applies to sneakyThrow – the only upper bound is Throwable, so T is inferred to be RuntimeException as per the spec, so it compiles. The body of the method is immaterial – the unchecked cast succeeds at runtime because it doesn’t actually happen, leaving a method that can defeat the compile-time checked exception system.

nonSneakyThrow does not compile as that method’s T has got a lower bound of Exception (ie T must be a supertype of Exception, or Exception itself), which is a checked exception, due to the type it’s being called with, so that T gets inferred as Exception.

More Related Contents:

  1. Generic type inference not working with method chaining?
  2. Java type inference: reference is ambiguous in Java 8, but not Java 7
  3. Cannot use Java 8 method with lambda arguments without specifying type arguments
  4. Lambda Expression and generic defined only in method
  5. Reflection type inference on Java 8 Lambdas
  6. Generic return type upper bound – interface vs. class – surprisingly valid code
  7. Java8: ambiguity with lambdas and overloaded methods
  8. LambdaConversionException with generics: JVM bug?
  9. Why does this generic code compile in java 8?
  10. Why can this generic method with a bound return any type?
  11. Why do Consumers accept lambdas with statement bodies but not expression bodies?
  12. Calling static generic methods
  13. Why does the Java 8 generic type inference pick this overload?
  14. How to sum values in a Map with a stream?
  15. Java 8: Reference to [method] is ambiguous [duplicate]
  16. Collections.emptyList() returns a List?
  17. Generics compilation error with ternary operator in Java 8, but not in Java 7
  18. Consumer mapped Class in HashMap
  19. Deserialize a List object with Gson?
  20. Precise definition of “functional interface” in Java 8
  21. What is the difference between ? and Object in Java generics?
  22. Lambda expression vs method reference
  23. Java- The meaning of ?
  24. Creating new generic object with wildcard
  25. Java Raw Type and generics interaction
  26. Is there an equivalent of Scala’s Either in Java 8?
  27. Recursive use of Stream.flatMap()
  28. List is a raw type. References to generic type List should be parameterized
  29. incompatible types and fresh type-variable
  30. How to combine 3 or more CompletionStages?

Leave a Comment