C 属性： fallthrough (C23 起)

 

C

语言

头文件

类型支持

程序工具

变参数函数支持

动态内存管理

错误处理

日期和时间工具

字符串库

算法

数值

输入/输出支持

本地化支持

线程支持 (C11)

原子操作 (C11)

技术规范

 

C 语言

基本概念

关键词

预处理器

语句

表达式

初始化

声明

函数

杂项

C 的历史

技术规范

 

声明

指针

数组

enum

struct

union

位域

原子类型 (C11)

const

volatile

restrict (C99)

_Alignas (C11)

存储期与链接

外部及试探性定义

typedef

_Static_assert (C11)

属性 (C23)

 

属性

deprecated (C23)

fallthrough (C23)

nodiscard (C23)

maybe_unused (C23)

 

指示从前一标号直落是有意的，而在发生直落时给出警告的编译器不应诊断它。

语法

[[ fallthrough ]] [[ __fallthrough__ ]]

解释

仅可用于属性声明以创建直落声明（[[fallthrough]];）。

直落声明仅可用于 switch 语句中，其中要遇到的下个块项（语句、声明或标号）是该 switch 语句的带 case 或 default 标号的语句。

指示从前一标号直落是有意的，而在发生直落时给出警告的编译器不应诊断它。

示例

运行此代码

#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 6:
      [[fallthrough]]; // 谬构：下一语句不是同一迭代的一部分
  }
}
 
int main(void) {}