为什么空表达式在C/C++中合法？

Question

int main()
{
  int var = 0;; // Typo which compiles just fine
}

Answer 1

assert(foo == bar);在NDEBUG定义时,还有什么可以编译为空？

Answer 2

这是C和C++表达NOP的方式.

Answer 3

显然我们可以这么说

for(;;) {
  // stuff
}

谁能活下去呢？

Answer 4

我不是语言设计师,但我给出的答案是"为什么不呢？" 从语言设计的角度来看,人们希望规则(即语法)尽可能简单.

更不用说"空表达"有用,即

for(i = 0; i <INSANE_NUMBER; i ++);

将死等待(不是很好用,但仍然使用).

编辑:正如在对这个答案的评论中所指出的,任何有价值的编译器可能都不会忙于等待这个循环,并将其优化掉.但是,如果在head头本身(除了i ++之外)有一些更有用的东西,我已经看到(奇怪地)使用数据结构遍历,那么我想你仍然可以构造一个空体循环(通过使用/滥用"for"构造).

Answer 5

老实说,我不知道这是否是真正的原因,但我认为更有意义的是从编译器实现者的角度考虑它.

大部分编译器是由分析特殊语法类的自动化工具构建的.有用的语法似乎很自然地允许空语句.当它不改变代码的语义时,检测这样的"错误"似乎是不必要的工作.空语句不会执行任何操作,因为编译器不会为这些语句生成代码.

在我看来,这只是"不要修复没有破坏的东西"的结果......

Answer 6

你希望能够做到这样的事情

while ( fnorble(the_smurf) == FAILED )
    ;

并不是

while ( fnorble(the_smurf) == FAILED )
    do_nothing_just_because_you_have_to_write_something_here();

但!请不要在同一行写下空语句,如下所示:

while ( fnorble(the_smurf) == FAILED );

这是混淆读者的一种非常好的方法,因为很容易错过分号,因此认为下一行是循环的主体.请记住:编程实际上是关于通信 - 不是与编译器有关,而是与其他人一起阅读您的代码.(或者三年后你自己!)

Answer 7

好的,我会将此添加到您可能实际使用的最坏情况:

for (int yy = 0; yy < nHeight; ++yy)
{
    for (int xx = 0; xx < nWidth; ++xx)
    {
        for (int vv = yy - 3; vv <= yy + 3; ++vv)
        {
            for (int uu = xx - 3; uu <= xx + 3; ++uu)
            {
                if (test(uu, vv))
                {
                    goto Next;
                }
            }
        }

    Next:;
    }
}