Anahtar kasasında geçerli, ama değersiz sözdizimi?

Küçük bir yazım hatasıyla, bu yapıyı yanlışlıkla buldum:

int main(void) {
    char foo = 'c';

    switch(foo)
    {
        printf("Cant Touch This\n");   // This line is Unreachable

        case 'a': printf("A\n"); break;
        case 'b': printf("B\n"); break;
        case 'c': printf("C\n"); break;
        case 'd': printf("D\n"); break;
    }

    return 0;
}

İfadenin printfüst kısmındaki switchgeçerli, ama aynı zamanda tamamen ulaşılamaz görünüyor.

Ulaşılamayan kod hakkında bile bir uyarı yapmadan temiz bir derleme aldım, ama bu anlamsız görünüyor.

Bir derleyici bunu erişilemez kod olarak işaretlemeli mi?
Bu herhangi bir amaca hizmet ediyor mu?

Belki de en yararlı değil, ama tamamen değersiz değil . switchKapsam içinde mevcut bir yerel değişkeni bildirmek için kullanabilirsiniz .

switch (foo)
{
    int i;
case 0:
    i = 0;
    //....
case 1:
    i = 1;
    //....
}

Standard ( N1579 6.8.4.2/7) aşağıdaki örneğe sahiptir:

ÖRNEK Yapay program parçasında

switch (expr)
{
    int i = 4;
    f(i);
case 0:
    i = 17;
    /* falls through into default code */
default:
    printf("%d\n", i);
}

tanımlayıcısı iotomatik depolama süresi (blok içinde) ile var olan ancak hiçbir zaman başlatılmayan nesne ve dolayısıyla kontrol ifadesi sıfırdan farklı bir değere sahipse, printfişleve çağrı belirsiz bir değere erişir. Benzer şekilde, fonksiyon çağrısına fulaşılamaz.

PS BTW, örnek geçerli C ++ kodu değil. Bu durumda ( N4140 6.7/3, benimkini vurgulayın):

Otomatik depolama süresine sahip bir değişkenin kapsamda olmadığı bir noktadan ^90'ı , değişkenin skaler tipine , önemsiz bir varsayılan kurucuya sahip sınıf tipine ve önemsiz bir yıkıcıya sahip olmadıkça kapsamının yanlış olduğu bir noktaya atlayan bir program , bu türlerden birinin cv nitelikli bir sürümü veya önceki türlerden birinin dizisi ve bir başlatıcı (8.5) olmadan bildirilir .

---

^{90) Bir switchifadenin durumundan bir vaka etiketine transfer, bu açıdan bir sıçrama olarak değerlendirilir.}

Değiştirilmesi Yani int i = 4;sahip int i;markaların geçerli bir C ++.

Bu herhangi bir amaca hizmet ediyor mu?

Evet. Bir ifade yerine, ilk etiketin önüne bir bildirim koyarsanız, bu çok mantıklı olabilir:

switch (a) {
  int i;
case 0:
  i = f(); g(); h(i);
  break;
case 1:
  i = g(); f(); h(i);
  break;
}

Beyanlar ve ifadeler için kurallar genel olarak bloklar için paylaşılır, bu yüzden orada da ifadelere izin veren kural aynıdır.

Ayrıca, ilk ifade bir döngü yapısı ise, vaka etiketlerinin döngü gövdesinde görünebileceğidir:

switch (i) {
  for (;;) {
    f();
  case 1:
    g();
  case 2:
    if (h()) break;
  }
}

Yazmanın daha okunabilir bir yolu varsa, lütfen böyle bir kod yazmayın, ancak mükemmel bir şekilde geçerlidir ve f()çağrıya ulaşılabilir.

Duff's Device adında ünlü bir kullanım alanı var .

int n = (count+3)/4;
switch (count % 4) {
  do {
    case 0: *to = *from++;
    case 3: *to = *from++;
    case 2: *to = *from++;
    case 1: *to = *from++;
  } while (--n > 0);
}

Burada ile gösterilen bir arabelleği, ile gösterilen bir arabelleğe kopyalarız from.to . countVeri örneklerini kopyalarız .

do{}while()Deyimi ilk önce başlar caseetiket vecase etiket içinde gömülü do{}while().

Bu, sondaki koşullu dalların sayısını azaltır. do{}while() , kabaca 4 faktörünün karşılaştığı döngünün (bu örnekte, sabit istediğiniz herhangi bir değere ayarlanabilir).

