Co to jest „zwarcie” w językach podobnych do C?

Słyszałem o użyciu terminu „zwarcie” w językach C, C ++, C #, Java i wielu innych. Co to oznacza i w jakim scenariuszu zostałby zastosowany?

Zwarcie w C występuje, gdy operator logiczny nie ocenia wszystkich swoich argumentów.

Weźmy na przykład i &&, to oczywiste, że 0 && WhoCaresbędzie to fałsz bez względu na to, co WhoCaresjest. Z tego powodu C po prostu pomija ocenę WhoCares. To samo dotyczy 1 || WhoCares, zawsze będzie to prawdą. Z tego powodu możemy pisać jak kod

CanFireMissiles && FireMissiles()

W ten sposób unikamy wykonywania potencjalnie niemożliwych operacji. Jeśli nie możemy wystrzelić pocisków, z pewnością nie chcemy próbować. Jest to powszechnie używane ze wskaźnikami, zwłaszcza wskaźnikami plików.

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

Działa to na wiele innych przydatnych sposobów, aby uniknąć niepotrzebnego przetwarzania

 isFileReady() || getFileReady()

Pozwala to uniknąć dodatkowej pracy, jeśli nie jest to konieczne.

„Zwarcie” zazwyczaj odnosi się do „ oceny zwarcia ”, która jest ogólną koncepcją, a nie tylko C.

Operatory logiczne oceniają od lewej do prawej, więc wszelkie warunki, które spowodują, że inne warunki będą niepotrzebne, będą przydatne. Możesz więc sprawdzić stan, który później wyklucza inne warunki, umożliwiając w ten sposób częściową ocenę operacji logicznych zamiast oceny całości.

Przykład:

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.
}

Bardziej złożony przykład:

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.
     */
}

Ocena krótkiego obwodu może prowadzić do tego, że niektóre części stanu nie będą oceniane.

Na przykład:

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

nie będzie f.