Ganti pernyataan: haruskah default menjadi kasus terakhir?

Pertimbangkan switchpernyataan berikut :

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

Kode ini mengkompilasi, tetapi apakah ini valid (= perilaku yang ditentukan) untuk C90 / C99? Saya belum pernah melihat kode di mana kasus default bukan kasus terakhir.

EDIT:
Seperti yang ditulis Jon Cage dan KillianDS : ini adalah kode yang sangat jelek dan membingungkan dan saya sangat menyadarinya. Saya hanya tertarik pada sintaks umum (apakah didefinisikan?) Dan output yang diharapkan.

Standar C99 tidak eksplisit tentang hal ini, tetapi jika menggabungkan semua fakta, ini benar-benar valid.

A casedan defaultlabel sama dengan gotolabel. Lihat 6.8.1 Pernyataan berlabel. Yang sangat menarik adalah 6.8.1.4, yang memungkinkan Perangkat Duff yang telah disebutkan:

Pernyataan apa pun dapat didahului dengan awalan yang menyatakan pengidentifikasi sebagai nama label. Label dalam diri mereka sendiri tidak mengubah aliran kontrol, yang berlanjut tanpa hambatan di dalamnya.

Sunting : Kode dalam sakelar tidak ada yang istimewa; ini adalah blok kode normal seperti pada- ifpernyataan, dengan label lompatan tambahan. Ini menjelaskan perilaku jatuh dan mengapa breakperlu.

6.8.4.2.7 bahkan memberikan contoh:

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

Dalam fragmen program buatan objek yang pengidentifikasi saya ada dengan durasi penyimpanan otomatis (dalam blok) tetapi tidak pernah diinisialisasi, dan dengan demikian jika ekspresi pengontrol memiliki nilai bukan nol, panggilan ke fungsi printf akan mengakses nilai tak tentu. Demikian pula, panggilan ke fungsi f tidak dapat dihubungi.

Konstanta kasing harus unik dalam pernyataan sakelar:

6.8.4.2.3 Ekspresi setiap label case harus berupa ekspresi konstanta bilangan bulat dan tidak ada dua ekspresi konstanta case dalam pernyataan switch yang sama harus memiliki nilai yang sama setelah konversi. Mungkin ada paling banyak satu label default dalam pernyataan switch.

Semua kasus dievaluasi, kemudian melompat ke label default, jika diberikan:

6.8.4.2.5 Promosi bilangan bulat dilakukan pada ekspresi kontrol. Ekspresi konstan dalam setiap label kasus dikonversi ke tipe yang dipromosikan dari ekspresi pengontrol. Jika nilai yang dikonversi cocok dengan ekspresi kontrol yang dipromosikan, kontrol melompat ke pernyataan yang mengikuti label kasus yang cocok. Kalau tidak, jika ada label default, kontrol melompat ke pernyataan berlabel. Jika tidak ada ekspresi konstan case yang dikonversi cocok dan tidak ada label default, tidak ada bagian dari tubuh switch dieksekusi.

Pernyataan kasus dan pernyataan default dapat terjadi dalam urutan apa pun dalam pernyataan switch. Klausa default adalah klausa opsional yang cocok jika tidak ada konstanta dalam pernyataan kasus dapat dicocokkan.

Contoh yang baik :-

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


Outputs '2,default'

sangat berguna jika Anda ingin kasus Anda disajikan dalam urutan logis dalam kode (seperti pada, tidak mengatakan kasus 1, kasus 3, kasus 2 / default) dan kasus Anda sangat panjang sehingga Anda tidak ingin mengulangi seluruh kasus kode di bagian bawah untuk default

Ini valid dan sangat berguna dalam beberapa kasus.

Pertimbangkan kode berikut:

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
}

Intinya adalah bahwa kode di atas lebih mudah dibaca dan efisien daripada mengalir if. Anda bisa meletakkannya defaultdi akhir, tetapi tidak ada gunanya karena akan memusatkan perhatian Anda pada kasus kesalahan daripada kasus normal (yang di sini adalah defaultkasus).

Sebenarnya, itu bukan contoh yang baik, karena pollAnda tahu berapa banyak peristiwa yang paling banyak terjadi. Titik nyata saya adalah bahwa ada yang kasus dengan satu set didefinisikan dari nilai input di mana ada 'pengecualian' dan kasus normal. Jika lebih baik menempatkan pengecualian atau kasus normal di depan adalah masalah pilihan.

Dalam bidang perangkat lunak saya memikirkan kasus yang sangat umum: rekursi dengan beberapa nilai terminal. Jika Anda dapat mengekspresikannya menggunakan sakelar, defaultakan menjadi nilai biasa yang berisi panggilan rekursif dan elemen yang dibedakan (masing-masing kasing) nilai terminal. Biasanya tidak perlu fokus pada nilai terminal.

