后增量运算符：意外行为

Question

可能的重复：
谁能解释一下这些未定义的行为（i = i++ + ++i ， i = i++ 等...）

我的代码如下：

#include <stdio.h>
int main()
{
  int x = 10, y = 0;
  x = x++;
  printf("x: %d\n", x);
  y = x++;
  printf("y: %d\n", y);
}

鉴于后增量的性质，我期望以下输出：

x: 10
y: 10

我的推理是在第 5 行中，应分配 x增量发生后恢复到其初始值。

然而，相反，我得到了这样的信息：

x: 11
y: 11

深入研究程序集，这对我来说似乎是一个故意的选择：

LCFI2:
        movl    $10, -4(%rbp)   // this is x
        movl    $0, -8(%rbp)    // this is y
        incl    -4(%rbp)        // x is simply incremented
        movl    -4(%rbp), %esi
        leaq    LC0(%rip), %rdi
        movl    $0, %eax
        call    _printf
        movl    -4(%rbp), %eax  // now x is saved in a register,
        movl    %eax, -8(%rbp)  // copied to y,
        incl    -4(%rbp)        // and finally incremented
        movl    -8(%rbp), %esi
        leaq    LC1(%rip), %rdi
        movl    $0, %eax
        call    _printf

这里发生了什么？ GCC 是想把我从自己的困境中拯救出来吗？我没有方便的语言参考，但我认为这破坏了预期的语义。

Answer 1

该行为未定义，因为 x = x++ 中没有中间序列点，请参见 C 常见问题。

Answer 2

C 语言未定义后置/预置/递减何时发生。因此，诸如 x = x++ 之类的语句格式不正确 - 请避免使用它们。

Answer 3

撇开标准不谈（因为这对于标准来说是未定义的），它的运行方式正是我所期望的。

我的经验法则是，对于包含 x++ 的行，将 x++ 替换为 x 并输入 x += 1 > 在以下行（或预增量的前一行）。

遵循该经验法则，您的代码将写为

#include <stdio.h>
int main()
{
  int x = 10, y = 0;
  x = x; // x: 10
  x += 1; // x: 11
  printf("x: %d\n", x);
  y = x; // y: 11
  x += 1; // x: 12
  printf("y: %d\n", y);
}

Answer 4

当你：

a = b++;

发生的事情是 b 被保存到 a 中，并且在分配完成后 b 增加 1。所以如果你这样做：

x = x ++;

并且之前 x 是 10 ，将会发生的情况是 10 将被保存到 x 中，并且之后（在 printf 完成之前）x 将增加 1 到 11。这就是打印 11 的原因。