Anahtar deyimi: varsayılan son durumda olmalı?

Aşağıdaki switchifadeyi düşünün :

switch( value )
{
  case 1:
    return 1;
  default:
    value++;
    // fall-through
  case 2:
    return value * 2;
}

Bu kod derlenir, ancak C90 / C99 için geçerli mi (= tanımlı davranış)? Ben hiç varsayılan durumda son durumda değil kodu görmedim .

DÜZENLEME:
As Jon Cage ve KillianDS yazma: Bu gerçekten çirkin ve kodu kafa karıştırıcı olduğunu ve bunun farkındayım. Sadece genel sözdizimi (tanımlanmış mı?) Ve beklenen çıktı ile ilgileniyorum.

C99 standardı bu konuda açık değildir, ancak tüm gerçekleri birlikte ele alırsak, tamamen geçerlidir.

A caseve defaultetiket bir gotoetikete eşdeğerdir . Bkz. 6.8.1 Etiketli ifadeler. Özellikle ilginç olan, yukarıda belirtilen Duff'ın Cihazını sağlayan 6.8.1.4'tür:

Herhangi bir ifadeden önce, tanımlayıcıyı etiket adı olarak bildiren bir önek olabilir. Etiketler kendi içlerinde engelsiz kontrol akışını değiştirmez.

Düzenleme : Bir anahtar içindeki kod özel bir şey değildir; ifek atlama etiketleriyle, bir durumdaki gibi normal bir kod bloğudur. Bu, düşme davranışını ve neden breakgerekli olduğunu açıklar .

6.8.4.2.7 bir örnek bile veriyor:

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

Yapay program parçasında tanımlayıcısı i olan nesne otomatik depolama süresi (blok içinde) ile var olur, ancak hiçbir zaman başlatılmaz ve bu nedenle kontrol ifadesi sıfırdan farklı bir değere sahipse, printf işlevine yapılan çağrı belirsiz bir değere erişir. Benzer şekilde, f işlevine yapılan çağrıya ulaşılamaz.

Vaka sabitleri bir switch deyimi içinde benzersiz olmalıdır:

6.8.4.2.3 Her bir vaka etiketinin ifadesi bir tamsayı sabit ifadesi olmalı ve aynı anahtar ifadesindeki büyük / küçük harf sabit ifadelerinin hiçbiri dönüşümden sonra aynı değere sahip olmayacaktır. Bir switch deyiminde en fazla bir varsayılan etiket olabilir.

Tüm durumlar değerlendirilir, ardından verilirse varsayılan etikete atlar:

6.8.4.2.5 Tamsayı yükseltmeleri kontrol eden ifade üzerinde gerçekleştirilir. Her bir vaka etiketindeki sabit ifade, kontrol ifadesinin yükseltilmiş tipine dönüştürülür. Dönüştürülen değer, yükseltilen kontrol ifadesinin değeriyle eşleşirse, kontrol, eşleşen vaka etiketini izleyen ifadeye atlar. Aksi takdirde, varsayılan bir etiket varsa, denetim etiketli ifadeye atlar. Dönüştürülen büyük / küçük harf sabit ifadesi eşleşmiyorsa ve varsayılan etiket yoksa, anahtar gövdesinin hiçbir bölümü yürütülmez.

Case deyimleri ve varsayılan deyim, switch deyimindeki herhangi bir sırada olabilir. Varsayılan deyim, vaka ifadelerindeki sabitlerden hiçbiri eşleştirilemediğinde eşleşen isteğe bağlı bir deyimdir.

İyi örnek :-

switch(5) {
  case 1:
    echo "1";
    break;
  case 2:
  default:
    echo "2, default";
    break;
  case 3;
    echo "3";
    break;
}


Outputs '2,default'

Vakalarınızın kodda mantıklı bir sırayla sunulmasını istiyorsanız (vaka 1, vaka 3, vaka 2 / varsayılan olarak değil) ve vakalarınız çok uzun olduğundan tüm vakayı tekrarlamak istemiyorsanız çok yararlıdır. varsayılanın altındaki kod

Bazı durumlarda geçerli ve çok yararlı.

Aşağıdaki kodu göz önünde bulundurun:

switch(poll(fds, 1, 1000000)){
   default:
    // here goes the normal case : some events occured
   break;
   case 0:
    // here goes the timeout case
   break;
   case -1:
     // some error occurred, you have to check errno
}

