语句

< c‎ | language
 
C
 
C 语言
 
语句
标号
表达式语句
复合语句
选择语句
迭代语句
跳转语句
 

语句是带顺序执行的 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 语句的目标。
2) switch 语句的 case 标号。
3) switch 语句的默认标号。

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

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

复合语句

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

{ 语句 | 声明...(可选) } (1)

复合语句允许将一组声明和语句组合入一个单元，并将其任何在期待单个语句的场所使用（例如在 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)

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

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

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

选择语句

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

if ( 表达式 ) 语句 (1)
if ( 表达式 ) 语句 else 语句 (2)
switch ( 表达式 ) 语句 (3)
1) if 语句
2) if 语句带 else 子句
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

参阅