Задан ли порядок проверки условий в составном условном операторе if-else?

Question

[alexunder]

Пусть есть составной условный оператор

if (A || B || C) {
...}

Задана ли жестко последовательность, в которой будут проверяться условия A, B, C? Поделитесь ссылкой, пожалуйста, где почитать в javadoc.

Answer 1

[cypok]

The conditional-or operator is syntactically left-associative (it groups left-to-right).

At run-time, the left-hand operand expression is evaluated first; if the result has type Boolean, it is subjected to unboxing conversion (§5.1.8).
If the resulting value is true, the value of the conditional-or expression is true and the right-hand operand expression is not evaluated.

Java Language Specification, Chapter 15. Expressions

Comments

[alexunder]

То, что надо. Спасибо!

Answer 2

[BrainHacker]

Не знаю, где об этом почитать в javadoc, но порядок жестко задан: сначала проверяется A, затем B, затем C.
И вот для чего это сделано: если А верно, то нет смысла проверять В и С.
Аналогично для условия (A && B && C): если А ложно, то нет смысла проверять В и С.

Это удобно, так как можно писать красивые условия. К примеру, если в случае (A || B || C) проверка В при условии А ложно приведет к исключению, то проверка условия (A || B || C) не приведет к исключению, из-за особенности, которую я описал выше.

Comments

[BrainHacker]

Тьфу, «если в случае (A || B || C) проверка В при условии А истинно...» конечно же.

[BrainHacker]

Пример:

int a = 0;
int b = 5;
if( a && ( b / a ) )   // не приведет к исключению деления на ноль
{
   ...
}

[barker]

Скажем так, последний пример явно не на Java написан.

[alexunder]

Именно для подобной конструкции и искал точный ответ, что-то типа

if ( A != null && A.getB() == .. ) {
}

Answer 3

[Алексей Прохоров]

Слева на право, как и в любых С подобных языках, если какой-то оператор не имеет больший приоритет.

Answer 4

[b0noII]

ну и само собой если || то проверяет до первого true, а если && то до первого false

Answer 5

[eaa]

Зависит от компилятора. В старом добром паскале у борланда был специальный ключ, который задавал так называемые «полные» проверки условий, т.е. даже если для условия (A or B) A истинно и по идее не надо вычислять B, при явном указании полных вычислений B тоже вычислится. Сталкивался с этим, потому что у меня из-за этого падали программки, когда мне нельзя было вычислять B при A==false (например деление на 0).

Comments

[Алексей Бурайкин]

До сих пор в VB.NET если использовать ключевое слово AND вместо ANDALSO, условие будет высчитываться полностью.

Answer 6

[barker]

Вопрос про Java, так что никак не может «зависеть от компилятора». Любой «компилятор» и jvm обязан одинаково работать, как и написано в спецификации, ссылка дана выше. Вычисляется слева направо, для операторов || и && неполные проверки условий. Для операторов & и | — полные. Тут и обсуждать больше нечего :)

Comments

[eaa]

Про java-то и не заметил… :(

«Внимательно читай вопрос перед тем, как отвечать!
Внимательно читай вопрос перед тем, как отвечать!
Внимательно читай вопрос перед тем, как отвечать!
…
»

[barker]

Бывает :)

[cypok]

Замечу, что это не относится к JVM, javac-ом на уровне байткода уже все преобразуется в «односложные» if-ы.

[barker]

Епстественно(ц). Никаких многосложных if-ов на самом деле и нету в итоге. Ясно понятно, там всё превращается в цепочку проверок и джамп в зависимости от флагов. Всё точно также как и C/C++/всёостальное при превращении в машинный код.

Answer 7

[alexunder]

Всем спасибо за ответы, очень оперативно!