JDK 1.7新特性switch 支持string 表达式的原理

在jdk1.7中switch语句可以支持String类型的参数，实际上，这个新特性是在编译器这个层次上实现的。而在 Java 虚拟机和字节代码这个层次上，还是只支持在 switch 语句中使用与整数类型兼容的类型。这么做的目的是为了减少这个特性所影响的范围，以降低实现的代价。在编译器层次实现的含义是，虽然开发人员在 Java 源代码的 switch 语句中使用了字符串类型，但是在编译的过程中，编译器会根据源代码的含义来进行转换，将字符串类型转换成与整数类型兼容的格式。不同的 Java 编译器可能采用不同的方式来完成这个转换，并采用不同的优化策略。

       写一个如下的Test类，源码如下：

Java代码  

1. public class Test {  
2.   
3.     public void test(String type) {  
4.         switch (type) {  
5.         case "情况A":  
6.             break;  
7.         case "情况B":  
8.             break;  
9.         default:  
10.             break;  
11.         }  
12.     }  
13. }  

          编译成class文件之后，再通过反编译工具得到如下代码：

Java代码  

1. public class Test {  
2.     public void test(String paramString) {  
3.         String str = paramString;  
4.         int i = -1;  
5.         switch (str.hashCode()) {  
6.         case 24455345:  
7.             if (!str.equals("情况A"))  
8.                 break;  
9.             i = 0;  
10.             break;  
11.         case 24455346:  
12.             if (!str.equals("情况B"))  
13.                 break;  
14.             i = 1;  
15.         }  
16.         switch (i) {  
17.         case 0:  
18.             break;  
19.         case 1:  
20.             break;  
21.         }  
22.     }  
23. }  

          从上面的代码中可以看出，原来用在 switch 语句中的字符串被替换成了对应的哈希值，而 case 子句的值也被换成了原来字符串常量的哈希值。经过这样的转换，Java 虚拟机所看到的仍然是与整数类型兼容的类型。在这里值得注意的是，在 case 子句对应的语句块中仍然需要使用 String 的 equals 方法来进行字符串比较。这是因为哈希函数在映射的时候可能存在冲突，多个字符串的哈希值可能是一样的。进行字符串比较是为了保证转换之后的代码逻辑与之前完全一样。