switch源码解析---jdk1.8
一、switch介绍
switch (表达式) {
case 常量表达式或枚举常量:
语句;
break;
case 常量表达式或枚举常量:
语句;
break;
......
default: 语句;
break;
}
switch 匹配的表达式可以是:
- byte、short、char、int类型以及这4种类型的包装类型;
- 枚举类型;
- String 类型;
case 匹配的表达式可以是:
- 常量表达式;
- 枚举常量;
注意:其实在底层中,swtich 只能支持4种基本类型,其他几个类型是通过一些方式来间接处理的。
二、源码解析
- 基本类型:正常执行
- 包装类型:
- Byte类型会自动拆箱成byte。---str.byteValue()
- Short类型会自动拆箱成short。---str.shortValue()
- Character类型会自动拆箱成char。---str.charValue()
- Integer类型会自动拆箱成int类型。---str.intValue()
- 当switch是枚举类型时:
源码:
反编译后JVM对代码进行了优化:
注意:java编译器检测到switch语句中变量是一个枚举类,则会利用之前枚举类的ordinal属性,编译一个局部变量数组,后续在进行case分支比较的时候,就是简单通过tableswitch或lookupswitch指令来进行跳转,需要注意的一点:这个局部变量数组的构建过程是在编译器在编译阶段完成的。
- 当switch是String类型时:底层将String类型的switch表达式,优化成了int类型和byte类型的表达式。
源码:
反编译后JVM对代码进行了优化:
三、switch和if...else...的区别
有的时候switch也可以用if-else用来代替, 但是其两者在效率上是有区别的
- 由于switch使用了Binary Tree(二叉树)算法, 而if-else顺序比较(每个条件都要计算一次), 除非if-else的第一个就是true, 大部分情况都是switch的效率要高于if-else.
- switch需要生成最大case常量+1跳转表(jump table, 跳转表是一个数组, 表项i是一个代码段的地址), 所以占用的代码空间要比if-else要大.
- 当case语句多于三个的时候(另一说是大于四个的时候), switch才会创建跳转表, 所以分支较少的情况下, if-else要优于switch.
- 当case后的常量无规律时, 会对case后的常量进行排序.