为什么 Findbugs 会标记 Java Switch 语句中省略的 Break 语句？

Switch 语句：省略中断的危险

在 Java 中，switch 语句提供了一种处理多个 case 选项的便捷方法。然而，省略break语句可能会导致微妙的错误和意外的行为。 Findbugs 是一种静态分析工具，它会标记此类事件，报告一个案例“落入”下一个案例的错误。

考虑以下代码：

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

    case 0:
        // code

    case 1:
        // code

    case 2:
        // code
}</code>

Findbugs 特别会在以下情况下引发错误：

第二个案例陈述。这是因为，在没有break语句的情况下，执行当前案例的代码后，执行会转到后续案例。

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

为了更好地理解这种行为，让我们看一个示例：

如果 foo 为 0，则所有三个函数 doSomething、doSomethingElse 和 doSomeOtherThing 将按该顺序执行。但是，如果 foo 为 1，则仅运行 doSomethingElse 和 doSomeOtherThing。这种行为可能无法反映预期的逻辑。

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

相反，向每种情况添加break语句可确保仅执行预期的函数：

在此代码中，只有一个函数将被执行根据 foo 的值执行。

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

Findbugs 等工具标记省略中断以突出显示潜在错误并确保 switch 语句的预期行为。但是，在某些情况下，当多个情况表示具有相同结果的连续范围的值时，省略中断是可以接受的：

此代码有意在 foo 为 0 或 1 时调用 doSomething。大多数分析工具不会将此报告为错误，因为案例之间没有中间代码。

以上是为什么 Findbugs 会标记 Java Switch 语句中省略的 Break 语句？的详细内容。更多信息请关注PHP中文网其他相关文章！