该值保持在0，因为x++的值为0。在这种情况下，x的值是否增加并不重要，赋值x=0被执行。这将覆盖x的临时增量值(在“非常短的时间”为1)。

该值保持在0，因为x++的值为0。在这种情况下，x的值是否增加并不重要，赋值x=0被执行。这将覆盖x的临时增量值(在“非常短的时间”为1)。

这是因为它是后增量的。它意味着变量在表达式求值之后递增。

int x = 9;
int y = x++;

X现在是10，但y是9，这是X加之前的值。

更多信息请参见后增量的定义。

据我所知，错误发生了，由于赋值覆盖了增量值，在增量之前的值，即它取消了增量。

具体来说，"x++"表达式在递增前的值为'x'，而"++x"表达式在递增后的值为'x'。

如果你对研究字节码感兴趣，我们将看一下有问题的三行:

 7:   iload_1
 8:   iinc    1, 1
11:  istore_1

7: iload_1 #将第二个本地变量的值放在堆栈上 8: iinc 1,1 #将使第二个局部变量加1，注意它不影响堆栈! 9: istore_1 #将弹出堆栈顶部，并将该元素的值保存到第二个局部变量中 (你可以在这里阅读每条JVM指令的效果)

这就是为什么上面的代码将无限循环，而带有++x的版本不会。 ++x的字节码应该看起来很不一样，据我所知，在我一年多以前写的1.3 Java编译器中，字节码应该是这样的:

iinc 1,1
iload_1
istore_1

所以只是交换了前两行，改变了语义，使得留在堆栈顶部的值，在增量之后(即表达式的“值”)是增量之后的值。

我想知道Java规范中是否有精确定义此行为的内容。(这句话的明显意思是我懒得去检查。)

注意Tom的字节码，关键行是7、8和11。第7行将x加载到计算堆栈中。第8行增加x。第11行将堆栈的值存储回x。在正常情况下，如果你不将值赋值回自身，我不认为有任何理由不能加载，存储，然后增加。你会得到同样的结果。

比如，假设你有一个更正常的情况，你写这样的东西: z = (x + +) + (y + +);

它是否说(跳过技术细节的伪代码)

load x
increment x
add y
increment y
store x+y to z

or

load x
add y
store x+y to z
increment x
increment y

应该无关紧要。我认为，任何一种实现都是有效的。

我会非常谨慎地编写依赖于这种行为的代码。对我来说，它看起来非常依赖于实现。只有当您做了一些疯狂的事情(比如这里的例子)，或者您有两个线程正在运行，并且依赖于表达式中的求值顺序时，才会产生影响。

答案很简单。它和求值的顺序有关。x++返回值X，然后递增X。

因此，表达式x++的值为0。所以在循环中每次都赋值x=0。当然x++会增加这个值，但这发生在赋值之前。