栈帧是虚拟机栈中的基本单位,一个栈帧对应一个方法,比如上边,methodA执行,出现一个栈帧,接着methodA中调用了methodB, 压入了另一个栈帧,栈顶的栈帧表示当前方法。方法B执行完以后就弹出栈,那么方法A就成了当前方法。 栈只存在OOM,不存在GC
开发中遇到哪些异常 演示栈溢出
方法和栈帧是一对一关系:方法执行,那么对应栈帧入栈,方法执行结束对应栈帧出栈
抛出异常指的是没有处理的异常, 如果是在程序中进行了 try catch,那么这算是正常返回, 例子:方法1存在异常但是没处理,方法一抛给main main如果也不处理,这时就导致抛出异常结束,结束在了方法一的执行,后边语句不再执行。
通过javap -v **.class 发现,如果返回值是double,那么使用dreturn 返回值是int,使用ireturn 没有返回值,使用的是return 所以,没有返回值可以省略不写return,但是指令的方法最后是有一个return的操作来结束方法的
栈帧内部包含5部分结构,主要关心的就是局部变量表和操作数栈。
局部变量表存的就是方法参数列表,局部变量表,返回值的信息 局部变量表示线程安全的,因为是线程私有
如果是没有解析的.class文件,那么就是下边的样子,通过Binary Viewer打开的样子 查看最大局部变量表,也就是说所有的方法,在编译阶段时局部变量表的长度就已经确定了,运行时不会改变 Code length表示指令的长度(个数) 栈帧中主要影响大小的就是局部变量表
解读字节码中的方法 通过jclasslib打开class文件,比如main方法,V表示void,L开头表示这个是引用类型 Access flags表示访问表示符 Start PC 表示字节码指令的行号,Line Number表示java文件中对应的代码行号 这个是局部变量表,Start PC是字节码行号,和Length合起来表示局部变量的作用范围,比如args从第0行开始,作用范围16行
注意一点:如果栈帧有构造方法或实例方法创建,那么对象引用this,会放到index为0的slot处,其余参数按照参数表顺序排列 这就可以很好解释:为什么static修饰的方法不能使用this关键字。 浅层:static修饰的方法属于类,this代表对象实例 深层:static方法创建的栈帧,根本不存在this变量,即this变量不存在与当前方法的局部变量表中
实例证明 当然,如果返回值没有使用变量保存,那么也就不会分配变量 double类型要占据两个slot slot的重复利用
如上图案例,变量b的作用范围只在代码块中,出了代码块b变量的slot就给了c变量来重复利用,节约资源 所以因为重复利用,导致局部变量表长度为3:this a c
变量按照类中声明位置分为:成员变量和局部变量 成员变量分为类变量和实例变量。类变量就是static修饰的变量,在类加载的linking的准备阶段进行默认赋值,然后在初始化阶段进行显式赋值以及静态代码块赋值。 实例变量随着对象的创建,会在堆空间中分配实例变量空间,进行默认赋值。 总之,成员变量都是有默认赋值的
但是局部变量必须在使用前显式赋值,否则编译不通过!!
JVM调优跟栈帧中的局部变量表有重要关系