if（0）を使用して、動作するはずのスイッチのケースをスキップしていますか？

C ++のswitchステートメントの2つのケースで、両方とも3番目のケースに分類したいという状況があります。具体的には、2番目のケースは3番目のケースにフォールスルーし、最初のケースも2番目のケースを通過せずに3番目のケースにフォールスルーします。

私はばかげた考えを持っていて、それを試しました、そしてそれはうまくいきました！2番目のケースを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の文、C ++標準は言います：

ケースラベルとデフォルトラベル自体は制御の流れを変更せず、そのようなラベル全体で妨げられることはありません。スイッチを終了するには、breakを参照してください。

[注1：通常、切り替えの対象となるサブステートメントは複合であり、大文字と小文字およびデフォルトのラベルは、（複合）サブステートメントに含まれる最上位のステートメントに表示されますが、これは必須ではありません。宣言は、switchステートメントのサブステートメントに表示できます。—エンドノート]

したがって、ifステートメントが評価されると、制御フローは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 ... 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;
}