Mesele, yukarıdaki kodun basamaklıdan daha okunabilir ve verimli olmasıdır if. defaultSonuna koyabilirsiniz , ancak dikkatinizi normal durumlar yerine hata durumlarına odaklayacağı için anlamsızdır (işte burada default).

Aslında, bu iyi bir örnek değil, pollen fazla kaç olayın meydana gelebileceğini biliyorsunuz. Benim gerçek nokta olmasıdır olan 'istisnalar' ve normal durumlar vardır giriş değerleri tanımlanmış bir set ile olgular. İstisnaları veya normal vakaları öne koymak daha iyi bir seçimse.

Yazılım alanında başka bir olağan durum daha düşünüyorum: bazı terminal değerleriyle özyineleme. Bir anahtar kullanarak ifade edebiliyorsanız default, yinelenen çağrı ve ayırt edici öğeler (bireysel durumlar) içeren terminal değerleri normal değer olacaktır. Genellikle terminal değerlerine odaklanmaya gerek yoktur.

Diğer bir neden, vakaların sıralamasının derlenmiş kod davranışını değiştirebilmesidir ve performanslar için önemlidir. Çoğu derleyici, anahtarda görünen kodla aynı sırada derlenmiş montaj kodu oluşturur. Bu, ilk vakayı diğerlerinden çok farklı kılar: Birincisi dışındaki tüm durumlar bir sıçrama içerecek ve bu da işlemci boru hatlarını boşaltacaktır. Bunu, anahtardaki ilk görünen durumu çalıştırmayı varsayılan olarak belirten dal tahmincisi gibi anlayabilirsiniz. Eğer bir vaka diğerlerinden daha yaygın ise, o zaman ilk dava olarak koymak için çok iyi nedenleriniz var.

Yorumları okumak, orijinal posterin Intel derleyici Branch Loop'u kod optimizasyonu ile ilgili yeniden düzenlemeyi okuduktan sonra bu soruyu sormasının özel nedenidir .

Ardından, kod okunabilirliği ve kod performansı arasında bir tahkim haline gelecektir. Gelecekteki okuyucuya bir vakanın neden ilk ortaya çıktığını açıklamak için yorum yapmak muhtemelen daha iyidir.

evet, bu geçerlidir ve bazı durumlarda bile yararlıdır. Genel olarak, ihtiyacınız yoksa, yapma.

Bir switch deyiminde tanımlanmış bir sıra yok. Olgulara etiket gibi adlandırılmış bir etiket gibi bakabilirsiniz goto. İnsanların burada düşündüklerinin aksine, değer 2 durumunda varsayılan etiket atlanmaz. Klasik bir örnekle göstermek için , C'nin uçlarının poster çocuğu olan Duff'ın cihazıswitch/case .

send(to, from, count)
register short *to, *from;
register count;
{
  register n=(count+7)/8;
  switch(count%8){
    case 0: do{ *to = *from++;
    case 7:     *to = *from++;
    case 6:     *to = *from++;
    case 5:     *to = *from++;
    case 4:     *to = *from++;
    case 3:     *to = *from++;
    case 2:     *to = *from++;
    case 1:     *to = *from++;
            }while(--n>0);
  }
}

Bir vaka deyiminin sonu dışında bir yerde bulunan 'varsayılan' olmanın uygun olacağını düşündüğüm bir senaryo, geçersiz bir durumun makineyi sıfırlaması ve başlangıç ​​durumu gibi ilerlemesi gereken bir durum makinesinde. Örneğin:

anahtar (widget_state)
{
  varsayılan: / * Raylardan düştü - sıfırla ve devam et * /
    widget_state = WIDGET_START;
    /* Suya düşmek */
  vaka WIDGET_START:
    ...
    break;
  vaka WIDGET_WHATEVER:
    ...
    break;
}

geçersiz bir durum makineyi sıfırlamamalı ancak geçersiz bir durum olarak kolayca tanımlanabiliyorsa alternatif bir düzenleme:

anahtar (widget_state)
{
  vaka WIDGET_IDLE:
    widget_ready = 0;
    widget_hardware_off ();
    break;
  vaka WIDGET_START:
    ...
    break;
  vaka WIDGET_WHATEVER:
    ...
    break;
  varsayılan:
    widget_state = WIDGET_INVALID_STATE;
    /* Suya düşmek */
  vaka WIDGET_INVALID_STATE:
    widget_ready = 0;
    widget_hardware_off ();
    ... "güvenli" bir koşul oluşturmak için ne gerekiyorsa yap
}

