a. 檔案格式驗證。比如驗證是否以magic number(magic number 用于标記一個檔案格式)0xCAFEBABY(java 的magic number格式)開頭，驗證主次版本是否在目前虛拟機處理範圍(允許執行低版本，不可執行超過目前版本的，比如jdk7虛拟機加載jdk8生成的位元組流)等等。
b. 中繼資料驗證。主要是對中繼資料進行語義分析，比如驗證是否有繼承父類（除了Objec類，其他類都應當有父類），驗證是否繼承了final繼承的類，重載方法是否符合規則，字段方法名是否沖突等等。
c. 位元組碼驗證。通過資料流和控制流分析整個程式的語義是否合法。比如是否直接将一個父類對象指派給一個子類資料類型，甚至是毫無相關的資料類型。比如保證跳轉指令不會跳轉到方法體以外的位元組碼指令上。
d. 符号引用驗證，這個驗證發生在解析階段将符号引用轉化為直接引用。（符号引用： 比如一個類a引用了類b，由于編譯期并不知道類b實際記憶體位址，是以通過類似全限定名的常量來标記引用了類b，這個常量即為符号引用，方法和字段的符号引用也同理）。此驗證内容包括驗證通過該全限定名是否可以找到對應的類，在引用類中是否存在目前引用的方法和字段，符号引用的類，字段，方法的通路性(public,private,protected,default)是否可以被目前類通路。
public class Test {
public static void main(String[] args) {
System.out.println(Test2.value);
}
}
class Test1{
public static int value =123;
static {
System.out.println("test1初始化了");
}
}
class Test2 extends Test1{
static {
System.out.println("test2初始化了");
}
}
java虛拟機類加載機制詳解
b.通過數組定義引用類，不會觸發此類的初始化
public class Test {
public static void main(String[] args) {
Test1[] test1 = new Test1[10];
}
}
class Test1{
public static int value =123;
static {
System.out.println("test1初始化了");
}
}
public class Test {
public static void main(String[] args) {
System.out.print(Test1.HELLO);
}
}
class Test1{
static final String HELLO = "hello";
static {
System.out.println("test1初始化了");
}
}
