最近看了关于java语言规范中关于final变量的介绍,一直很好奇为什么final定义的字段是jvm内部是如何处理的,今天写了一个测试类,看看用javac编译器编译出来的java class 字节码,以便连接final变量在jvm运行时候如何保证final变量的不变性。
java class定义如下
public class FinalVarClass {
public void test(){
final int a= 1 ;
int b=a;
System.out.println(a);
}
}
|
用javac 编译器进行编译(jdk版本1.6 ,操作系统 mac os x),用javap 进行字节码解析出来的结果如下
{
public FinalVarClass();
Code:
Stack= 1 , Locals= 1 , Args_size= 1
0 : aload_0
1 : invokespecial # 8 ; //Method java/lang/Object."<init>":()V
4 : return
LineNumberTable:
line 2 : 0
LocalVariableTable:
Start Length Slot Name Signature
0 5 0 this LFinalVarClass;
public void test();
Code:
Stack= 2 , Locals= 3 , Args_size= 1
0 : iconst_1
1 : istore_1
2 : iconst_1
3 : istore_2
4 : getstatic # 15 ; //Field java/lang/System.out:Ljava/io/PrintStream;
7 : iconst_1
8 : invokevirtual # 21 ; //Method java/io/PrintStream.println:(I)V
11 : return
LineNumberTable:
line 5 : 0
line 6 : 2
line 7 : 4
line 8 : 11
LocalVariableTable:
Start Length Slot Name Signature
0 12 0 this LFinalVarClass;
2 10 1 a I
4 8 2 b I
}
|
在code里面,首先对final变量a进行赋值为1,以后对a的处理,直接转化为对常量1的操作。javac编译器编译出来的字节码中把所有对a的访问,转化为对常量1的操作。在字节码这一层直接进行的转化。
思考:是不是可以通过修改字节码,人为的对a进行再次赋值
实际上java语言设计者已经考虑到这个问题了,所以jvm在加载class文件的时候,会有一个校验过程,专门有次校验的。
|