我想知道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在递增前的值)，并使x递增。 之后，它将表达式值赋给x，覆盖增量值。

因此，事件的序列如下所示(这是一个实际的反编译字节码，由javap -c生成，带有我的注释):

   8:   iload_1         // Remember current value of x in the stack
   9:   iinc    1, 1    // Increment x (doesn't change the stack)
   12:  istore_1        // Write remebered value from the stack to x

作为比较，x = ++x:

   8:   iinc    1, 1    // Increment x
   11:  iload_1         // Push value of x onto stack
   12:  istore_1        // Pop value from the stack to x

其他人已经解释得很好了。我只包含了指向相关Java规范部分的链接。

X = x++是一个表达式。Java将遵循求值顺序。 它将首先计算表达式x++，该表达式将增加x并将结果值设置为x的前一个值。 然后它将表达式结果赋值给变量x。最后，x返回到它之前的值。

 x = x++; (increment is overriden by = )

因为上面的表述x永远不会达到3;

这是因为在这种情况下它永远不会增加。x++会先使用它的值，然后再进行递增，在这种情况下，它会像这样:

x = 0;

但如果你用++x;这将会增加。

在值加1之前，值被赋值给变量。