关于java中final变量的小问题

最近看了关于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文件的时候,会有一个校验过程,专门有次校验的。