Java 7 String switch 反编译：意外指令

Question

我反编译了一个非常简单的类，它使用新的 Java 7 String Switch 功能。

类：

public class StringSwitch {

    public static void main(String[] args) {

        final String color = "red";
        switch (color) {
            case "red":
                System.out.println("IS RED!");
                break;
            case "black":
                System.out.println("IS BLACK");
                break;
            case "blue":
                System.out.println("IS BLUE");
                break;
            case "green":
                System.out.println("IS GREEN");
                break;
        }

    }

}

针对此类运行 Java 7“javap”，生成一组有趣的指令（完整的反汇编代码可在 这里）：

public static void main(java.lang.String[]);
    flags: ACC_PUBLIC, ACC_STATIC

    Code:
      stack=2, locals=4, args_size=1
        ...
        12: lookupswitch  { // 4

                  112785: 56

                 3027034: 84

                93818879: 70

                98619139: 98
                 default: 109
            }
        56: aload_2       
        57: ldc           #2                  // String red
        ...       
       110: tableswitch   { // 0 to 3

                       0: 140

                       1: 151

                       2: 162

                       3: 173
                 default: 181
            }
       140: getstatic     #8                  // Field java/lang/System.out:Ljava/io/PrintStream;
       143: ldc           #9                  // String IS RED!
       ...
       181: return

“LOOKUPSWITCH”是switch case稀疏时使用的指令，可以替代TABLESWITCH，即“switch”语句的默认指令。

那么，问题是，为什么我们会看到“LOOKUPSWITCH”后面跟着“TABLESWITCH”？

谢谢 卢西亚诺

Answer 1

使用 switch 中的字符串查找正确的 case 语句需要两步过程。

1. 计算 switch 字符串的哈希码并在 case 语句中查找“哈希码匹配”，这是通过 LOOKUPSWITCH 完成的。注意 LOOKUPSWITCH 下的大整数，这些是 case 语句中字符串的哈希码。
2. 现在，两个字符串可以具有相同的哈希码，尽管可能性不大。因此，实际的字符串比较仍然必须进行。因此，一旦哈希码匹配，就会将 switch 字符串与匹配的 case 语句中的字符串进行比较。 LOOKUPSWITCH 和 TABLESWITCH 之间的指令正是执行此操作。一旦确认匹配，就会通过 TABLESWITCH 到达匹配的 case 语句要执行的代码。

另请注意，指定您使用的编译器很有用 - javac 或 ECJ（Java 的 Eclipse 编译器）。两种编译器生成的字节码可能不同。