Booleans, conditional operators and autoboxing

by

The difference is that the explicit type of the returnsNull() method affects the static typing of the expressions at compile time:

E1: `true ? returnsNull() : false` - boolean (auto-unboxing 2nd operand to boolean)

E2: `true ? null : false` - Boolean (autoboxing of 3rd operand to Boolean)

See Java Language Specification, section 15.25 Conditional Operator ? :

  • For E1, the types of the 2nd and 3rd operands are Boolean and boolean respectively, so this clause applies:

    If one of the second and third operands is of type boolean and the type of the other is of type Boolean, then the type of the conditional expression is boolean.

    Since the type of the expression is boolean, the 2nd operand must be coerced to boolean. The compiler inserts auto-unboxing code to the 2nd operand (return value of returnsNull()) to make it type boolean. This of course causes the NPE from the null returned at run-time.

  • For E2, types of the 2nd and 3rd operands are <special null type> (not Boolean as in E1!) and boolean respectively, so no specific typing clause applies (go read ’em!), so the final “otherwise” clause applies:

    Otherwise, the second and third operands are of types S1 and S2 respectively. Let T1 be the type that results from applying boxing conversion to S1, and let T2 be the type that results from applying boxing conversion to S2. The type of the conditional expression is the result of applying capture conversion (§5.1.10) to lub(T1, T2) (§15.12.2.7).

    • S1 == <special null type> (see §4.1)
    • S2 == boolean
    • T1 == box(S1) == <special null type> (see last item in list of boxing conversions in §5.1.7)
    • T2 == box(S2) == `Boolean
    • lub(T1, T2) == Boolean

    So the type of the conditional expression is Boolean and the 3rd operand must be coerced to Boolean. The compiler inserts auto-boxing code for the 3rd operand (false). The 2nd operand doesn’t need the auto-unboxing as in E1, so no auto-unboxing NPE when null is returned.

This question needs a similar type analysis:

Java conditional operator ?: result type

More Related Contents:

  1. Returning null as an int permitted with ternary operator but not if statement
  2. Why does int num = Integer.getInteger(“123”) throw NullPointerException?
  3. NullPointerException through auto-boxing-behavior of Java ternary operator
  4. Java conditional operator ?: result type
  5. NullPointerException with autoboxing in ternary expression
  6. java array of booleans all set to the same value [closed]
  7. android studio : findViewById return NULL Pointer [duplicate]
  8. Avoiding NullPointerException in Java
  9. IllegalArgumentException or NullPointerException for a null parameter? [closed]
  10. What is the difference between & and && in Java?
  11. NullPointerException when Creating an Array of objects [duplicate]
  12. Volatile boolean vs AtomicBoolean
  13. Why does the ternary operator unexpectedly cast integers?
  14. How to check if my string is equal to null?
  15. Convert boolean to int in Java
  16. Why does String.valueOf(null) throw a NullPointerException?
  17. Java: Array of primitive data types does not autobox
  18. Is null check needed before calling instanceof?
  19. Why doesn’t Java have compound assignment versions of the conditional-and and conditional-or operators? (&&=, ||=)
  20. Comparing boxed Long values 127 and 128
  21. Unboxing Null-Object to primitive type results in NullPointerException, fine?
  22. Why use Optional.of over Optional.ofNullable?
  23. Java autoboxing and ternary operator madness
  24. Java array, NullPointerException?
  25. No Exception while type casting with a null in java
  26. Converting a Date object to a calendar object [duplicate]
  27. Java: null pointer exception when unboxing Integer?
  28. JavaFX FileChooser Throws Error (probably easy fix, but still confused)
  29. Android: java.lang.NullPointerException: Attempt to invoke virtual method ‘java.lang.String java.lang.Object.toString()’ on a null object reference
  30. How do I avoid checking for nulls in Java?

Leave a Comment