为什么 `x-- > 0` 不是未定义行为，而 `x = x--` 是？

众所周知，这会循环零：

while (x-- > 0) { /* also known as x --> 0 */
  printf("x = %d\n", x);
}

But x = x-- yields 未定义的行为 https://stackoverflow.com/questions/4910248/is-y-x-x-1-undefined-behavior/.

这两个例子都需要一些“返回”值x--，我猜这不存在。怎么会这样x-- > 0已定义，但x = x-- is not?

因为在x = x--你正在修改的值x两次，没有中间序列点。所以操作顺序没有定义。在x-- > 0的价值x修改一次，明确评估结果x--将是x减量之前。