Що таке "коротке замикання" на мовах, подібних до мови С?

Я чув, що термін "коротке замикання" вживається в C, C ++, C #, Java та багатьох інших. Що це означає і в якому сценарії воно буде використовуватися?

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

Візьмемо для прикладу і &&, цілком очевидно, що 0 && WhoCaresце буде помилково незалежно від того, що WhoCaresє. Через це C просто пропускає оцінку WhoCares. Те саме стосується 1 || WhoCares, це завжди буде правдою. Через це ми можемо писати подібний код

CanFireMissiles && FireMissiles()

Таким чином ми уникаємо робити якісь потенційно неможливі операції. Якщо ми не можемо вистрілити ракети, ми, звичайно, не хочемо намагатися. Це зазвичай використовується вказівниками, особливо файловими вказівниками.

 bool isN(int* ptr, int n){
     return ptr && *ptr == n;
 }

Це є безліччю інших корисних способів уникнути зайвих обчислень

 isFileReady() || getFileReady()

Це дозволяє уникнути зайвої роботи, якщо нам цього не потрібно.

"Коротке замикання", як правило, відноситься до " Оцінки короткого замикання ", що є загальною концепцією, а не лише специфікою C.

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

Приклад:

while((x && y) == 1) {
    //This bit will not execute if x is 0 or y is 0 but y won't even be 
    //evaluated due to short circuit evaluation if x is 0.
}

Більш складний приклад:

if((a || b || c || d || e || f || g || h || i || j || k) == 1) {
    /* If any of these are equal to 1 the whole expression is equal to 1,
     * thus doesn't it make sense to short circuit evaluate this?
     * Saves a bunch of time.
     */
}

Коротке оцінювання циклу може призвести до того, що деякі частини стану не піддаються оцінці.

Наприклад:

if (true || f()) { ... }

не виконується f.