Daha sonra başka bir yerde kod (widget_state == WIDGET_INVALID_STATE) olup olmadığını kontrol edebilir ve uygun hata bildirimi veya durum sıfırlama davranışı sağlayabilir. Örneğin, durum çubuğu kodu bir hata simgesi gösterebilir ve boşta olmayan durumların çoğunda devre dışı bırakılan "widget'ı başlat" menü seçeneği WIDGET_INVALID_STATE ve WIDGET_IDLE için etkinleştirilebilir.

Başka bir örnekle giriş yapma: "Varsayılan" beklenmeyen bir durumsa ve hatayı günlüğe kaydetmek, ancak mantıklı bir şey yapmak istiyorsanız bu yararlı olabilir. Kendi kodumdan bazıları:

  switch (style)
  {
  default:
    MSPUB_DEBUG_MSG(("Couldn't match dash style, using solid line.\n"));
  case SOLID:
    return Dash(0, RECT_DOT);
  case DASH_SYS:
  {
    Dash ret(shapeLineWidth, dotStyle);
    ret.m_dots.push_back(Dot(1, 3 * shapeLineWidth));
    return ret;
  }
  // more cases follow
  }

Bir dosyaya yazdığınız / dosyadan okuduğunuzda, ENUM öğesini bir dizeye veya dizeyi enum'a dönüştürdüğünüz durumlar vardır.

Dosyaları manuel olarak düzenleyerek yapılan hataları kapsamak için bazen değerlerden birini varsayılan yapmanız gerekir.

switch(textureMode)
{
case ModeTiled:
default:
    // write to a file "tiled"
    break;

case ModeStretched:
    // write to a file "stretched"
    break;
}

defaultKoşul bir vaka hükmü var olabilir anahtar içinde her yerde olabilir. Son fıkra olması şart değildir. İlk fıkra olarak varsayılan koymak kodu gördüm. case 2:Varsayılan fıkra üstünde olsa bile, normalde çalıştırılmaktadır.

Bir test olarak, örnek kod denilen test(int value){}ve çalıştırılan bir fonksiyona koydu :

  printf("0=%d\n", test(0));
  printf("1=%d\n", test(1));
  printf("2=%d\n", test(2));
  printf("3=%d\n", test(3));
  printf("4=%d\n", test(4));

Çıktı:

0=2
1=1
2=4
3=8
4=10

Geçerli, ama oldukça kötü. Bazı çok dağınık spagetti koduna yol açabileceği için düşmelere izin vermek genellikle kötü olur.

Bu durumları birkaç anahtar deyimine veya daha küçük işlevlere bölmek neredeyse kesinlikle daha iyidir.

[değiştir] @Tristopia: Örneğiniz:

Example from UCS-2 to UTF-8 conversion 

r is the destination array, 
wc is the input wchar_t  

switch(utf8_length) 
{ 
    /* Note: code falls through cases! */ 
    case 3: r[2] = 0x80 | (wc & 0x3f); wc >>= 6; wc |= 0x800; 
    case 2: r[1] = 0x80 | (wc & 0x3f); wc >>= 6; wc |= 0x0c0; 
    case 1: r[0] = wc;
}

bu şekilde yazılmış olsaydı (bence) niyetiyle ilgili daha net olurdu:

if( utf8_length >= 1 )
{
    r[0] = wc;

    if( utf8_length >= 2 )
    {
        r[1] = 0x80 | (wc & 0x3f); wc >>= 6; wc |= 0x0c0; 

        if( utf8_length == 3 )
        {
            r[2] = 0x80 | (wc & 0x3f); wc >>= 6; wc |= 0x800; 
        }
    }
}   

[edit2] @Tristopia: İkinci örneğiniz muhtemelen takip için iyi bir kullanımın en temiz örneğidir:

for(i=0; s[i]; i++)
{
    switch(s[i])
    {
    case '"': 
    case '\'': 
    case '\\': 
        d[dlen++] = '\\'; 
        /* fall through */ 
    default: 
        d[dlen++] = s[i]; 
    } 
}

.. ama kişisel olarak yorum tanımayı kendi işlevine böldüm:

bool isComment(char charInQuestion)
{   
    bool charIsComment = false;
    switch(charInQuestion)
    {
    case '"': 
    case '\'': 
    case '\\': 
        charIsComment = true; 
    default: 
        charIsComment = false; 
    } 
    return charIsComment;
}

for(i=0; s[i]; i++)
{
    if( isComment(s[i]) )
    {
        d[dlen++] = '\\'; 
    }
    d[dlen++] = s[i]; 
}