本文部分摘自《深入理解 Java 虛擬機第三版》
概述
我們知道，Java 具有跨平臺性，其實現基礎就是虛擬機和字節碼存儲格式。Java 虛擬機不與 Java 語言綁定，只與 Class 文件所關聯。Java 虛擬機作爲一個通用的、與機器無關的執行平臺，任何語言都可以將 Java 虛擬機作爲它們的運行基礎，以 Class 文件作爲它們產品的交付媒介。
Class 文件是一組以 8 個字節爲基礎單位的二進制流，各個數據項目嚴格按照順序緊湊地排列在文件之中，中間沒有添加任何分隔符，這使得整個 Class 文件中存儲的內容幾乎全部是程序運行的必要數據。當遇到需佔用 8 個字節以上空間的數據項時，則會按照高位在前的方式分割成若干個 8 個字節進行存儲。
Class 文件中有兩種數據類型，分別是無符合數和表：
- 無符號數屬於基本數據類型，以 u1、u2、u4、u8 來分別代表 1 個字節、2 個字節、4 個字節和 8 個字節的無符號數，無符號數可以用來描述數字、索引引用、數量值或 UTF-8 編碼構成字符串值
- 表是由多個無符號數或其他表作爲數據項構成的複合數據類型，一般以 _info 結尾。表用於描述有層次關係的複合結構的數據，整個 Class 文件本質上也可以視作是一張表
無論是無符號數還是表，當需要描述同一類型但數量不定的多個數據時，經常會使用一個前置的容量計數器加若干個連續的數據項的形式，這時候稱這一系列連續的某一類型的數據爲某一類型的集合。
下面是 Class 文件格式：
| 類型 | 名稱 | 數量 |
| u4 | magic | 1 |
| u2 | minor_version | 1 |
| u2 | major_version | 1 |
| u2 | constant_pool_count | 1 |
| cp_info | constant_pool | constant_pool_count - 1 |
| u2 | access_flags | 1 |
| u2 | this_class | 1 |
| u2 | super_class | 1 |
| u2 | interfaces_count | 1 |
| u2 | interfaces | interfaces_count |
| u2 | fields_count | 1 |
| field_info | fields | fields_count |
| u2 | methods_count | 1 |
| method_info | methods | methods_count |
| u2 | attribute_count | 1 |
| attribute_info | attributes | attributes_count |
魔數和 Class 文件版本
Class 文件的頭 4 個字節被稱爲魔數（Magic Number），它的唯一作用是確定該 Class 文件是否能被虛擬機接受，其值爲 0xCAFEBABE（咖啡寶貝）。
緊接着魔數的 4 個字節存儲的是 Class 文件的版本號：第 5 和第 6 個字節是次版本號（Minor Version），第 7 和第 8 個字節是主版本號（Major Version）。Java 版本號從 45 開始，以後每個 JDK 大版本發佈則主版本號加 1。高版本的 JDK 能向下兼容以前版本的 Class 文件，但不能運行以後版本的 Class 文件。
常量池
緊接着主、次版本號的是常量池入口，常量池入口需要放置一項 u2 類型的數據，代表常量池容量計數值（constant_pool_count），這個容量計數是從 1 而不是從 0 開始，第 0 項用於表達“不引用任何一個常量池項目”的含義。Class 文件結構中只有常量池的容量計數是從 1 開始，其他都是從 0 開始。
常量池中主要存放兩大類常量：字面量和符號引用。字面量比較接近 Java 語言層面的常量概念，如文本字符串、被聲明爲 final 的常量值等。而符號引用則屬於編譯原理方面的概念，主要包括下面幾類常量：
- 被模塊導出或開放的包（Package）
- 類和接口的全限定名（Fully Qualified Name）
- 字段的名稱和描述符（Descriptor）
- 方法的名稱和描述符
- 方法句柄和方法類型（Method Handle、Method Type、Invoke Dynamic）
- 動態調用點和動態常量（Dynamically-Computed Call Site、Dynamically-Computed Constant）
Java 會在虛擬機加載 Class 文件的時候進行動態連接，將符號引用轉換爲真正的內存入口。常量池中每一項常量都是一個表，最初有 11 種結構不同的表結構數據，後來爲了更好地支持動態語言調用，額外增加了 4 種動態語言相關的常量，後來爲了支持 Java 模塊化，又加入了 2 個常量，所以截止 JDK13，常量表中有 17 種不同類型的常量。這 17 類表都有一個共同的特點，表結構起始的第一位是個 u1 類型的標誌位（tag）
17 種常量類型所代表的具體含義如表：
| 類型 | 標誌 | 描述 |
| CONSTANT_Utf8_info | 1 | UTF-8 編碼的字符串 |
| CONSTANT_Integer_info | 3 | 整型字面量 |
| CONSTANT_Float_info | 4 | 浮點型字面量 |
| CONSTANT_Long_info | 5 | 長整型型字面量 |
| CONSTANT_Double_info | 6 | 雙精度浮點型字面量 |
| CONSTANT_Class_info | 7 | 類或接口的符號引用 |
| CONSTANT_String_info | 8 | 字符串類型字面量 |
| CONSTANT_Fieldref_info | 9 | 字段的符號引用 |
| CONSTANT_Methodref_info | 10 | 類中方法的符號引用 |
| CONSTANT_InterfaceMethodref_info | 11 | 接口中方法的符號引用 |
| CONSTANT_NameAndType_info | 12 | 字段或方法的部分符號引用 |
| CONSTANT_MethodHandle_info | 15 | 表示方法句柄 |
| CONSTANT_MethodType_info | 16 | 表示方法類型 |
| CONSTANT_Dynamic_info | 17 | 表示一個動態計算常量 |
| CONSTANT_InvokeDynamic_info | 18 | 表示一個動態方法調用點 |
| CONSTANT_Moudle_info | 19 | 表示一個模塊 |
| CONSTANT_Package_info | 20 | 表示一個模塊中開放或者導出的包 |
訪問標誌
常量池結束之後，緊接着的 2 個字節代表訪問標誌（access_flags），這個標誌用於標識一些類或者接口層次的訪問信息，包括這個 Class 是類還是接口；是否定義爲 public 類型；是否定義爲 abstract 類型；如果是類的話，是否被聲明爲 final 等等。具體的標誌位以及標誌的含義如表：
| 標誌名稱 | 標誌值 | 含義 |
| ACC_PUBLIC | 0x0001 | 是否爲 Public 類型 |
| ACC_FINAL | 0x0010 | 是否被聲明爲 final，只有類可以設置 |
| ACC_SUPER | 0x0020 | 是否允許使用 invokespecial 字節碼指令的新語義 |
| ACC_INTERFACE | 0x0200 | 標誌這是一個接口 |
| ACC_ABSTRACT | 0x0400 | 是否爲 abstract 類型，對於接口或者抽象類來說，次標誌值爲真，其他類型爲假 |
| ACC_SYNTHETIC | 0x1000 | 標誌這個類並非由用戶代碼產生 |
| ACC_ANNOTATION | 0x2000 | 標誌這是一個註解 |
| ACC_ENUM | 0x4000 | 標誌這是一個枚舉 |
access_flags 中一共有 16 個標誌位可以使用，當前只定義了其中 9 個，沒有使用到的標誌位要求一律爲零。
類索引、父類索引與接口索引集合
類索引（this_class）、父類索引（super_class）和接口索引（interfaces）都按順序排列在訪問標誌之後，類索引和父類索引用兩個 u2 類型的索引值表示，而接口索引是一組 u2 類型的數據的集合。
類索引用於確定該類的全限定名，父類索引確定該類的父類的全限定名，由於 Java 不允許多繼承，因此父類索引只有一個，Object 類的父類索引爲 0。類索引和父類索引各自指向一個 CONSTANT_Class_info 的類描述符常量，通過這個索引值可以找到定義在 CONSTANT_Utf8_info 類型的常量中的全限定名字符串。
對於接口索引集合，入口的第一項 u2 類型的數據爲接口計數器（interfaces_count），表示索引表的容量，如果該類沒有實現任何接口，則該計數器的值爲 0，後面接口的索引表不再佔用任何字節。
字段表集合方法表集合
字段表集合（field_info）用於描述接口或類中聲明的變量，包括類級變量以及實例級變量，但不包括在方法內部聲明的局部變量。字段包含待信息有字段的作用域（public、private、protected）、是實例變量還是類變量（static）、可變性（final）等等。這些信息要麼有，要麼沒有，很適合用標誌位來表示，而字段叫什麼，被定義爲什麼數據類型，這些都無法固定，只能用常量池中的常量來描述。
字段表結構如下：
| 類型 | 名稱 | 數量 |
|---|---|---|
| u2 | access_flags | 1 |
| u2 | name_index | 1 |
| u2 | descriptor_index | 1 |
| u2 | attributes_count | 1 |
| attribute_info | attributes | attributes_count |
access_flags 用來標識字段修飾符（public、static、final、volatile ...），name_index 和 descriptor_index 都是對常量池的引用，分別代表字段的簡單名稱以及字段和方法的描述符。之後的是屬性表集合，用於存儲一些額外信息。
字段表集合不會列出從父類或父接口繼承而來的字段，但有可能出現原本 Java 代碼中沒有的字段，例如內部類爲了保持對外部類的訪問性，編譯器會自動添加指向外部類實例的字段。
方法表集合與字段表集合幾乎完全一致，僅在標誌和屬性表集合的可選項中有所區別。至於方法裏面的代碼，則經編譯後存放在方法屬性表集合中一個名爲 Code 的屬性裏面。