语句
来自 cppreference.cn
语句是 C 程序的片段，按顺序执行。任何函数的主体都是一个复合语句，而复合语句又是一系列语句和声明。
int main(void) { // start of a compound statement int n = 1; // declaration (not a statement) n = n+1; // expression statement printf("n = %d\n", n); // expression statement return 0; // return statement } // end of compound statement, end of function body
语句有五种类型：
1) 复合语句
2) 表达式语句
3) 选择语句
4) 迭代语句
5) 跳转语句
|
一个属性说明符序列（attr-spec-seq）可以应用于无标签语句，在这种情况下（表达式语句除外），属性应用于相应的语句。 |
(自 C23 起) |
目录 |
[编辑] 标签
任何语句都可以被标记，方法是在语句本身之前提供一个名称，后跟一个冒号。
attr-spec-seq(可选)(C23 起) identifier : |
(1) | ||||||||
attr-spec-seq(可选)(C23 起) case constant-expression : |
(2) | ||||||||
attr-spec-seq(可选)(C23 起) default : |
(3) | ||||||||
1) goto 的目标。
2) switch 语句中的 case 标签。
3) switch 语句中的 default 标签。
任何语句（但不是声明）都可以前面有任意数量的标签，每个标签都将identifier声明为标签名，该标签名在包含函数内必须是唯一的（换句话说，标签名具有函数作用域）。
标签声明本身没有效果，不改变控制流，也不以任何方式修改其后语句的行为。
|
标签后必须跟一个语句。 |
(直至 C23) |
|
标签可以没有其后的语句。如果一个标签单独出现在一个块中，它的行为就像后面跟着一个空语句一样。 可选的attr-spec-seq应用于标签。 |
(自 C23 起) |
[编辑] 复合语句
复合语句，或块，是一个由花括号括起来的语句和声明序列。
{ 语句 | 声明...(可选) } |
(直至 C23) | ||||||||
attr-spec-seq(可选) { 无标签语句 | 标签 | 声明...(可选) } |
(自 C23 起) | ||||||||
复合语句允许将一组声明和语句组合成一个单元，该单元可以用于任何需要单个语句的地方（例如，在if 语句或迭代语句中）。
if (expr) // start of if-statement { // start of block int n = 1; // declaration printf("%d\n", n); // expression statement } // end of block, end of if-statement
每个复合语句都引入自己的块作用域。
块内声明的具有自动存储期变量的初始化器和 VLA 声明符在控制流按顺序经过这些声明时执行，就像它们是语句一样。
int main(void) { // start of block { // start of block puts("hello"); // expression statement int n = printf("abc\n"); // declaration, prints "abc", stores 4 in n int a[n*printf("1\n")]; // declaration, prints "1", allocates 8*sizeof(int) printf("%zu\n", sizeof(a)); // expression statement } // end of block, scope of n and a ends int n = 7; // n can be reused }
[编辑] 表达式语句
一个表达式后跟一个分号是一个语句。
expression(可选) ; |
(1) | ||||||||
attr-spec-seq expression ; |
(2) | (自 C23 起) | |||||||
典型的 C 程序中大多数语句都是表达式语句，例如赋值或函数调用。
没有表达式的表达式语句称为空语句。它通常用于为for或while循环提供空主体。它还可以用于在复合语句的末尾或声明之前携带标签。
puts("hello"); // expression statement char *s; while (*s++ != '\0') ; // null statement
|
可选的attr-spec-seq应用于表达式。 attr-spec-seq 后跟 |
(自 C23 起) |
[编辑] 选择语句
选择语句根据表达式的值选择几个语句中的一个。
attr-spec-seq(可选)(C23 起) if ( expression ) statement |
(1) | ||||||||
attr-spec-seq(可选)(C23 起) if ( expression ) statement else statement |
(2) | ||||||||
attr-spec-seq(可选)(C23 起) switch ( expression ) statement |
(3) | ||||||||
1) if 语句
2) 带 else 子句的 if 语句
3) switch 语句
[编辑] 迭代语句
迭代语句重复执行一个语句。
attr-spec-seq(可选)(C23 起) while ( expression ) statement |
(1) | ||||||||
attr-spec-seq(可选)(C23 起) do statement while ( expression ) ; |
(2) | ||||||||
attr-spec-seq(可选)(C23 起) for ( init-clause ; expression(可选) ; expression(可选) ) statement |
(3) | ||||||||
1) while 循环
2) do-while 循环
3) for 循环
[编辑] 跳转语句
跳转语句无条件地转移控制流。
attr-spec-seq(可选)(C23 起) break ; |
(1) | ||||||||
attr-spec-seq(可选)(C23 起) continue ; |
(2) | ||||||||
attr-spec-seq(可选)(C23 起) return expression(可选) ; |
(3) | ||||||||
attr-spec-seq(可选)(C23 起) goto identifier ; |
(4) | ||||||||
1) break 语句
2) continue 语句
3) 带可选表达式的 return 语句
4) goto 语句
[编辑] 参考文献
- C23 标准 (ISO/IEC 9899:2024)
- 6.8 语句和块 (p: TBD)
- C17 标准 (ISO/IEC 9899:2018)
- 6.8 语句和块 (p: 106-112)
- C11 标准 (ISO/IEC 9899:2011)
- 6.8 语句和块 (p: 146-154)
- C99 标准 (ISO/IEC 9899:1999)
- 6.8 语句和块 (p: 131-139)
- C89/C90 标准 (ISO/IEC 9899:1990)
- 3.6 语句
[编辑] 参见
| C++ 文档 关于 语句
|
