Çalışması gereken bir anahtarda bir vakayı atlamak için if (0) kullanıyor mu?

Bir C ++ switch deyimindeki iki durumun her ikisinin de üçüncü bir duruma düşmesini istediğim bir durum var. Özellikle, ikinci vaka üçüncü duruma düşeceği ve ilk vaka da üçüncü duruma düşeceği olmadan ikinci durumda geçerek.

Aptal bir fikrim vardı, denedim ve işe yaradı! Bir ikinci durumda sarılmış if (0) {... }. Şöyle görünüyor:

#ifdef __cplusplus
#  include <cstdio>
#else
#  include <stdio.h>
#endif

int main(void) {
    for (int i = 0; i < 3; i++) {
        printf("%d: ", i);
        switch (i) {
        case 0:
            putchar('a');
            // @fallthrough@
            if (0) {        // fall past all of case 1 (!)
        case 1:
            putchar('b');
            // @fallthrough@
            }
        case 2:
            putchar('c');
            break;
        }
        putchar('\n');
    }
    return 0;
}

Çalıştırdığımda istenen çıktıyı alıyorum:

0: ac
1: bc
2: c

Hem C hem de C ++ 'da denedim (her ikisi de clang ile) ve aynı şeyi yaptı.

Sorularım: Bu C / C ++ geçerli mi? Yaptığı şeyi yapması mı gerekiyor?

Evet, buna izin verilir ve istediğinizi yapar. Bir switchifade için, C ++ standardı şunu söylüyor :

durum ve varsayılan etiketler kendi başlarına bu tür etiketlerde engelsiz olarak devam eden kontrol akışını değiştirmez. Bir anahtardan çıkmak için ara bölümüne bakın.

[Not 1: Genellikle, bir anahtarın konusu olan alt ifade bileşik ve durumdur ve varsayılan etiketler (bileşik) alt katmanı içinde yer alan üst düzey ifadelerde görünür, ancak bu gerekli değildir. Bildirimler, bir switch ifadesinin alt ifadesinde görünebilir. - son not]

Dolayısıyla, ififade değerlendirildiğinde, kontrol akışı if, araya giren durum etiketlerinden bağımsız olarak bir ifadenin kurallarına göre ilerler .

Evet, bunun işe yaraması gerekiyor. C'deki bir switch ifadesinin durum etiketleri neredeyse aynen goto etiketleri gibidir (iç içe geçmiş switch ifadeleriyle nasıl çalıştıkları hakkında bazı uyarılar vardır). Özellikle, "kasanın içinde" olduğunu düşündüğünüz ifadeler için blokları kendileri tanımlamazlar ve bir goto ile yapabileceğiniz gibi bunları bir bloğun ortasına atlamak için kullanabilirsiniz. Bir bloğun ortasına atlarken, goto ile aynı uyarılar, değişkenlerin başlatılmasının üzerine atlamak vb.

Bununla birlikte, pratikte bunu aşağıdaki gibi bir goto ifadesiyle yazmak muhtemelen daha açıktır:

    switch (i) {
    case 0:
        putchar('a');
        goto case2;
    case 1:
        putchar('b');
        // @fallthrough@
    case2:
    case 2:
        putchar('c');
        break;
    }

Diğer cevapların da belirttiği gibi, buna teknik olarak standart tarafından izin verilmektedir, ancak kodun gelecekteki okuyucuları için çok kafa karıştırıcı ve belirsizdir.

Bu nedenle switch ... caseifadeler genellikle çok sayıda satır içi kodla değil işlev çağrılarıyla yazılmalıdır.

switch(i) {
case 0:
    do_zero_case(); do_general_stuff(); break;
case 1:
    do_one_case(); do_general_stuff(); break;
case 2:
    do_general_stuff(); break;
default:
    do_default_not_zero_not_one_not_general_stuff(); break;
}