int 、short 、byte 、char)之间,Java 虚拟机和字节代码这个层次上,只支持在 switch 语句中使用与整数类型兼容的类型。在1.7后switch实现字符串比较的功能。具体是如何做到的?实际上,Java虚拟机和字节码层次上只支持switch语句中使用与整数类型兼容的类型没有变,只是这个实现字符串比较的新特性是在编译器这个层次上实现的。实现的机制是:将字符串之间的比较转换为其哈希值的比较。
空口无凭,代码为证。
源代码:
package com.shc.test;
public class TestSwitch {
public void test(String status) {
switch (status) {
case "killed":
break;
case "alive":
break;
case "sacrificed":
break;
case "die":
break;
default:
break;
}
}
}
编译后的class字节码反编译后如下:
package com.shc.test;
public class TestSwitch
{
public void test(String status)
{
String str;
switch ((str = status).hashCode()) { case -1131353987:
case 99456:
if ((str.equals("killed")) || (goto 93) || (str.equals("die"))) break; break;
case 92903629:
case 1585581907:
if ((str.equals("alive")) || (goto 93) || (str.equals("sacrificed")))
break;
}
}
}
从反编译后的字节码文件中可以看出, 原来用在 switch 语句中的字符串被替换成了对应的哈希值,而 case 子句的值也被换成了原来字符串常量的哈希值。经过这样的转换,Java 虚拟机所看到的仍然是与整数类型兼容的类型。
细心地程序猿可能发现,既然是哈希值得比较了,为什么在 case 子句对应的语句块中仍然保留 String 的 equals 方法来进行字符串比较?这是因为哈希函数在映射的时候可能存在冲突,多个字符串的哈希值可能是一样的。进行字符串比较是为了保证转换之后的代码逻辑与之前完全一样。