Как работает распаковка в коротких замыканиях булевых выражений?

Question

Недавно я попытался выполнить следующие два фрагмента кода и был удивлен выходом.

Первое:

// ... 
System.out.println((Boolean)null || true); 
// ... 

Второе:

// ... 
System.out.println((Boolean)null || false); 
// ... 

Первый пример приводит следующий вывод:
истинные

Второй пример приводит следующий вывод:
Исключение в теме "main" jav a.lang.NullPointerException
      в com.blah.main (SanityCheck.java:26)

Я бы подумал, оба примера следует привести исключения нулевого указателя, так как применяется любое короткое замыкание лево- направо. Попытка уничтожить логическое значение из булева должна была провалиться перед другой стороной логического или была рассмотрена.

Может ли кто-нибудь объяснить это непоследовательное поведение?

Answer 1

Я возьму удар. Поскольку компилятор пытается интерпретировать два утверждения, основное отличие состоит в том, что утверждение с истинным с правой стороны не требуется для вычисления с левой буквой Boolean, тогда как утверждение с ложным справа.

Boolean - это объект, поэтому его можно установить в null. Это не исключение. Исключение NullPointerException выполняется при попытке выполнить операцию над булевым объектом, для которого установлено значение null. В истинном случае компилятор передаст значение null в значение Boolean и потому, что OR'ing с true всегда будет давать true, условие is true. В ложном случае компилятор снова передает значение null в Boolean, после чего он проверяет значение false, и если условие является ложным, ему необходимо вычислить OR с помощью логического значения, поскольку в конечном итоге это условие может быть истинным или ложным. Когда вычисление происходит, генерируется исключение NullPointerException.

Answer 2

Я запустил файл класса через JAD, чтобы посмотреть, как выглядел оптимизированный код. Для истинного случая:

// ... 
System.out.println(true); 
// ... 

Для ложного случая:

// ... 
System.out.println(null.booleanValue()); 
// ... 

Answer 3

Я не могу воспроизвести результаты. Фактически я получаю NPE для обоих случаев.

В соответствии с JLS выражение левой части операнда всегда оценивается первым. Когда оценивается (Boolean)null, автоматическое разблокирование выполняется на нулевом булевом объекте. В частности, основной код null.booleanValue() вызывает NPE.