C 属性： fallthrough (C23 起)

 

C

编译器支持

语言

头文件

类型支持

程序工具

变参数函数支持

错误处理

动态内存管理

字符串库

算法

数值

日期和时间工具

输入/输出支持

本地化支持

并发支持 (C11)

技术规范

符号索引

 

C 语言

基本概念

关键词

预处理器

语句

表达式

初始化

声明

函数

杂项

C 的历史

技术规范

 

声明

指针

数组

enum

struct

union

位域

原子类型 (C11)

const

volatile

restrict (C99)

对齐说明符 (C11)

存储期与链接

外部及试探性定义

typedef

静态断言 (C11)

属性 (C23)

 

属性

deprecated (C23)

fallthrough (C23)

nodiscard (C23)

maybe_unused (C23)

noreturn_Noreturn (C23)(C23)(弃用)

unsequenced (C23)

reproducible (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) {}