在 C/C++ 为什么 do while(表达式); 需要分号吗？

Question

我的猜测是它只是使解析更容易，但我不明白为什么。

那么这有什么...

do
{
  some stuff
}
while(test);

more stuff

这比...更好

do
{
  some stuff
}
while(test)

more stuff

Answer 1

因为你正在结束声明。 语句以块（由大括号分隔）或分号结束。 “do this while this”是单个语句，不能以块结尾（因为它以“while”结尾），因此它需要一个分号，就像任何其他语句一样。

Answer 2

如果你看一下 C++ 语法，你会发现迭代语句定义为

while ( 条件 ) 语句

for ( for-init-statement 条件-opt ; 表达式-opt )< /strong> 声明

do 语句 while ( 表达式 ) ;

请注意，只有 do-while 语句有 <代码>; 位于末尾。 所以，问题是为什么 do-while 与其他的如此不同，以至于它需要额外的 ;。

让我们仔细看看：for 和常规 while 都以语句结尾。 但是 do-while 以包含在 () 中的控制表达式结束。 封闭 () 的存在已经允许编译器明确地找到控制表达式的结尾：外部封闭 ) 指定表达式结束的位置，因此，整个do-while语句结束。 换句话说，终止;确实是多余的。

然而，在实践中，这意味着，例如，以下代码

do
{
  /* whatever */
} while (i + 2) * j > 0;

虽然从语法的角度来看有效，但实际上会被解析为：

do
{
  /* whatever */
} while (i + 2)

*j > 0;

这在形式上是合理的，但实际上并不直观。 我猜想，出于这样的原因，决定在 do-while 语句中添加一个更明确的终止符 - 分号。 当然，根据 @Joe White 的回答，还需要考虑简单一致性：C 中的所有普通（非复合）语句都以 ; 结尾。

Answer 3

这是因为 while 语句在 do-while 循环内有效。

如果不需要分号，请考虑不同的行为：

int x = 10;
int y = 10;

do 
  while(x > 0)
    x--;
while(x = y--);

Answer 4

虽然我不知道答案，但一致性似乎是最好的论据。 为什么

1. C/C++ 中的每个语句组都以分号和大括号
2. 终止

要创建一个两者都没有的构造？

Answer 5

流程控制语句一致性

考虑一致性...

if (expr) statement;
do statement; while (expr);
for (expr; expr; expr) statement;
while (expr) statement;

...所有这些流程控制结构都以分号结尾。

但是，与此相反，我们可以注意到，在块语句形式中，只有 do while 是分号分隔的：

if (expr) { ... }
do { ... } while (expr);
for (expr; expr; expr) { }
while (expr) { }

所以，我们有 ';' 或 '}'，但绝不是“裸”')'。

语句分隔符的一致性

我们至少可以说，每个语句都必须用 ; 或 } 来分隔，这在视觉上可以帮助我们区分语句。

如果不需要分号，请考虑：

do statement1; while (expr1) statement2; do ; while (expr2) statement3; while (expr3) statement4;

很难在视觉上将其解析为不同的语句：

do statement1; while (expr1)
statement2;
do ; while (expr2)
statement3;
while (expr3) statement4;

相比之下，以下内容更容易解析为 ; 在 while 条件告诉您向后查找 do，并且下一个语句与该 while 无关：

do statement1; while (expr1); statement2; do ; while (expr2); statement3; while (expr3) statement4;

考虑到人们缩进代码以实现流程，这是否重要可以理解吗？ 是的，因为：

• 人们有时会犯错误（或者在代码被修改时短暂地犯错误），如果它在视觉上很突出，那就意味着它会更容易修复，并且
• 宏替换可以将大量语句放在一行上，我们偶尔需要在故障排除或进行质量检查时直观地验证预处理器输出。

对预处理器使用的影响

还值得注意的是著名的预处理器 do-while 习惯用法：

#define F(X) do { fn(X); } while (false)

这可以替换如下：

if (expr)
    F(x);
else
    x = 10;

...yields...

if (expr)
    do ( fn(x); } while (false);
else
    x = 10;

如果分号不是 do 的一部分while 语句，那么 if 语句将被解释为：

if (expr)
    do-while-statement
; // empty statement
else
    x = 10;

...并且，因为 if 后面有两个语句，所以它被认为是完整的，剩下else 语句不匹配。

Answer 6

C 以分号结尾（而 Pascal 以分号分隔）。 在那里删除分号会不一致。

坦率地说，我讨厌在 do 循环中重用 while。 我认为重复直到不会那么混乱。 但是它就是这样啊。

Answer 7

在 C/C++ 中，空格对结构没有贡献（例如在 python 中）。 在 C/C++ 语句中必须以分号终止。 这是允许的：

do
{
  some stuff; more stuff; even more stuff;
}
while(test);

Answer 8

我的答案是，当我们在 do.....while(); 循环的终止中没有包含分号时，编译器可能会感到困惑。 如果没有这个，就不清楚：

1. do什么时候结束？
2. 如果 while 可以在 do 循环之后紧跟着一个单独的循环。

这就是为什么我们在 do......while 循环末尾添加分号，以指示如果条件为 false 则循环将在此处终止。