什么是Class文件检验器?
Class文件检验器保证装载的class文件内容有正确的内部结构,并且这些class文件相互间协调一致。如果class文件检验器在class文件中发现了问题,它将抛出异常。好的Java编译器不应该产生畸形的class文件,但是Java虚拟机并不知道某个特定的class文件是如何被创建的。因为class文件实质上是一个字节序列,所以虚拟机无法分辨特定的class文件是由正常的Java编译器产生的,还是黑客特制的(黑客可能威胁虚拟机的完整性)。
所以,所有的Java虚拟机的实现必须有一个class文件检验器,文件检验器可以调用class文件以确保这些定义的类型可以安全的使用。
执行流程
class文件检验器要进行四趟独立的扫描来完成它的操作。
第一趟扫描是在类被装载时进行的,在这次扫描中,class文件检验器检查这个class文件的内部结构,以保证它可以被安全地编译。
第二(数据类型的语义检查)和第三趟(字节码验证)是在连接过程中进行的,在这两次扫描中,class文件检验器确认类型数据遵从Java编程语言的定义,包括校验它所包含的所有字节码的完整性。
第四趟扫描是在进行动态连接的过程中解析符号引用时进行的,在这次扫描中,class文件检验器确认被引用的类、字段以及方法确实存在。
在解析时,虚拟机执行两个基本任务
1)查找被引用的类(如果有必要的话就装载它)。
2)将符号引用替换为直接引用(例如一个指向类、字段或方法的指针或偏移量)。
虚拟机必须记住这个直接引用,这样当它再次遇到相同的引用的,它就可以立即使用这个直接引用,而不必花时间再次解析这个符号。当这个引用是非法引用时—–例如,这个类不能被装载,或者这个类的确存在,但是不包含被引用的字段或方法—–Java虚拟机将抛出一个NoSuchMethodError。