增量逻辑

Question

我试图更深入地了解后期和前置增量器，但以下表达式有些卡住：

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：评论是我演算的细节

编辑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

编辑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无论硬编码的值是多少，它都会给出每次的两倍。

Answer 1

引用Java语言规范，15.7评估顺序：

Javahtml" target="_blank">编程语言保证运算符的操作数似乎按特定的评估顺序（即 从左到右）进行 评估。

在 评估 右侧操作数的任何部分之前，似乎已对二进制运算符的 左侧操作数 进行了 完全 评估。

如果该运算符是 复合赋值运算符
（第15.26.2节），则对左操作数的求值包括记住左操作数所表示的
变量 以及 获取并保存该变量的值 以用于隐式二进制操作。

因此，从本质上讲， 在 评估右侧 之前 ，i += ++i会记住i左侧的旧值。 __

请记住，操作数的 求值顺序 和运算符的 优先级 是两回事。

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

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;