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