语句
来自cppreference.com
语句是带顺序执行的 C 程序段。任何函数体都是一条复合语句，继而为语句或声明的序列：
int main(void) { // 复合语句的开始 int n = 1; // 声明（非语句） n = n+1; // 表达式语句 printf("n = %d\n", n); // 表达式语句 return 0; // 返回语句 } // 复合语句之结尾，函数体之结尾
语句有五种类型：
1) 复合语句
2) 表达式语句
3) 选择语句
4) 循环语句
5) 跳转语句
标号
任何语句都能有标号，通过在语句自身前提供一个跟随冒号的名称。
标识符 : 语句
|
(1) | ||||||||
case 常量表达式 : 语句
|
(2) | ||||||||
default : 语句
|
(3) | ||||||||
1) goto 语句的目标。
3) switch 语句的默认标号。
任何语句（但非声明）可以前附任意数量的标号，每个都声明一个 标识符 为标号名，标号名必须在闭合的函数中唯一（换言之，标号名拥有函数作用域）。
标号声明自身没有效果，不会以任何方式变更控制流，或修改跟随其后的语句的行为。
复合语句
复合语句，或称块，是花括号所包围的语句与声明的序列。
{ 语句 | 声明...(可选) }
|
(1) | ||||||||
复合语句允许将一组声明和语句组合入一个单元，并将其任何在期待单个语句的场所使用（例如在 if 语句或循环语句中）：
if (expr) // if 语句的开始 { // 开始块 int n = 1; // 声明 printf("%d\n", n); // 表达式语句 } // 块结尾， if 语句结尾
每个复合语句引入其自身的块作用域。
拥有静态存储期的变量的初始化器，及 VLA 声明符在每次控制流经过这些声明时按顺序执行，就像它们是语句一样：
表达式语句
跟随分号的表达式是一条语句。
表达式(可选) ;
|
(1) | ||||||||
典型的 C 程序中大多数语句是表达式语句，例如赋值或函数调用。
无表达式的表达式语句被称作空语句。它通常用于提供空循环体给 for 或 while 循环。它亦能用于在复合语句尾部或声明之前携带一个标号：
puts("hello"); // 表达式语句 char *s; while (*s++ != '\0') ; // 空语句
选择语句
选择语句根据表达式的值，选择数条语句之一执行。
if ( 表达式 ) 语句
|
(1) | ||||||||
if ( 表达式 ) 语句 else 语句
|
(2) | ||||||||
switch ( 表达式 ) 语句
|
(3) | ||||||||
1) if 语句
3) switch 语句
循环语句
循环语句重复执行一条语句。
while ( 表达式 ) 语句
|
(1) | ||||||||
do 语句 while ( 表达式 ) ;
|
(2) | ||||||||
for ( 初始化子句 ; 表达式(可选) ; 表达式(可选) ) 语句
|
(3) | ||||||||
1) while 循环
2) do-while 循环
3) for 循环
跳转语句
跳转语句无条件地转移控制流。
break ;
|
(1) | ||||||||
continue ;
|
(2) | ||||||||
return 表达式(可选) ;
|
(3) | ||||||||
goto 标识符 ;
|
(4) | ||||||||
1) break 语句
2) continue 语句
3) return 语句带可选的表达式
4) goto 语句
引用
- C11 standard (ISO/IEC 9899:2011):
- 6.8 Statements and blocks (p: 146-154)
- C99 standard (ISO/IEC 9899:1999):
- 6.8 Statements and blocks (p: 131-139)
- C89/C90 standard (ISO/IEC 9899:1990):
- 3.6 STATEMENTS
