Findbugs が switch ステートメントに存在しない Break ステートメントにフラグを立てるのはなぜですか?

Switch ステートメントの複雑さ: Break の欠落の背後にある謎を明らかにする

Findbugs は、明示的な Break ステートメントが欠如している switch ステートメントの問題を特定しました。ブレークがない場合、コードの実行が後続の case ブロックに継続され、潜在的な論理エラーが発生します。

次の switch ステートメントについて考えてみましょう:

switch(x) {

    case 0:
        // code

    case 1:
        // code

    case 2:
        // code
}

Findbugs は、2 番目の case ステートメントに問題があるとしてフラグを立てます。 。これは、コードが最初のケースに存在し、スイッチが中断することなく次のケースに移行すると、意図せずに意図しない動作が引き起こされる可能性があるためです。

例:

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

このシナリオでは、foo が 0 の場合、3 つの関数 (doSomething、doSomethingElse、および doSomeOtherThing) がすべて順番に実行されます。 foo が 1 の場合、doSomethingElse と doSomeOtherThing が実行され、doSomething はスキップされます。これは、意図した機能と一致しない可能性があります。

逆に、break ステートメントが含まれる場合:

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

この場合、foo の値に基づいて 1 つの関数だけが実行されます。これにより、コード実行をより正確に制御できます。

Findbugs は、潜在的なコーディング エラーとして Break ステートメントの欠如にフラグを立て、意図しないコード フローを防ぎます。ただし、特定のシナリオでは、コードを介さずに複数の case ステートメントを効果的に使用できることに注意することが重要です。例:

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

この例では、foo が 0 または 1 の場合に doSomething を実行することが目的です。Findbugs を含むほとんどのツールは、コードがないことによる潜在的なエラーとしてそのようなシナリオにフラグを立てません。 case 0 ブロック内。

以上がFindbugs が switch ステートメントに存在しない Break ステートメントにフラグを立てるのはなぜですか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。