Alasan lain adalah bahwa urutan kasus dapat mengubah perilaku kode yang dikompilasi, dan itu penting untuk kinerja. Sebagian besar kompiler akan menghasilkan kode rakitan yang dikompilasi dalam urutan yang sama dengan kode yang muncul di sakelar. Itu membuat case pertama sangat berbeda dari yang lain: semua case kecuali yang pertama akan melibatkan lompatan dan yang akan mengosongkan jalur pipa prosesor. Anda mungkin memahaminya seperti prediktor cabang default untuk menjalankan kasing pertama yang muncul di sakelar. Jika suatu kasus jika jauh lebih umum daripada yang lain maka Anda memiliki alasan yang sangat baik untuk menjadikannya sebagai kasus pertama.

Membaca komentar adalah alasan spesifik mengapa poster asli mengajukan pertanyaan itu setelah membaca reorganisasi Intel Loop Cabang kompilasi tentang optimasi kode.

Maka akan menjadi beberapa arbitrase antara keterbacaan kode dan kinerja kode. Mungkin lebih baik untuk memberikan komentar untuk menjelaskan kepada pembaca di masa depan mengapa suatu kasus muncul terlebih dahulu.

ya, ini valid, dan dalam beberapa keadaan bahkan berguna. Secara umum, jika Anda tidak membutuhkannya, jangan lakukan itu.

Tidak ada urutan yang ditentukan dalam pernyataan switch. Anda dapat melihat kasing sebagai sesuatu seperti label bernama, seperti gotolabel. Bertentangan dengan apa yang tampaknya dipikirkan orang di sini, dalam hal nilai 2 label default tidak melompat ke. Untuk menggambarkan dengan contoh klasik, berikut adalah perangkat Duff , yang merupakan anak poster dari ekstrem switch/casedi C.

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);
  }
}

Satu skenario di mana saya akan menganggap tepat untuk memiliki 'default' yang terletak di tempat lain selain akhir dari pernyataan kasus adalah di mesin negara di mana keadaan yang tidak valid harus mengatur ulang mesin dan melanjutkan seolah-olah itu adalah keadaan awal. Sebagai contoh:

beralih (widget_state)
{
  default: / * Jatuh dari rel - reset dan lanjutkan * /
    widget_state = WIDGET_START;
    /* Gagal */
  case WIDGET_START:
    ...
    istirahat;
  huruf besar WIDGET_WHATEVER:
    ...
    istirahat;
}

pengaturan alternatif, jika keadaan tidak valid tidak boleh mereset mesin tetapi harus mudah diidentifikasi sebagai keadaan tidak valid:

beralih (widget_state)
{
  huruf WIDGET_IDLE:
    widget_ready = 0;
    widget_hardware_off ();
    istirahat;
  case WIDGET_START:
    ...
    istirahat;
  huruf besar WIDGET_WHATEVER:
    ...
    istirahat;
  default:
    widget_state = WIDGET_INVALID_STATE;
    /* Gagal */
  case WIDGET_INVALID_STATE:
    widget_ready = 0;
    widget_hardware_off ();
    ... melakukan apa pun yang diperlukan untuk menciptakan kondisi "aman"
}

Kode di tempat lain kemudian dapat memeriksa (widget_state == WIDGET_INVALID_STATE) dan memberikan perilaku pelaporan kesalahan atau pengaturan ulang negara apa pun yang tampaknya sesuai. Misalnya, kode bilah status dapat menampilkan ikon kesalahan, dan opsi menu "mulai widget" yang dinonaktifkan di sebagian besar negara non-idle dapat diaktifkan untuk WIDGET_INVALID_STATE serta WIDGET_IDLE.

Menyambung dengan contoh lain: Ini bisa bermanfaat jika "default" adalah kasus yang tidak terduga, dan Anda ingin mencatat kesalahan tetapi juga melakukan sesuatu yang masuk akal. Contoh dari beberapa kode saya sendiri:

  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
  }

Ada beberapa kasus ketika Anda mengonversi ENUM ke string atau mengubah string menjadi enum jika Anda menulis / membaca ke / dari file.

Terkadang Anda perlu membuat salah satu nilai default untuk menutupi kesalahan yang dibuat dengan mengedit file secara manual.

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

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

The defaultkondisi dapat menjadi suatu tempat dalam switch yang klausul kasus bisa eksis. Tidak perlu menjadi klausa terakhir. Saya telah melihat kode yang menempatkan default sebagai klausa pertama. The case 2:dijalankan secara normal, meskipun klausa default adalah di atas itu.

Sebagai tes, saya meletakkan kode sampel dalam suatu fungsi, dipanggil test(int value){}dan dijalankan:

  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));

Outputnya adalah:

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

Itu sah, tapi agak jahat. Saya menyarankan itu umumnya buruk untuk membiarkan jatuh karena dapat menyebabkan beberapa kode spaghetti yang sangat berantakan.

Ini hampir pasti lebih baik untuk memecah kasus-kasus ini menjadi beberapa pernyataan switch atau fungsi yang lebih kecil.

[edit] @ Kristopia: Contoh Anda:

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

akan lebih jelas untuk niat itu (saya pikir) jika itu ditulis seperti ini:

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] @ristopia: Contoh kedua Anda mungkin adalah contoh terbersih dari penggunaan yang baik untuk tindak lanjut:

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

..tapi secara pribadi saya akan membagi pengakuan komentar menjadi fungsinya sendiri:

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]; 
}