Comportement ternaire étrange de Java lors de l'attribution d'une valeur. Que fait Java dans les coulisses pour que cela se produise?

Il y a quelques jours, je suis tombé sur un scénario fascinant où je n'ai trouvé aucune documentation sur comment ou pourquoi Java laisse les choses se produire. (Cet extrait n'est qu'une forme simplifiée du bogue.)

    @Test
    public void test() {
      boolean bool = false;
      Integer intVal = Integer.valueOf(5);
      Long longVal = null;
      Long result = bool ? intVal : longVal;

      System.out.println(" > " + result);
   }

dans l'extrait ci-dessus:

si le bool = true, alors vous obtenez la valeur '5';

mais si bool = false, vous obtenez une exception de pointeur nul lorsque vous essayez d'évaluer l'opération ternaire. PAS la déclaration imprimée.

Pour résoudre ce problème, je change simplement «résultat» en

Long result = bool ? Long.valueOf(intVal) : longVal;

Faire cela donnera le comportement attendu dont j'avais besoin:

si le bool = true, alors vous obtenez la valeur '5';

mais si bool = false, alors vous obtenez 'null'

maintenant la partie amusante est que si vous le divisez en une instruction if / else normale, alors java ne vous permet PAS de compiler

longVal = intVal; 

mais il n'attrape pas cela via l'opérateur ternaire. Alors, que fait Java pour en faire un point nul dans l'extrait d'origine?

(java 11)

Lorsque vous faites cela:

Long result = bool ? intVal : longVal

Cette expression renvoie un longet, lorsqu'elle boolest fausse, elle essaie de décompresser nullune valeur Long pour s'adapter à la resultvariable et lance un NPE.

Lorsque vous faites cela:

Long result = bool ? Long.valueOf(intVal) : longVal

Cette expression est déjà de retour Longalors il n'est pas nécessaire de décompresser et la nullvaleur est correctement affectée à la resultvariable.

Référence:

Comme indiqué dans la section des commentaires, pour mieux comprendre pourquoi cela se produit, consultez les sections suivantes du JLS:

• Section 5.6.2 : Promotion numérique binaire
• Section 15.25 : Opérateur conditionnel? :