17370845950

Java中switch编译后生成tableswitch或lookupswitch字节码：tableswitch适用于密集连续case值，时间复杂度O(1)但空间开销大；lookupswitch适用于稀疏分散case值，时间复杂度O(log n)但内存占用小。

Java中switch语句在编译后不会直接保留为高级语法，而是根据case值的分布特征，由javac编译器自动选择生成tableswitch或lookupswitch字节码指令——二者都是JVM为高效跳转设计的分支指令，但适用场景和性能表现不同。

tableswitch：适用于“密集连续”的case值

当switch的case常量是相对紧凑、跨度小且基本连续（比如0,1,2,3,5,6，中间最多缺少数个）时，javac倾向于生成tableswitch。它底层用一个“跳转表”实现：JVM先检查switch表达式的值是否落在[low, high]范围内，若在，就直接以该值为索引查表获取对应branch offset；若超出，则跳转到default分支。

• 生成条件示例：switch(n) { case 0: ... case 1: ... case 2: ... case 10: ... }（共11个case，最大最小差为10）大概率触发tableswitch
• 优点：O(1)时间复杂度，查表即跳，非常快
• 缺点：空间换时间——即使只用了0和10两个case，只要low=0、high=10，就会分配11个slot（含default），稀疏时浪费空间

lookupswitch：适用于“稀疏分散”的case值

当case值跨度大、不连续、数量不多（如case 100、case 1000、case 99999），javac会生成lookupswitch。它内部维护一个已排序的键值对列表（key=case值，value=branch offset），执行时JVM对该列表做二分查找，找到匹配key后跳转。

• 生成条件示例：switch(x) { case 1: ... case 100: ... case 10000: ... } 编译后几乎必为lookupswitch
• 优点：内存占用低，只存实际出现的case数+1（+default）个条目
• 缺点：O(log n)时间复杂度，比tableswitch略慢，但n很小时差异可忽略

如何验证生成的是哪种指令？

用javap -c反编译class文件即可直观看到：

• 出现tableswitch关键字，后面跟着low、high及一串offset列表 → tableswitch
• 出现lookupswitch关键字，后面是npairs（键值对数量）及成对的match: offset → lookupswitch
• 注意：Java 7+支持String switch，其底层其实是先调用String.hashCode()再套一层switch，最终仍落在这两种指令之一；枚举switch同理，本质是转为ordinal()后再分支

能手动干预选哪种吗？

不能。javac完全自主决策，开发者无法用语法或注解指定。但可通过调整case分布“引导”编译器倾向某一种：

• 想争取tableswitch？尽量让case值靠近、避免大空洞（比如把case 1000改成case 10）
• 想确保lookupswitch？故意拉开case间距（如+1000递增），或减少case总数（＜约10～15个时，即使连续，javac有时也选lookupswitch以节省空间）
• 不过，现代JVM（HotSpot）对二者都有良好优化，日常开发无需为此微调逻辑，可读性和正确性优先

基本上就这些。理解tableswitch与lookupswitch的区别，有助于读懂字节码、分析分支性能，也能在做底层优化或写编译器相关工具时少走弯路。