Переключатель без перерыва

Question

У меня есть оператор switch, как показано ниже. Обратите внимание, что нет перерыва. Findbugs сообщает об ошибке только во втором случае. Ошибка: оператор switch найден там, где один случай попадает в следующий случай.

switch(x) { 

    case 0: 
     // code 

    case 1: 
     // code 

    case 2: 
     // code 
} 

Answer 1

Без перерыва они будут падать, хотя друг в друга, так что если x == 0 вы будете пройти через весь код в каждом блоке сазе. Findbugs может быть ошибочным в отношении ошибки, или это может быть условие ошибки без перерыва, то есть что-то в case 0 заставляет что-то в case 1 сломаться.

Без точного кода и ошибки я больше не могу помочь. Является ли отсутствие перерывов преднамеренным?

Answer 2

Findbugs отмечает, что падение от одного case к следующему обычно не является хорошей идеей, если в первом есть какой-либо код (хотя иногда его можно использовать для хорошего эффекта). Поэтому, когда он видит второй case и не break, он сообщает об ошибке.

Так, например:

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

Это вполне допустимо Java, но это, вероятно, не делать то, что задумал автор: Если foo является 0, все три функции doSomething, doSomethingElse, и doSomeOtherThing запустить (в указанном порядке). Если foo - 1, только doSomethingElse и doSomeOtherThing пробег. Если foo - любое другое значение, выполняется только doSomeOtherThing.

В отличие:

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

Здесь только одна из функций будет работать, в зависимости от значения foo.

Поскольку это общая ошибка кодирования, чтобы забыть break, такие инструменты, как Findbugs, помечены для вас.

Там в общее пользование, случай, когда у вас есть несколько case заявления в ряд с не промежуточный код:

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

Там, мы хотим вызвать doSomething если foo является 0или1. Большинство инструментов не будут отмечать это как возможную ошибку кодирования, потому что код case 0 отсутствует до case 1, и это довольно распространенный шаблон.

Answer 3

Коммутационные провалы подпадают под категорию «Найденные коды». Я думаю, что это только флаг первого появления провала в инструкции switch, чтобы сократить количество сообщений об ошибках.

Answer 4

Я написал их в качестве комментариев, но потом это не видно. Я превращаю их в ответ. Это фактически расширение до T.J.Crowder's answer.

Вы можете найти соответствующее правило, по которому Findbugs сообщает об ошибке here.

Вы можете запретить Findbugs сообщать об ошибках такого типа, создав файл xml со следующим содержимым, скажем filter.xml и запустив инструмент с помощью опции -exclude filter.xml. См. filters on Findbugs.

<FindBugsFilter> 
    <Match> 
    <Bug category="PERFORMANCE" /> 
    </Match> 
</FindBugsFilter> 

Answer 5

Обычно инструментам анализа ошибки не нравятся проваливаются в коде, так как в большинстве случаев, пользователь просто забыл написать перерыв.

Я не знаю, есть ли способ специально отключить предупреждение с FindBugs но Checkstyle инструмента распознают специальные комментарии, такие как /* проваливаюсь */ предположить, что пользователь действительно хочет следующий код для выполнения. Помещение такого комментария также улучшает читаемость. http://checkstyle.sourceforge.net/config_coding.html#FallThrough

Соглашение об использовании Java также упоминает использование провала комментария. http://www.oracle.com/technetwork/java/javase/documentation/codeconventions-142311.html

Answer 6

Если ваши случаи не имеют разрыва, то когда триггерный ключ случая будет проходить через все случаи, пока не найдет разрыв или конец случаев. Если у вас есть случай по умолчанию, он будет срабатывать, если значение вашего переключателя в этом случае foo не соответствует ни одному другому случаю.