我想知道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

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

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

从http://download.oracle.com/javase/tutorial/java/nutsandbolts/op1.html

The increment/decrement operators can be applied before (prefix) or after (postfix) the operand. The code result++; and ++result; will both end in result being incremented by one. The only difference is that the prefix version (++result) evaluates to the incremented value, whereas the postfix version (result++) evaluates to the original value. If you are just performing a simple increment/decrement, it doesn't really matter which version you choose. But if you use this operator in part of a larger expression, the one that you choose may make a significant difference.

为了说明这一点，请尝试以下方法:

    int x = 0;
    int y = 0;
    y = x++;
    System.out.println(x);
    System.out.println(y);

它会输出1和0。

你有效地得到了以下行为。

获取x的值(它是0)作为右边的“结果” 增加x的值(x现在是1) 将右边的结果(保存为0)分配给x (x现在是0)

其思想是，后增量操作符(x++)在返回变量的值后对该变量进行增量，以便在使用该变量的方程中使用。

编辑:由于评论的原因，稍微增加了一点。像下面这样考虑。

x = 1;        // x == 1
x = x++ * 5;
              // First, the right hand side of the equation is evaluated.
  ==>  x = 1 * 5;    
              // x == 2 at this point, as it "gave" the equation its value of 1
              // and then gets incremented by 1 to 2.
  ==>  x = 5;
              // And then that RightHandSide value is assigned to 
              // the LeftHandSide variable, leaving x with the value of 5.

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

没有一个答案是完全正确的，所以是这样的:

当你写int x = x++时，你不是把x赋值为它自己的新值，你是把x赋值为x++表达式的返回值。也就是x的原始值，正如Colin Cochrane的答案所暗示的那样。

为了好玩，测试下面的代码:

public class Autoincrement {
        public static void main(String[] args) {
                int x = 0;
                System.out.println(x++);
                System.out.println(x);
        }
}

结果将是

0
1

表达式的返回值是x的初始值，即0。但是稍后，当读取x的值时，我们会收到更新后的值，即1。

x++表达式求值为x。++部分影响求值之后的值，而不是语句之后的值。所以x = x++可以有效地转换成

int y = x; // evaluation
x = x + 1; // increment part
x = y; // assignment