反编译的 Java 类产生不同的输出

Question

出于好奇，我刚刚使用 DJ Java Decompiler 以及 CAVAJ Java Decompiler 反编译了下面的代码 （Java版本是1.7） 这是正常的源代码：

---

    byte a = 10;
    a = (byte) (a +1);

    byte b = 10;
    b = b++;

    byte c = 10;
    c +=c;

    System.out.printf("a=%d \t b=%d \t c=%d\n",a,b,c);

显示输出为：a=11 b=10 c=20

---

---

这是反编译的：

    byte a = 10;
    a++;
    byte b = 10;
    b++;
    b = b;
    byte c = 10;
    c += c;
    System.out.printf("a= %d \t b = %d \t c = %d\n", new Object[] {
        Byte.valueOf(a), Byte.valueOf(b), Byte.valueOf(c)
    });

作为源代码输出为：a=11 b=11 c=20

---

更清楚地说，它与byte 无关，int 也发生了同样的事情，我什至在在线编译器 IDEONE 中检查了上述代码，并给出了与我相同的输出。

那么，是反编译器产生了错误的代码还是别的什么？？

Answer 1

我会给你一个简短的回答：是的，看起来，反编译器产生了错误的代码。 因为这个：

byte b = 10;
b = b++;

强烈预测行为（b 不会改变）。

UPD：此外，没有任何一个反编译器可以100% 保证生成的反编译代码的正确性。

UPD-2：您确定向我们提供您的代码的实际版本吗？因为这个：

byte aa = 10;
a = (byte) (a +1);

当然是一个错误。它甚至不会编译:)

UPD-3 好吧，我需要说，Jad 反编译器（用于 Intel 平台上的 Windows 9x/NT/2000 的 Jad 1.5.8g）产生相同的代码：

    byte b = 10;
    b++;
    b = b;

...

    java.lang.System.out.printf("a=%d \t b=%d \t c=%d\n", new java.lang.Object[] {...

但是这并不奇怪：Cavaj Java 反编译器使用 Jad 作为其 Java 反编译引擎。

结论：将此行为视为Jad 反编译器的功能/错误，这远非完美。

Answer 2

这与反编译器无关。当您使用 java 编译器编译代码时，在某些情况下，编译器会更改您的代码并将其优化为另一个不会更改结果的代码。你的代码是：

byte a = 10;
a = (byte) (a + 1);

在这种情况下，java 编译器知道不需要在字节和字节之间进行类型转换，因此，编译器会尝试删除您的类型转换，并且在此过程中，它会用它可以理解的最接近的代码替换您的代码.这是编译器的输出：

byte a = 10;
a++;

所以，这与反编译过程无关。 java 编译器会改变你的代码。