为什么有这个输出？

Question

我一直在尝试理解以下 C 程序：

#include <stdio.h>

int arr[] = {1,2,3,4};
int count;

int incr(){
 return ++count;
}

int main(){  
   arr[count++]=incr();
   printf("%d %d",count,arr[count]);    
   return 0;
}

该程序将 1 2 作为 输出，我不明白的是为什么这里的 count 值是 1 而不是 2 （因为有两个增量）？

Answer 1

= 运算符的操作数的求值顺序在 arr[count++]=incr(); 中未指定，并且由于两个操作数都试图修改同一个全局变量 count 根据计算顺序，不同编译器的结果会有所不同。

编辑

实际上，行为是未定义（这意味着任何事情都可能发生），因为“不会访问变量 count 的先前值（仅）确定要存储的值。”

Answer 2

incr() 将返回 1 或 2。这取决于实现是先递增 count 然后调用 incr()，还是先调用 incr() 然后递增 >计数。

请注意，此选择并不意味着行为未定义。由于在进入函数之前和离开函数之后，每个点都有一个序列点，我们这里的两个增量都被一个序列点分隔开，因此 main 中的增量，如果它在调用之前开始发生，一旦进入 incr() 就会完成，如果它发生在 incr() 被调用之后，直到 才开始发生>incr() 已离开。

我们这里有多种场景：

• 首先对 count++ 进行增量，然后调用 incr()。这会将 2 写入 arr[0]。
• 首先调用incr()，然后对count++进行增量。这会将 1 写入 arr[1]。

因此，count 始终为 2，而 arr[count] 始终为 3（它没有被覆盖） 。所以它应该输出 2 3，而不是 1 2。

我认为如果你执行以下操作，你就有更多选择

int main(){  
   arr[++count]=incr();
   printf("%d %d",count,arr[count]);    
   return 0;
}

现在，从 ++count 读取的值可能与 count+1 不同，因为没有什么可以停止incr() 在递增 count 之后但在读取之前调用。在本例中，我们

• 首先对 ++count 进行增量，然后调用 incr()，然后从 count 读取。这会将 2 写入 arr[2]。
• 首先对++count进行增量，然后从count读取，然后调用incr()。这会将 2 写入 arr[1]。
• 首先调用 incr()，然后对 ++count 进行增量并从中读取。这会将 1 写入 arr[2]。

在这种情况下，您可以输出 2 2 或 2 1 或 2 3。