C ;操作员使用情况

问题描述

虽然我在编写代码,但是C编译器(在我的情况下为GCC)在使用时不会给出错误或警告。操作员反复喜欢

int main()
{
  ;
  ;
  ;
  ;
  return 0;
}

很明显,无需提供任何输入即可实现for循环

for(;;)
{ /* Some implementations */
}

但是当涉及while循环时,编译器会引发错误。

while()
{
}

因此可以解释实际上是什么;运算符在C中执行操作,为什么在将它放在任何位置之前都不会给出错误?

解决方法

由三个分号分隔的带有三个“空”表达式(技术上,第一个是子句)的for循环有效,因为这些表达式中的每个/任何一个都可以省略。来自this C11 Draft Standard

6.8.5.3 for语句

1语句
for ( 第1条 ; 表达式2 ; 表达式3 {{ 1}} 语句

的行为如下...

2两者 clause-1 expression-3 可以省略。省略的 expression-2 是 替换为非零常量。

但是,)语句 not 不允许省略控制表达式(在括号内)。根据同一标准草案(请注意,没有“第2款”):

6.8.5.1 while语句

1控制表达式的求值发生在每次执行循环之前 身体

在您的第一个代码段中重复使用“孤独”分号:每一个都分隔了 null语句。同样,根据相同的标准草案:

6.8.3表达式和null语句
...
3 null语句(仅由分号组成)不执行任何操作。

空语句可用于定义“空”循环体;例如,以下代码使while变量前进,直到找到数组中的特定元素为止,但是循环本身中没有任何内容:

i
,

;不是运算符,而是在语言语法中出现在各个位置的标点符号。它可能不会显得随意,而只会出现在正式语法指定的某些地方:

  • 作为字符串文字或字符常量内的标点符号。例如:";"

  • 在声明或结构声明的末尾。例如:int a;

  • 在表达式语句的末尾。示例a=b;
    其中包括(6.8.3)

    空语句(仅由分号组成)不执行任何操作。

  • Static_assert的末尾。示例_Static_assert(foo==bar,"foobar");

  • do-while语句的末尾。示例do(x) while(y) ;

  • 分隔for语句的三个子句。例如:for(int i=0; i<n; i++)

  • 在跳转语句之后。示例return 0;


for循环有点特殊,因为它允许这两种形式的语法(6.8.5):

for ( 表达式 opt ; 表达式 opt ; 表达式 opt ) 声明
for ( 声明表达式 opt ; 表达式 opt ) 声明

其中 opt 表示可选。请注意,声明表达式的末尾将包含一个;,因此无论您选择哪个版本,它最终都会包含两个。

此外,6.8.5.3指出,第一个和第三个表达式是完全可选的,可以随时将其省略。如果省略第二个表达式,则将其替换为非零常量,从而创建一个永恒的(“永远”)循环。

通常这样的循环写为for(;;) {}


您的示例是:

  • 4个空语句表达式。

  • 永恒的for(;;)循环。

  • 由于while的语法是:

    while ( 表达式 ) 声明

    表达式不是是可选的。

,

因此可以解释实际上是什么;运算符在C和 为什么将它放在什么都不放在前面时它不给出错误??

;不是运算符。它是一个语句 terminator ,并且是for语句语法的一部分。

;作为语句终止符可以终止一个空语句。 C允许这样的语句,并指定它们无效。如果在loop-control子句中完成了重要的工作,这在为循环语句提供空主体方面用途有限,但不限于此上下文。

类似地,在for语句中,允许省略control子句中的三个表达式中的任何一个或全部,但是在那种情况下,仍然需要;来显示那些表达式。如果省略了控制表达式,则按规则将其视为非零常量表达式(也就是说,无条件地为真)。那应该被认为是特例。如果省略其他表达式,则在循环执行过程中仅在相应的点不计算任何表达式。

另一方面,while语句的规则没有规定要省略控制表达式。最重要的是,这只是规则。

相关问答

依赖报错 idea导入项目后依赖报错,解决方案:https://blog....
错误1:代码生成器依赖和mybatis依赖冲突 启动项目时报错如下...
错误1:gradle项目控制台输出为乱码 # 解决方案:https://bl...
错误还原:在查询的过程中,传入的workType为0时,该条件不起...
报错如下,gcc版本太低 ^ server.c:5346:31: 错误:‘struct...