。

然而#xff0c;有一个令人困惑的现象就是#xff0c;当…

揭秘Java

开发中我们经常使用switch语句来进行条件判断和分支选择。

然而有一个令人困惑的现象就是当某个case语句没有加上break关键字时程序会继续执行下一个case语句这被称为case穿透现象。

本文将揭秘case穿透现象的原因并解释为何会出现这种行为。

switch

在开始揭秘case穿透现象之前我们先简单回顾一下switch语句的基本用法。

switch语句用于根据变量的不同取值执行相应的代码块。

其语法结构如下

switch

表达式后面的数据类型只支持byte、short、int整形类型、字符类型char、枚举类型和java.lang.String类型。

根据expression的值程序会跳转到对应的case语句进行匹配并执行相应的代码块直到遇到break关键字或者到达switch语句的结尾。

如果某个case语句没有break程序会继续执行下一个case语句这就是case穿透现象。

public

com.atu.algorithm.aTest.Test();Code:0:

aload_01:

main(java.lang.String[]);Code:0:

iconst_01:

java/lang/System.out:Ljava/io/PrintStream;31:

ldc

java/io/PrintStream.println:(Ljava/lang/String;)V36:

getstatic

java/lang/System.out:Ljava/io/PrintStream;39:

ldc

java/io/PrintStream.println:(Ljava/lang/String;)V44:

getstatic

java/lang/System.out:Ljava/io/PrintStream;47:

ldc

java/io/PrintStream.println:(Ljava/lang/String;)V52:

10:

在main方法中通过tableswitch指令实现了一个switch语句。

switch语句会根据值进行跳转并执行对应的代码块。

当switch的表达式的值为0时程序会跳转到标签为28的位置然后继续执行28标签处的代码块。

为1时跳转到标号36代码处为2时跳转到标号44代码处default则跳转到标号52代码处。

0匹配了之后直接跳转到标号28代码处开始执行输出0然后策马奔腾一路下坡顺序执行完后面所有代码直到标号52

0匹配之后跳到28执行完28、31、32输出0之后就应该直接跳走直接执行49。

那么这个【跳走】用字节码应该怎么表示

0:System.out.println(0);break;case

1:System.out.println(1);break;case

2:System.out.println(2);break;}System.out.println(Hello

World);}

com.atu.algorithm.aTest.Test();

Code:

main(java.lang.String[]);Code:0:

iconst_01:

java/lang/System.out:Ljava/io/PrintStream;31:

ldc

java/io/PrintStream.println:(Ljava/lang/String;)V36:

goto

java/lang/System.out:Ljava/io/PrintStream;42:

ldc

java/io/PrintStream.println:(Ljava/lang/String;)V47:

goto

java/lang/System.out:Ljava/io/PrintStream;53:

ldc

java/io/PrintStream.println:(Ljava/lang/String;)V58:

getstatic

java/lang/System.out:Ljava/io/PrintStream;61:

ldc

java/io/PrintStream.println:(Ljava/lang/String;)V66:

10:

}如图与第一次的字节码相比在标号36、47都有了goto指令。

如果case

0匹配成功则跳到标号28执行执行完代码块对应的31、33指令之后执行36的goto指令跳转到标号58这样就跳出了switch作用范围case

在Java字节码中goto指令用于无条件跳转到指定的目标代码块。

它可以实现程序的跳转和循环控制。

等等怎么少了一个goto在标号58的上方应该还有一个goto才对

其实这就涉及到了编译器优化技术最后一个goto也是跳转到标号58的指令但没有goto下一步也一样顺序执行此行指令所以这个goto被编译器视为无用代码进行了消除。

public

{System.out.println(2);}System.out.println(Hello

World);}

com.atu.algorithm.aTest.Test();Code:0:

aload_01:

main(java.lang.String[]);Code:0:

iconst_01:

java/lang/System.out:Ljava/io/PrintStream;9:

iconst_010:

java/io/PrintStream.println:(I)V13:

goto

java/lang/System.out:Ljava/io/PrintStream;24:

iconst_125:

java/io/PrintStream.println:(I)V28:

goto

java/lang/System.out:Ljava/io/PrintStream;39:

iconst_240:

java/io/PrintStream.println:(I)V43:

getstatic

java/lang/System.out:Ljava/io/PrintStream;46:

ldc

java/io/PrintStream.println:(Ljava/lang/String;)V51:

return

}「ifne」和「if_icmpne」是Java字节码指令中的两个条件分支指令用于在程序执行过程中进行条件判断并跳转到相应的代码块。

它们的区别在于操作数类型和比较方式。

ifne操作数类型为int功能是当栈顶元素不等于零时跳转到指定的代码块。

if_icmpne操作数类型为int当两个int类型的数值不相等时跳转到指定的代码块。

if条件和代码块的字节码是顺序的switch条件和代码块是分开的if自动生成goto指令switch只有加了break才生成goto指令。

case穿透现象指在switch语句中当某个case语句没有break程序会继续执行下一个case语句。

case中的break作用是告诉前端编译器「给每个case对应代码块的最后加上goto」。

这样执行完匹配上的代码之后就可以略过后面的case代码块了。

switch都支持哪些类型呢

基本数据类型byte,