G接受此代码,它的行为与我期望的一样：
#include <cassert>
void example (int value,bool condition) {
switch (value) {
case 0:
if (condition) {
case 1:
assert(condition || value == 1);
} else {
assert(!condition && value == 0);
}
assert(value == 0 || value == 1);
}
}
int main () {
example(0,false);
example(1,false);
example(0,true);
example(1,true);
}
也许这是一个愚蠢的基本问题,但代码嗅到一边,将一个案例标签放在if … else块中是否有效,并且所有表现良好的编译器都会正确生成将在输入时跳过else块的代码通过案例1？