增量逻辑

我试图更深入地了解后增量和预增量，但我有点坚持以下表达式：

public static void main(String[] args) {
    int i = 0;
    i = i+=(++i + (i+=2 + --i) - ++i);
    // i = 0 + (++i + (i+=2 + --i) - ++i);
    // i = 0 + (1   + (3    +   2) -  1 );
    // i = 0 + (6                  -  1 );
    System.out.println(i); // Prints 0 instead of 5
}

我知道我在某个地方缺少逻辑，但在哪里？

我尝试过的：

• 从左到右（虽然我知道不推荐）
• 从最里面的括号开始，从那里开始。

谢谢您的帮助

PS：评论是我的演算细节

EDIT 1

我尝试更改表达式中的硬编码值2到别的东西，结果总是给出0

看这个例子：

    int i = 0;
    i = i+=(++i + (i+=32500 + --i) - ++i);
    System.out.println(i); // Prints 0

从逻辑上讲，这个表达式应该相差甚远0但不知何故它确实打印了它。

当我使用否定时也会发生同样的情况：

    int i = 0;
    i = i+=(++i + (i+=(-32650) + --i) - ++i);
    System.out.println(i); // Prints 0

EDIT 2

现在，我改变了i首先：

    int i = 1;
    i = i+=(++i + (i+=2 + --i) - ++i);
    System.out.println(i); // Prints 2
    
    i = 2;
    i = i+=(++i + (i+=10000 + --i) - ++i);
    System.out.println(i); // Prints 4
    
    i = 3;
    i = i+=(++i + (i+=(-32650) + --i) - ++i);
    System.out.println(i); // Prints 6

它给出了两倍i每次，无论硬编码值是什么。

Quoting Java 语言规范，15.7 评估顺序:

Java 编程语言保证运算符的操作数似乎按特定的求值顺序求值，即从左到右.

The 左操作数二元运算符的看起来是全面评估在评估右侧操作数的任何部分之前。

如果操作员是复合赋值运算符 (§15.26.2)，那么左侧操作数的求值包括记住左侧操作数表示的变量和获取并保存该变量的值用于隐含的二元运算。

所以，本质上，i += ++i会记住旧值i在左侧，before评估右侧。

记住，评估顺序操作数和优先级运算符是两个不同的东西。

逐步显示评估顺序，并在{大括号}中保存值：

int i = 0;
i    = i    += (++i + (i    += 2 + --i) - ++i); // i = 0
i{0} = i    += (++i + (i    += 2 + --i) - ++i); // i = 0
i{0} = i{0} += (++i + (i    += 2 + --i) - ++i); // i = 0
i{0} = i{0} += (1   + (i    += 2 + --i) - ++i); // i = 1
i{0} = i{0} += (1   + (i{1} += 2 + --i) - ++i); // i = 1
i{0} = i{0} += (1   + (i{1} += 2 + 0  ) - ++i); // i = 0
i{0} = i{0} += (1   + (i{1} += 2      ) - ++i); // i = 0
i{0} = i{0} += (1   + 3                 - ++i); // i = 3
i{0} = i{0} += (4                       - ++i); // i = 3
i{0} = i{0} += (4                       - 4  ); // i = 4
i{0} = i{0} += 0                              ; // i = 4
i{0} = 0                                      ; // i = 0
0                                             ; // i = 0

问题编辑的后续行动

如果我们命名初始值I和常数N:

int i = I;
i = i += (++i + (i += N + --i) - ++i);

然后我们可以看到这些值是：

i{I} = i{I} += ((I+1) + (i{I+1} += N + I) - ((I+1+N+I)+1));
i{I} = i{I} += (I + 1 + (I + 1 + N + I) - (I + 1 + N + I + 1));
i{I} = i{I} += (I + 1 + I + 1 + N + I - I - 1 - N - I - 1);
i{I} = i{I} += I;
i{I} = I + I;
i = 2 * I;