C attribute: fallthrough (since C23)

前のcaseラベルからのフォールスルーが意図的であり、フォールスルーについて警告するコンパイラによる診断をすべきでないことを示します。

構文

説明

これは 属性宣言 でのみ使用でき、 フォールスルー宣言 ( [ [ fallthrough ] ] ; ) を作成します。

fallthrough宣言は switch 文内でのみ使用でき、次に処理されるブロック項目（文、宣言、またはラベル）がそのswitch文の case または default ラベルを持つ文でなければなりません。

前のcaseラベルからのフォールスルーが意図的であり、フォールスルーについて警告するコンパイラによる診断をすべきでないことを示します。

例

#include <stdbool.h>
void g(void) {}
void h(void) {}
void i(void) {}
void f(int n) {
  switch (n) {
    case 1:
    case 2:
      g();
     [[fallthrough]];
    case 3: // フォールスルーに関する警告なし
      h();
    case 4: // コンパイラはフォールスルーについて警告を発する可能性あり
      if(n < 3) {
          i();
          [[fallthrough]]; // OK
      }
      else {
          return;
      }
    case 5:
      while (false) {
        [[fallthrough]]; // 不正: 後続のcaseまたはdefaultラベルが存在しない
      }
    case 6:
      [[fallthrough]]; // 不正: 後続のcaseまたはdefaultラベルが存在しない
  }
}
int main(void) {}

関連項目