为什么 Java 中的增广赋值运算符会给出不同的结果？

Question

考虑以下代码：

class Converter {
    public static void main(String args[]) {
        byte num = 1;
        num = num * 2.5;
        System.out.println("Result is: " + num);
    }
}

编译器抛出以下错误：

error: incompatible types: possible lossy conversion from double to the byte at line 1

如果我更改main() 方法的第二行并使用*= 速记运算符：

class Converter {
    public static void main(String args[]) {
        byte num = 1;
        num *= 2.5;
        System.out.println("Result is: " + num);
    }
}

代码编译运行成功，输出如下：

Result is: 2

为什么*= 速记运算符与完整表达式num = num * 2.5 的行为不同？

Answer 1

从 JLS compound assigment operator 文档中，您可以看到以下示例：

例如下面的代码是正确的：

short x = 3;
x += 4.6;

并导致 x 的值为 7，因为它等同于：

short x = 3;
x = (short)(x + 4.6);

默认情况下它只是自动转换结果。

PS : 在这个other answer 我试图解释你需要使用 JLS 进行如下操作的原因

short x = 3;
x = x + 1; //Won't compile

它真的很新，所以我愿意接受那里的建议。

Answer 2

根据java语言规范"15.26.2. Compound Assignment Operators"。

E1 op= E2 形式的复合赋值表达式是等价的 到 E1 = (T)((E1) op (E2))，其中 T 是 E1 的类型，除了 E1 只评估一次。

您可以在编译后看到示例的字节码（检查instruction 3-10）。

   3: i2d //convert an int into a double
   4: ldc2_w          #2                  // double 2.5d
   7: dmul //multiply two doubles
   8: d2i //    convert a double to an int
   9: i2b //convert an int into a byte
  10: istore_1 //store int value into variable 1

Answer 3

正如 AxelH 已经说过的那样，它是 compound assignement，但我想强调一下：

E1 op= E2 形式的复合赋值表达式是等价的 到E1 = (T) ((E1) op (E2))，其中T是E1的类型，除了E1 只评估一次。

这意味着根据定义它正在转换结果。例如：

byte b = 1;
b *= 2.3;
System.out.println(b); // prints 2

来自您的评论：

所以我可以说速记运算符抑制有损转换 错误并简单地执行它的输入？

不，你不能。它没有抑制任何错误，因为在转换中没有错误（在这种情况下）。