为什么不同的 Java 反编译器显示不同的源代码？

Question

我试图通过反编译 .class 文件来了解 Java 编译器的工作原理。我使用了 Java 反编译器 (http://jd.benow.ca/) 和 showmycode (http://www.showmycode.com/) 他们在 .java 文件中向我展示了不同的源代码。 为什么？我应该相信哪个。

.java 文件

class HelloWorld{
    public static void main(String[] args){
        System.out.println("Hello, World!");
    }
}

java反编译器反编译的.class文件：

import java.io.PrintStream;

class HelloWorld
{
  public static void main(String[] paramArrayOfString)
  {
    System.out.println("Hello, World!");
  }
}

由showmycode反编译的.class文件

import java.io.PrintStream;
class HelloWorld {
   HelloWorld() {
   } 
   public static void main(string args[]) 
   {
       system.out.println("Hello, World!"); 
   }
}

Answer 1

反编译器不能重新创建原始源代码，它只能创建一个新的源代码，它将编译成与原始源代码相同的二进制文件。

（假设 showmycode 将修复他们的案例问题，见下文）三个源代码 - 原始的，由 java decompiler 创建的和由showmycode 是 幂等的。它们以不同的方式编写，但做完全相同的事情。两个反编译器都是对的。

以下是不同之处的解释：

• 存在/不存在构造函数：每个类都有一个构造函数。如果程序员不提供构造函数，编译器将生成一个。智能反编译器会识别这一点，并假设它是生成的 empty 构造函数，因此从反编译的源代码中将其省略。
• 数组[] 的位置：String[] foo 和String foo[] 的声明是相同的。我建议总是选择String[] foo，因为在 Java（与 C 相对）中，数组是类型的属性，而不是变量。
• {} 的格式/位置、缩进等：大部分都无关紧要。调试信息（堆栈跟踪的行号）可能有点重要，但这不是代码的重要行为的一部分，这是我们感兴趣的。
• 自动变量（包括参数变量的局部变量）的名称在二进制文件中不可用，因此反编译器必须在反编译时发明新名称。

请注意，showmycode 似乎存在类型名称大小写的问题。 Java 区分大小写，必须是System 和String，而不是system 和string。似乎 showmycode 弄错了，这意味着除非您手动修复所有这些类型名称，否则无法再次编译代码。

showmycode 的另一个问题是它如何处理可变参数方法。我将 main 的签名更改为public static void main(String... args) 以查看我得到了什么，我得到了public static transient void main(string args[])，它无法编译。如今，反编译器被期望生成正确的、可编译的源代码，而 showmycode 却没有。

Answer 2

因为有几种不同的方法可以编写大多数语句，所有这些都归结为相同的目标代码。通常没有单一正确的反编译。