When the execution is not explicitly terminated at the end of a switch case, it continues to execute the statements of the following case. While
this is sometimes intentional, it often is a mistake which leads to unexpected behavior.
Noncompliant code example
switch (myVariable) {
case 1:
foo();
break;
case 2: // Both 'doSomething()' and 'doSomethingElse()' will be executed. Is it on purpose ?
doSomething();
default:
doSomethingElse();
break;
}
Compliant solution
switch (myVariable) {
case 1:
foo();
break;
case 2:
doSomething();
break;
default:
doSomethingElse();
break;
}
Exceptions
This rule is relaxed in the following cases:
switch (myVariable) {
case 0: // Empty case used to specify the same behavior for a group of cases.
case 1:
doSomething();
break;
case 2: // Use of return statement
return;
case 3: // Use of throw statement
throw 1;
case 4: // Use of an attribute to make explicit the fact that we want to fall through the next case
doSomething();
[[fallthrough]];
case 5: // Use of continue statement, if the switch is inside a loop
continue;
default: // For the last case, use of break statement is optional
doSomethingElse();
}
