Mengapa Findbugs Menandakan Pernyataan Rehat Hilang dalam Pernyataan Suis?

Selok-belok Pernyataan Suis: Membongkar Misteri Disebalik Ketiadaan Yang Hilang

Findbugs telah mengenal pasti isu dalam pernyataan suis yang tidak mempunyai pernyataan putus yang jelas. Ketiadaan pemecahan membawa kepada pelaksanaan kod diteruskan ke blok kes berikutnya, mengakibatkan kemungkinan ralat logik.

Pertimbangkan pernyataan suis berikut:

switch(x) {

    case 0:
        // code

    case 1:
        // code

    case 2:
        // code
}

Findbugs secara khusus membenderakan pernyataan kes kedua sebagai bermasalah . Ini kerana apabila kod hadir dalam kes pertama dan suis jatuh ke kes seterusnya tanpa rehat, ia secara tidak sengaja boleh membawa kepada tingkah laku yang tidak diingini.

Contohnya:

switch (foo) {
    case 0:
        doSomething();
    case 1:
        doSomethingElse();
    default:
        doSomeOtherThing();
}

Dalam senario ini, jika foo ialah 0, ketiga-tiga fungsi (doSomething, doSomethingElse dan doSomeOtherThing) akan dilaksanakan secara berurutan. Jika foo ialah 1, doSomethingElse dan doSomeOtherThing akan dilaksanakan, manakala doSomething akan dilangkau. Ini mungkin tidak sejajar dengan fungsi yang dimaksudkan.

Sebaliknya, jika penyataan putus disertakan:

switch (foo) {
    case 0:
        doSomething();
        break;
    case 1:
        doSomethingElse();
        break;
    default:
        doSomeOtherThing();
        break;
}

Dalam kes ini, hanya satu fungsi akan dilaksanakan berdasarkan nilai foo. Ini memberikan kawalan yang lebih tepat ke atas pelaksanaan kod.

Findbugs membenderakan ketiadaan pernyataan putus sebagai kemungkinan ralat pengekodan untuk mengelakkan aliran kod yang tidak diingini. Walau bagaimanapun, adalah penting untuk ambil perhatian bahawa dalam senario tertentu, beberapa pernyataan kes tanpa kod campur tangan boleh digunakan dengan berkesan. Contohnya:

switch (foo) {
    case 0:
    case 1:
        doSomething();
        break;
    case 2:
        doSomethingElse();
        break;
    default:
        doSomeOtherThing();
        break;
}

Dalam contoh ini, tujuannya adalah untuk melaksanakan doSomething jika foo sama ada 0 atau 1. Kebanyakan alatan, termasuk Findbugs, tidak membenderakan senario tersebut sebagai kemungkinan ralat disebabkan ketiadaan kod dalam kes 0 blok.

Atas ialah kandungan terperinci Mengapa Findbugs Menandakan Pernyataan Rehat Hilang dalam Pernyataan Suis?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!