JAVA-基础语法-类的生命周期-验证

验证

验证是否合法安全，验证是否引用正常。

疑问：由Java编译器生成的Java类的二进制数据肯定是正确的，为什么还要进行类的验证呢？

因为JVM不知道某个特定的class文件到底是如何创建的、从哪来的，这个class文件可能是由正常的Java编译器生成的，也有可能是恶意创建的（通过恶意class文件破坏JVM运行时环境），类的验证能提高程序的健壮性，确保程序被安全的执行。

类的验证主要包括以下内容：

类文件的结构检查：确保类文件遵从Java类文件的固定格式。

语义检查：确保类本身符合Java语言的语法规定（例如final类型的类没有子类，final类型的方法没有被覆写）。

字节码验证：确保字节码流可以被JVM安全的执行。字节码流代表Java方法（包括静态方法和实例方法），它是由被称作操作码的单元字节指令组成的序列，每一个操作码后都跟着一个或多个操作数。字节码验证步骤会检查每个操作码是否合法，即是否有着合法的操作数。

二进制兼容的检查：确保相互引用的类之间协调一致。例如在A类的的a方法中调用B类的b方法。JVM在验证A类时，会检查在方法区是否存在B类的b方法，如果不存在（当A类和B类的版本不兼容，就会出现这种问题），就会抛出NoSuchMethodError错误。