语句

语句是带顺序执行的 C 程序段。任何函数体都是一条复合语句，继而为语句或声明的序列：

int main(void)
{ // 复合语句的开始
    int n = 1; // 声明（非语句）
    n = n+1; // 表达式语句
    printf("n = %d\n", n); // 表达式语句
    return 0; // 返回语句
} // 复合语句之结尾，函数体之结尾

语句有五种类型：

1) 复合语句

属性说明符序列 (属性说明符序列) 能应用到无标号语句，该情况下（除了表达式语句）属性应用到相应的语句。

(C23 起)

标号

任何语句都能有标号，通过在语句自身前提供一个跟随冒号的名称。


属性说明符序列(可选)(C23 起) 标识符 `:`	(1)

属性说明符序列(可选)(C23 起) `case` 常量表达式 `:`	(2)

属性说明符序列(可选)(C23 起) `default` `:`	(3)

1) goto 语句的目标。

2) switch 语句的 case 标号。

3) switch 语句的默认标号。

任何语句（但非声明）可以前附任意数量的标号，每个都声明一个标识符为标号名，标号名必须在闭合的函数中唯一（换言之，标号名拥有函数作用域）。

标号声明自身没有效果，不会以任何方式变更控制流，或修改跟随其后的语句的行为。

标号应当后随语句。

(C23 前)

标号可以不带其后随语句出现。若标号单独出现在块中，则表现为如同它后随一条空语句。

可选的属性说明符序列应用到标号。

(C23 起)

复合语句

复合语句，或称块，是花括号所包围的语句与声明的序列。


`{` 语句 `\|` 声明...(可选) `}`		(C23 前)

属性说明符序列(可选) `{` 无标号语句 `\|` 标号 `\|` 声明...(可选) `}`		(C23 起)

复合语句允许将一组声明和语句组合入一个单元，并将其任何在期待单个语句的场所使用（例如在 if 语句或循环语句中）：

if (expr) // if 语句的开始
{ // 开始块
  int n = 1; // 声明
  printf("%d\n", n); // 表达式语句
} // 块结尾，if 语句结尾

每个复合语句引入其自身的块作用域。

拥有自动存储期的变量的初始化式，及 VLA 声明符在每次控制流经过这些声明时按顺序执行，就像它们是语句一样：

int main(void)
{ // 块的开始
  { // 块的开始
       puts("hello"); // 表达式语句
       int n = printf("abc\n"); // 声明，打印 "abc\n"，将 4 存入 n
       int a[n*printf("1\n")]; // 声明，打印 "1\n"，分配 8*sizeof(int)
       printf("%zu\n", sizeof(a)); // 表达式语句
  } // 块结束，n 与 a 的作用域结束
  int n = 7; // n 可以重新使用
}

表达式语句

表达式后跟分号即是一条语句。


表达式(可选) `;`	(1)

属性说明符序列表达式 `;`	(2)	(C23 起)

典型的 C 程序中大多数语句是表达式语句，例如赋值或函数调用。

无表达式的表达式语句被称作空语句。它通常用于给 for 或 while 循环提供空循环体。它亦能用于在复合语句尾部或声明之前携带一个标号：

puts("hello"); // 表达式语句
char *s;
while (*s++ != '\0')
    ; // 空语句

可选的属性声明符序列应用到表达式。

后随 ; 的属性说明符序列不构成表达式。它替而构成属性声明。

(C23 起)

选择语句

选择语句根据表达式的值，选择数条语句之一执行。


属性说明符序列(可选)(C23 起) `if` `(` 表达式 `)` 语句	(1)

属性说明符序列(可选)(C23 起) `if` `(` 表达式 `)` 语句 `else` 语句	(2)

属性说明符序列(可选)(C23 起) `switch` `(` 表达式 `)` 语句	(3)

1) if 语句

2) if 语句带 else 子句

3) switch 语句

循环语句

循环语句重复执行一条语句。


属性说明符序列(可选)(C23 起) `while` `(` 表达式 `)` 语句	(1)

属性说明符序列(可选)(C23 起) `do` 语句 `while` `(` 表达式 `)` `;`	(2)

属性说明符序列(可选)(C23 起) `for` `(` 初始化子句 `;` 表达式(可选) `;` 表达式(可选) `)` 语句	(3)

1) while 循环

2) do-while 循环

3) for 循环

跳转语句

跳转语句无条件地转移控制流。


属性说明符序列(可选)(C23 起) `break` `;`	(1)

属性说明符序列(可选)(C23 起) `continue` `;`	(2)

属性说明符序列(可选)(C23 起) `return` 表达式(可选) `;`	(3)

attr-spec-seq(可选)(C23 起) `goto` identifier `;`	(4)

1) break 语句

2) continue 语句

3) return 语句带可选的表达式

4) goto 语句

引用

C17 标准（ISO/IEC 9899:2018）：

6.8 Statements and blocks （第 106-112 页）

C11 标准（ISO/IEC 9899:2011）：

6.8 Statements and blocks （第 146-154 页）

C99 标准（ISO/IEC 9899:1999）：

6.8 Statements and blocks （第 131-139 页）

C89/C90 标准（ISO/IEC 9899:1990）：

3.6 STATEMENTS

编译器支持
语言
头文件
类型支持
程序工具
变参数函数支持
错误处理
动态内存管理
字符串库
算法
数值
日期和时间工具
输入/输出支持
本地化支持
并发支持 (C11)
技术规范
符号索引

基本概念
关键词
预处理器
语句
表达式
初始化
声明
函数
杂项
C 的历史
技术规范

语句

标号

复合语句

表达式语句

选择语句

循环语句

跳转语句

引用

参阅

导航