引擎盖下Java开关是如何工作的？

Question

Java的switch语句是如何工作的？它如何将所使用变量的值与案例部分中给出的值进行比较？它是否使用==或。等于（），还是完全是其他原因？

我主要对1.7之前的版本感兴趣。

Answer 1

从这里复制的

在字节码中有两种形式的开关：表开关和lookupswitch。一种假设键集密集，另一种假设键集稀疏。请参阅JVM规范中编译开关的描述。对于枚举，找到序号，然后代码继续为int大小写。我不完全确定JDK7中提议的在String上切换的小功能将如何实现。

然而，大量使用的代码通常在任何合理的JVM中编译。乐观主义者并不完全愚蠢。不用担心，按照通常的启发式方法进行优化。

你可以在这里找到详细的答案

Answer 2

从这个答案中可以看出，Java开关（至少在1.7之前）并不总是编译成==或. equals（）。相反，它使用表查找。虽然这是一个非常小的微优化，但在进行大量比较时，表查找几乎总是更快。

请注意，这仅用于检查密集键的开关语句。例如，检查枚举值的所有可能性可能会产生这种主要实现（内部称为tablesitch）。

如果检查更稀疏的密钥集，JVM将使用另一种系统，称为查找开关（lookupswitch）。相反，它将简单地比较各种键和值，对每种可能性进行优化的比较。为了说明这两种方法，请考虑以下两个switch语句：

switch (value1) {
case 0:
    a();
    break;
case 1:
    b();
    break;
case 2:
    c();
    break;
case 3:
    d();
    break;
}

switch (value2) {
case 0:
    a();
    break;
case 35:
    b();
    break;
case 103:
    c();
    break;
case 1001:
    d();
    break;
}

第一个示例很可能使用表查找，而另一个示例（基本上）使用==比较。

Answer 3

也不它使用JVM指令lookupswitch，它本质上是一个表查找。查看以下示例的字节码：

public static void main(String... args) {
  switch (1) {
  case 1:
    break;
  case 2:
    break;
  }
}

public static void main(java.lang.String[]);
  Code:
   Stack=1, Locals=1, Args_size=1
   0:   iconst_1
   1:   lookupswitch{ //2
                1: 28;
                2: 31;
                default: 31 }
   28:  goto    31
   31:  return