是否使用 if (0) 跳过应该工作的开关中的一个案例？
我有一种情况，我希望 C++ switch 语句中的两种情况都属于第三种情况。具体来说，第二种情况会通过第三种情况，第一种情况也不会通过第二种情况而直接进入第三种情况。
我有一个愚蠢的想法，尝试了它，它成功了！我将第二个案例包装在 if (0) { ... } 中。它看起来像这样：
#ifdef __cplusplus
# include <cstdio>
#else
# include <stdio.h>
#endif
int main(void) {
for (int i = 0; i < 3; i++) {
printf("%d: ", i);
switch (i) {
case 0:
putchar('a');
// @fallthrough@
if (0) { // fall past all of case 1 (!)
case 1:
putchar('b');
// @fallthrough@
}
case 2:
putchar('c');
break;
}
putchar('\n');
}
return 0;
}
当我运行它时，我得到了所需的输出：
0: ac
1: bc
2: c
我在 C 和 C++ 中都试过了（都用 clang），它做了同样的事情。
我的问题是：这是有效的 C/C++ 吗？它应该做它做的事情吗？
switch(x) { case A: case B: do_this(); if(x == B) also_do_that(); ... } 的内容。这也是，IMO，太可怕了。请把这样的东西写成 if 语句，即使这意味着你必须在两个地方重复一行。使用函数和变量（和文档！）来减少以后意外更新的风险。
是的，这应该有效。 C 中 switch 语句的 case 标签几乎与 goto 标签完全相同（有一些关于它们如何与嵌套 switch 语句一起使用的警告）。特别是，它们本身并不为您认为是“在案例中”的语句定义块，您可以使用它们来跳转到块的中间，就像使用 goto 一样。当跳转到块的中间时，与 goto 相同的警告适用于跳过变量的初始化等。
话虽如此，在实践中，用 goto 语句编写它可能更清楚，如下所示：
switch (i) {
case 0:
putchar('a');
goto case2;
case 1:
putchar('b');
// @fallthrough@
case2:
case 2:
putchar('c');
break;
}
是的，这是允许的，它会做你想做的事。对于 switch 语句，C++ 标准 says：
case 和 default 标签本身不会改变控制流，控制流在这些标签上继续畅通无阻。要退出交换机，请参阅 break。 [注 1：通常，作为 switch 主题的子语句是复合的，大小写和默认标签出现在（复合）子语句中包含的顶级语句上，但这不是必需的。声明可以出现在 switch 语句的子语句中。 ——尾注]
因此，当评估 if 语句时，控制流将根据 if 语句的规则进行，而不管中间的 case 标签如何。
正如其他答案所提到的，这在技术上是标准允许的，但对于未来的代码读者来说，这非常令人困惑和不清楚。
这就是为什么 switch ... case 语句通常应该使用函数调用而不是大量的内联代码来编写。
switch(i) {
case 0:
do_zero_case(); do_general_stuff(); break;
case 1:
do_one_case(); do_general_stuff(); break;
case 2:
do_general_stuff(); break;
default:
do_default_not_zero_not_one_not_general_stuff(); break;
}
do_general_stuff，only 用于案例 2（以及 0 和 1）。但是，它永远不会为 0..2 范围之外的 i 运行开关。
do_general_stuff，仅适用于案例 2（以及 0 和 1）。
general 和 default 是不同的词。 OTOH，众所周知，如果中间字母被打乱，人类通常仍然可以阅读一个单词。我们倾向于查看开头和结尾，因此只有中间不同可能不适合略读。也许删除 do_ 前缀。
关注公众号
不定期副业成功案例分享
bee（在 C 模式下；在 C++ 中，它们在“无法从 switch 语句跳转到这种情况标签/跳转绕过变量初始化”时出错）。goto是更清洁的解决方案时，您知道自己做错了。goto饱受诟病，但如果您不手动制作复杂的控制结构，这确实没有什么令人反感的。整个“goto 被认为是有害的”是关于编写看起来像编译器发出的 asm 的 HLL（例如 C）代码（jmps 到处来回）。 goto 有很多良好的结构化用法，例如 forward-only（在概念上与break或 earlyreturn没有什么不同），likely-retry-loop-only（避免模糊常见的流路径并弥补缺少嵌套-{ 4}）等。