c-faq 和我的编译器之间的矛盾

Question

C-faq 说代码：

int i = 7;
printf("%d\n", i++ * i++);

打印 49。无论如何评估的顺序，它不应该打印56吗？ 当我在 Turbo C 3.0 编译器上运行这段代码时，它给出的输出是 56。为什么会出现矛盾呢？

Answer 1

这并不矛盾。这个问题是从用户角度出发的，如果你仔细阅读答案，你会发现这样的评论

代码的行为包含
多种模糊的副作用
始终未定义。

所以它可能会打印 49 或 56。毕竟，未定义的行为是未定义的。这就是为什么不存在真正的矛盾。您可能想加深对所谓序列点的理解。

Answer 2

因为这是未定义的行为。编译器可以做任何它想做的事：它可以使代码打印 56、49 或“你的妈妈”，并且编译器仍然符合标准。

您不能在两个序列点之间多次修改同一值。

Answer 3

表达式 i++ * i++ 调用未定义的行为，因此任何结果都是可能的。

为什么它是未定义的？因为语言标准是这样说的：

6.5 Expressions
...
2  Between the previous and next sequence point an object shall have its 
   stored value modified at most once by the evaluation of an expression.72) 
   Furthermore, the prior value shall be read only to determine the value 
   to be stored.73)
...
73) This paragraph renders undefined statement expressions such as

    i = ++i + 1;
    a[i++] = i;

while allowing

    i = i + 1;
    a[i] = i;

其中“未定义的行为”意味着

3.4.3
1 undefined behavior
  behavior, upon use of a nonportable or erroneous program construct or of 
  erroneous data, for which this International Standard imposes no requirements

2 NOTE Possible undefined behavior ranges from ignoring the situation 
  completely with unpredictable results, to behaving during translation 
  or program execution in a documented manner characteristic of the environment 
  (with or without the issuance of a diagnostic message), to terminating a 
  translation or execution  (with the issuance of a diagnostic message).

3 EXAMPLE An example of undefined behavior is the behavior on integer overflow.

强调我的。

Answer 4

C-faq 真的这么说吗？您正在使用中间序列点修改变量 (i) 两次，这只会给出未定义的行为，仅此而已。它可以打印 49 或 56，或 73295，或什么也不打印，或“格式化硬盘驱动器...”（并继续执行该操作）。

编辑：至于可能发生的情况，可以归结为：使用后增量，增量部分可以发生在检索值的时间和下一个序列点之间的任何位置。生成的代码可以很容易地像这样运行：

int temp = i;
++i;
int temp2 = i;
++i;

printf("%d\n", temp * temp2);

另一方面，它也可以像这样运行：

int temp = i;
int temp2 = i;
++i;
++i;
printf("%d\n", temp * temp2);

虽然这两者之一很可能，但标准并不强制要求其中任何一个。正如我上面所说，它是未定义的行为，这意味着 C 标准不会对代码的功能施加任何限制。