Şimdi, optimize ediciler bazen bunu sizin için yapabilir (özellikle akış / vektörleştirilmiş talimatları optimize ediyorlarsa), ancak profil güdümlü optimizasyon olmadan, döngünün büyük olmasını isteyip istemediğinizi bilemezler.

Genel olarak, değişken bildirimler orada meydana gelebilir ve her durumda kullanılabilir, ancak anahtar sona erdikten sonra kapsam dışıdır. (başlatma işleminin atlanacağına dikkat edin)

Ayrıca, anahtara özgü olmayan kontrol akışı, yukarıda gösterildiği gibi veya a ile anahtar bloğunun o bölümüne girmenizi sağlayabilir goto.

Linux'ta gcc kullandığınızı varsayarsak, 4.4 veya önceki bir sürümünü kullanıyorsanız size bir uyarı verirdi.

-Wunreachable-kod seçeneği gcc 4.4'ten itibaren kaldırılmıştır .

Sadece değişken bildirim için değil, ileri atlama için de. Sadece spagetti koduna eğilimli değilseniz ve iyi kullanabilirsiniz.

int main()
{
    int i = 1;
    switch(i)
    {
        nocase:
        printf("no case\n");

        case 0: printf("0\n"); break;
        case 1: printf("1\n"); goto nocase;
    }
    return 0;
}

Baskılar

1
no case
0 /* Notice how "0" prints even though i = 1 */

Anahtar-kasanın en hızlı kontrol akış maddelerinden biri olduğuna dikkat edilmelidir. Bu nedenle, bazen bu gibi durumları içeren programcı için çok esnek olmalıdır.

İfadedeki kodda switchveya case *:etiketlerin bu kodun içine yerleştirildiği yerde neredeyse hiçbir yapısal kısıtlamanın olmadığı not edilmelidir *. Bu, duff'un cihazı gibi programlama hilelerini mümkün kılar, olası bir uygulaması şöyle görünür:

int n = ...;
int iterations = n/8;
switch(n%8) {
    while(iterations--) {
        sum += *ptr++;
        case 7: sum += *ptr++;
        case 6: sum += *ptr++;
        case 5: sum += *ptr++;
        case 4: sum += *ptr++;
        case 3: sum += *ptr++;
        case 2: sum += *ptr++;
        case 1: sum += *ptr++;
        case 0: ;
    }
}

Gördüğünüz gibi, switch(n%8) {ve case 7:etiketi arasındaki koda kesinlikle ulaşılabilir ...

* _{Supercat'in bir yorumda şükür ki işaret ettiği gibi: C99'dan beri, VLA bildirimi içeren bir bildirim kapsamında ne bir gotone de bir etiket ( case *:etiket olsun ya da olmasın) görünemez. Dolayısıyla , etiketlerin yerleştirilmesinde yapısal kısıtlamalar olmadığını söylemek doğru değildir case *:. Bununla birlikte, duff'un cihazı C99 standardından önce gelir ve yine de VLA'lara bağlı değildir. Yine de, bu yüzden ilk cümle içine "neredeyse" eklemek zorunda hissettim.}

Uyarıyı oluşturmak için gerekli gccseçenekle ilgili cevabınızı aldınız -Wswitch-unreachable, bu cevap kullanılabilirlik / değerlilik kısmı üzerinde durmaktır .

Doğrudan alıntı C11, bölüm §6.8.4.2, ( benimkini vurgula )

switch (expr)
{
int i = 4;
f(i);
case 0:
i = 17;
/* falls through into default code */
default:
printf("%d\n", i);
}

tanımlayıcısı iotomatik depolama süresi (blok içinde) ile var olan ancak hiçbir zaman başlatılmayan nesne ve dolayısıyla kontrol ifadesi sıfırdan farklı bir değere sahipse, printf işleve çağrı belirsiz bir değere erişir. Benzer şekilde, fonksiyon çağrısına fulaşılamaz.

Bu çok açıklayıcı. Bunu yalnızca switchifade kapsamı içinde kullanılabilen yerel olarak kapsamlandırılmış bir değişkeni tanımlamak için kullanabilirsiniz .

Bununla birlikte bir "döngü ve bir buçuk" uygulamak mümkündür, ancak bunu yapmanın en iyi yolu olmayabilir:

char password[100];
switch(0) do
{
  printf("Invalid password, try again.\n");
default:
  read_password(password, sizeof(password));
} while (!is_valid_password(password));