Warum markiert Findbugs ausgelassene Break-Anweisungen in Java-Switch-Anweisungen?

Switch-Anweisungen: Die Gefahren ausgelassener Pausen

In Java bieten Switch-Anweisungen eine praktische Möglichkeit, mehrere Groß-/Kleinschreibungsoptionen zu verarbeiten. Das Weglassen von break-Anweisungen kann jedoch zu subtilen Fehlern und unerwartetem Verhalten führen. Findbugs, ein statisches Analysetool, markiert solche Vorkommnisse und meldet Fehler, wenn ein Fall zum nächsten „durchfällt“.

Beachten Sie den folgenden Code:

<code class="java">switch(x) {

    case 0:
        // code

    case 1:
        // code

    case 2:
        // code
}</code>

Findbugs löst speziell einen Fehler aus die zweite Fallaussage. Dies liegt daran, dass bei Fehlen einer break-Anweisung die Ausführung auf die nachfolgenden Fälle übergeht, nachdem der Code für den aktuellen Fall ausgeführt wurde.

Um dieses Verhalten besser zu verstehen, betrachten wir ein Beispiel:

<code class="java">switch (foo) {
    case 0:
        doSomething();
    case 1:
        doSomethingElse();
    default:
        doSomeOtherThing();
}</code>

Wenn foo 0 ist, werden alle drei Funktionen doSomething, doSomethingElse und doSomeOtherThing in dieser Reihenfolge ausgeführt. Wenn foo jedoch 1 ist, werden nur doSomethingElse und doSomeOtherThing ausgeführt. Dieses Verhalten spiegelt möglicherweise nicht die beabsichtigte Logik wider.

Im Gegensatz dazu stellt das Hinzufügen von Break-Anweisungen zu jedem Fall sicher, dass nur die beabsichtigte Funktion ausgeführt wird:

<code class="java">switch (foo) {
    case 0:
        doSomething();
        break;
    case 1:
        doSomethingElse();
        break;
    default:
        doSomeOtherThing();
        break;
}</code>

In diesem Code wird nur eine Funktion ausgeführt werden abhängig vom Wert von foo ausgeführt.

Tools wie Findbugs kennzeichnen ausgelassene Pausen, um potenzielle Fehler hervorzuheben und das beabsichtigte Verhalten von switch-Anweisungen sicherzustellen. In bestimmten Fällen ist es jedoch akzeptabel, Pausen wegzulassen, wenn mehrere Fälle einen zusammenhängenden Wertebereich mit identischen Konsequenzen darstellen:

<code class="java">switch (foo) {
    case 0:
    case 1:
        doSomething();
        break;
    case 2:
        doSomethingElse();
        break;
    default:
        doSomeOtherThing();
        break;
}</code>

Dieser Code ruft absichtlich doSomething auf, wenn foo entweder 0 oder 1 ist. Die meisten Analysetools würde dies nicht als Fehler melden, da zwischen den Fällen kein dazwischenliegender Code liegt.

Das obige ist der detaillierte Inhalt vonWarum markiert Findbugs ausgelassene Break-Anweisungen in Java-Switch-Anweisungen?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!