每个方法调用都会产生一个新的栈帧,每个java栈帧存储三部分内容:
1、局部变量区,主要是存储方法参数和方法内部声明局部变量。jvm编译成的class文件中,Code属性的max_locals指出一共有多少个局部变量。局部变量的详细信息都在code属性的local attribute table有列出。
2、操作数栈,压栈出栈就是操作的这个栈。一般情况下,这个栈的最大深度都不是很大,可以随便找个class文件看看code属性的max_stack的值。可能受到参数个数的影响,其它也不知道了。
3、帧数据区,主要是有到常量池的引用、帮助方法调用返回时恢复发起调用的栈帧、到异常表的引用。
局部变量区的变量,一般都是自己在代码里边声明的变量,但是有些情况下你会发现,max_locals的值却比local attribute table的表项多,莫非是jvm在编译class文件的时候自动生成的局部变量(不知道这样理解是否正确)?不过从class文件的操作指令看,的确是操作了local attribute table中不存在的变量。例如:
public static int testFinally() {
int i = 3;
try {
return i;
} finally {
i++;
}
}
生成的字节码:
// Stack: 1, Locals: 3
public static int testFinally();
0 iconst_3
1 istore_0 [i]
2 iload_0 [i]
3 istore_2 //存储到局部变量2
4 iinc 0 1 [i]
7 iload_2 //从局部变量2中装载
8 ireturn
9 astore_1 //存储到局部变量1
10 iinc 0 1 [i]
13 aload_1 //从局部变量1中装载
14 athrow
Exception Table:
[pc: 2, pc: 4] -> 9 when : any
Line numbers:...
Local variable table:
[pc: 2, pc: 15] local: i index: 0 type: int
Stack map table: number of frames 1
[pc: 9, full, stack: {java.lang.Throwable}, locals: {int}]
local variable table只有一项,但是字节码中却操作了三个局部变量