Булевский порядок выражения в Java?

Question

Предположим, у меня есть следующее выражение

Eclipse, предупреждает меня, что myString может быть пустым во второй фразе логического выражения. Однако я знаю, что некоторые компиляторы полностью выходят из логического выражения, если первое условие выходит из строя. Это правда с Java? Или порядок оценки не гарантируется?

Answer 1

Однако, я знаю, что некоторые компиляторы полностью выходят из булевого выражения, если первое условие терпит неудачу. Это правда с Java?

Да, что известно как Short-Circuit evaluation .Operators как && и || операторы, которые выполняют такие операции.

Или это оценка не гарантируется?

Нет, порядок оценки гарантируется (слева направо)

Answer 2

Да, Java использует ленивую оценку утверждений if таким образом. если myString == null, остальная часть оператора if не будет оценена

Answer 3

Java должен оценивать ваши заявления слева направо. Он использует механизм, известный как short-circuit evaluation, для предотвращения проверки второго, третьего и n-го условий, если первый является ложным.

Итак, если ваше выражение myContainer != null && myContainer.Contains(myObject) и myContainer равно null, второе условие, myContainer.Contains(myObject) не будет оцениваться.

Редактировать: Как уже упоминалось, Java, в частности, имеет как короткозамкнутые, так и некороткозамкнутые операторы для булевых условий. Использование && вызовет оценку короткого замыкания, а & не будет.

Answer 4

Джеймс и Ed правильны. Если вы сталкиваетесь с ситуацией, в которой вы хотите, чтобы все выражения были оценены независимо от предыдущих неудачных условий, вы можете использовать логический оператор с недолгосрочным замыканием &.