使用 if (0) 跳过 switch 中的情况应该有效吗?

问题描述 投票:0回答:4

我有一种情况,我希望 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++ 吗?它应该做它所做的事情吗?

c++ c if-statement switch-statement language-lawyer
4个回答
66
投票

是的,这应该有效。 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;
    }

60
投票

是的,这是允许的,并且它可以满足您的要求。对于

switch
语句,C++ 标准

case 和 default 标签本身不会改变控制流,控制流在这些标签上不受阻碍地继续。要退出开关,请参阅中断。

[注 1:通常,作为 switch 主题的子语句是复合子语句,并且 case 和 default 标签出现在(复合)子语句中包含的顶级语句上,但这不是必需的。声明可以出现在 switch 语句的子语句中。 — 尾注]

因此,当评估

if
语句时,控制流将根据
if
语句的规则进行,而不管中间的 case 标签如何。


30
投票

正如其他答案所提到的,这在技术上是标准允许的,但对于代码的未来读者来说非常令人困惑和不清楚。

这就是为什么

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;
}

0
投票

case
标签确实就像
goto
标签一样,不同之处在于它们被分组到它们出现的 that(最内层)
switch
语句中,并且它们被编号而不是命名。因此,如果您在同一级别缩进它们,而是按它们出现的块缩进,它会有所帮助:

int main(void) {
    for (int i = 0; i < 3; i++) {
        printf("%d: ", i);
        switch (i) {
          case 0:
            putchar('a');

            if (0) {
              case 1:
                putchar('b');
            }

          case 2:
            putchar('c');
            break;
        }
        putchar('\n');
    }
    return 0;
}
© www.soinside.com 2019 - 2024. All rights reserved.