&& (AND) та || (АБО) у твердженнях IF

У мене є такий код:

if(!partialHits.get(req_nr).containsKey(z) || partialHits.get(req_nr).get(z) < tmpmap.get(z)){  
    partialHits.get(z).put(z, tmpmap.get(z));  
}

де partialHitsHashMap.
Що буде, якщо перше твердження вірно? Чи перевірятиме Java все-таки друге твердження? Тому що для того, щоб перше твердження було правдивим, HashMap не повинен містити заданий ключ, тому, якщо перевіряється другий вислів, я отримаю NullPointerException.
Тож простими словами, якщо у нас є наступний код

if(a && b)  
if(a || b)

Чи перевірить Java, bчи aнеправда в першому випадку, а якщо aв другому - істина?

Ні, це не буде оцінено. І це дуже корисно. Наприклад, якщо вам потрібно перевірити, чи рядок не є нульовим чи порожнім, ви можете написати:

if (str != null && !str.isEmpty()) {
  doSomethingWith(str.charAt(0));
}

або, навпаки

if (str == null || str.isEmpty()) {
  complainAboutUnusableString();
} else {
  doSomethingWith(str.charAt(0));
}

Якби у нас не було "коротких замикань" на Java, ми отримали б багато NullPointerExceptions у вищевказаних рядках коду.

У Java є 5 різних булевих операторів порівняння: &, &&, |, ||, ^

& і && є "та" операторами, | та || "або" операторів, ^ є "xor"

Одиничні перевірять кожен параметр, незалежно від значень, перед тим, як перевірити значення параметрів. Подвійні спочатку перевірять лівий параметр та його значення, а якщо true( ||) або false( &&) залишають другий недоторканим. Звук складний? Простий приклад повинен чітко пояснити:

Наведено для всіх прикладів:

 String aString = null;

І:

 if (aString != null & aString.equals("lala"))

Обидва параметри перевіряються до того, як буде проведена оцінка, і для другого параметра буде передано NullPointerException.

 if (aString != null && aString.equals("lala"))

Перший параметр перевіряється і він повертається false, тому другий параметр не перевірятиметься, оскільки результат все- falseтаки є .

Те саме для АБО:

 if (aString == null | !aString.equals("lala"))

Підвищить і NullPointerException.

 if (aString == null || !aString.equals("lala"))

Перший параметр перевіряється і він повертається true, тому другий параметр не перевірятиметься, оскільки результат все- trueтаки є .

Неможливо оптимізувати XOR, оскільки це залежить від обох параметрів.

Ні, це не буде перевірено. Така поведінка називається оцінкою короткого замикання і є особливістю для багатьох мов, включаючи Java.

Усі відповіді тут чудові, але для того, щоб проілюструвати, звідки це походить, для таких питань добре перейти до джерела: Специфікація мови Java.

Розділ 15:23, Оператор "Умовно-І" (&&) , говорить:

Оператор && схожий на & (§ 15.22.2), але він оцінює його праворучний операнд, лише якщо значення його лівого операнда є істинним. [...] Під час виконання вираз лівого операнда спочатку оцінюється [...] якщо отримане значення хибне, значення умовного і виразу хибне, а вираз правого операнда не оцінюється . Якщо значення лівого операнда є істинним, то праворучне вираження оцінюється [...], отримане значення стає значенням умовно-вираження. Таким чином, && обчислює той же результат, що і на булевих операндах. Він відрізняється лише тим, що вираз правого операнда оцінюється умовно, а не завжди.

І так само, Розділ 15:24, Оператор «Умовно-Або» (||) говорить:

|| оператор схожий на | (§15.22.2), але оцінює його праворучний операнд лише у тому випадку, якщо значення його лівого операнда хибне. [...] Під час виконання спочатку оцінюється вираз лівого операнду; [...] якщо отримане значення є істинним, значення умовного або виразу є істинним, а вираз правого операнда не оцінюється. Якщо значення лівого операнда є хибним, то виражається правий вираз; [...] отримане значення стає значенням умовного або виразу. Таким чином, || обчислює той самий результат, що і | на булевих або булевих операндах. Він відрізняється лише тим, що вираз правого операнда оцінюється умовно, а не завжди.

Можливо, трохи повторюваний, але найкраще підтвердження того, як саме вони працюють. Аналогічно умовний оператор (? :) оцінює лише відповідну "половину" (ліва половина, якщо значення є істинною, права половина, якщо вона помилкова), дозволяючи використовувати вирази типу:

int x = (y == null) ? 0 : y.getFoo();

без NullPointerException.

Ні, якщо a є істинним (у orтесті), b не перевірятиметься, оскільки результат тесту завжди буде істинним, незалежно від значення виразу b.

Зробіть простий тест:

if (true || ((String) null).equals("foobar")) {
    ...
}

буде НЕ кидати NullPointerException!

Коротке замикання тут означає, що друга умова не буде оцінена.

Якщо (A&B) призведе до короткого замикання, якщо A є помилковим.

Якщо (A & B) не призведе до короткого замикання, якщо A - істина.

Якщо (A || B) призведе до короткого замикання, якщо A є правдою.

Якщо (A || B) не призведе до короткого замикання, якщо A є помилковим.

Ні, це не стане, Java замикається на короткому замиканні та припиняє оцінювати, як тільки дізнається результат.

Так, оцінка короткого замикання для булевих виразів є поведінкою за замовчуванням у всій C-подібній родині.

Цікавим фактом є те, що Java також використовує логічні операнди &і |як (вони перевантажені; intтипи - це очікувані побітні операції) для оцінки всіх термінів у виразі, що також корисно, коли потрібні побічні ефекти.

Це повертається до основної різниці між & і &&, | та ||

До речі, ви виконуєте одні і ті ж завдання багато разів. Не впевнений, чи ефективність - це проблема. Ви можете видалити частину дублювання.

Z z2 = partialHits.get(req_nr).get(z); // assuming a value cannout be null.
Z z3 = tmpmap.get(z); // assuming z3 cannot be null.
if(z2 == null || z2 < z3){   
    partialHits.get(z).put(z, z3);   
}