为什么这段代码不会出错？

Question

void main() {
    int i, j=6;
    for(; i=j ; j-=2 )
        printf("%d",j);
}

通过遵循常规模式，在第一个分号后应该有一个条件 ，但这里是初始化 ，所以这应该给出一个错误。 这甚至是一个有效的格式怎么样？

但输出是642

Answer 1

i=j也是一个表达式，其值是赋值后的i值。 所以它可以作为一个条件。

你通常会看到这种类型的聪明使用：

if ((ptr = some_complex_function()) != NULL)
{
  /* Use ptr */
}

一些程序员喜欢折叠任务并检查一行代码。 这对于可读性有多好或多坏是一个观点问题。

Answer 2

首先，让我更正术语， i=j是一个赋值 ，而不是初始化。

也就是说，让我们首先分析for循环语法。

for ( clause-1; expression-2; expression-3 ) 语句

因此， 表达式-2应该是“表达式”。

现在，来到具有赋值运算符的语句的语法

赋值表达式：
条件表达式
一元表达式赋值运算符赋值表达式

所以，作为该规范C11在章§6.5.16提到，分配操作也其完全适合于在表达-2部分的表达 for循环语法。

关于结果 ，

赋值表达式具有赋值后左操作数的值，

所以， i=j将基本的值分配j到i ，然后，值i将用于条件检查，（即，非零或零作为TRUE或FALSE）。

TL; DR从语法上讲，代码没有问题，因此编译器不会生成错误。

---

此外，对于托管环境， void main()应该是int main(void)以符合标准。

Answer 3

您的代码不包含语法错误，因此编译器接受它并生成代码以生成642 。

条件i=j被解释为(i = j) != 0 。

要防止出现这种情况和许多类似的错误模式，请启用更多编译器警告并使其致命：

gcc -Wall -W -Werror

如果你使用clang ，请使用clang -Weverything -Werror

Answer 4

这个问题问得好。

要真正理解这一点，你最好知道如何在计算机中执行C代码：首先，编译器将C代码编译成汇编代码，然后汇编代码将被转换为机器代码，机器代码可以直接在主内存中运行。

至于你的代码：

void main() {
    int i, j=6;
    for(; i=j ; j-=2 )
        printf("%d",j);
}

要找出结果为642的原因，我们希望看到它的汇编代码。

使用VS调试模式，我们可以看到：

特别是看看这个：

010217D0  mov         eax,dword ptr [j]  
010217D3  mov         dword ptr [i],eax  
010217D6  cmp         dword ptr [i],0  
010217DA  je          main+4Fh (010217EFh)  

四行汇编代码对应C代码“i = j”，这意味着，首先将j的值移动到寄存器eax，然后将寄存器eax的值移到i（因为计算机不能直接移动j的值）对于i，它只使用寄存器eax作为桥接器，然后将i的值与0进行比较，如果它们相等，则跳转到010217EFh，循环结束; 如果没有，循环继续。

实际上它首先是一个赋值，然后是一个比较来决定循环是否结束; 当6下降到0时，循环终于停止，我希望这可以帮助你理解为什么结果是642：D