注：本文主要參考自《深入理解java虛擬機器（第二版）》

1、javap的使用與類檔案結構

使用過程：

java原始碼：

 1 package compile;
 2 /**
 3  * class位元組碼
 4  */
 5 public class TestClass {
 6     private int m;
 7     
 8     public int inc() {
 9         return m + 1;
10     }
11 }

在硬碟上找到java原始檔所在目錄（eg.E:\Java\workspaceOfMyBatis3\baseUtil\src\compile）

開啟命令視窗，執行"javac -g TestClass.java"生成TestClass.class位元組碼檔案，然後使用"javap -c TestClass > TCC.txt"將位元組碼檔案的處理結果輸出到TCC.txt中。

開啟TCC.txt，如下：

Compiled from "TestClass.java"
public class compile.TestClass extends java.lang.Object{
    public compile.TestClass();
      Code:
       0:    aload_0
       
 
1:    invokespecial    #1; //Method java/lang/Object."<init>":()V
       4:    return

    public int inc();
      Code:
       0:    aload_0
       1:    getfield    #2; //Field m:I
       4:    iconst_1
       5:    iadd
       6:    ireturn
}

說明：

• javac -g TestClass.java
  • -g：生成所有的除錯資訊，包括區域性變數名
    和行號資訊。
• javap -c TestClass > TCC.txt，對於javap常用的引數：
  • -c：輸出位元組碼Code
  • -l(小寫L)：輸出Code、LineNumberTable與LocalVariableTable
  • -s：輸出方法簽名（方法的接收引數列表和返回值）
  • -verbose：包含-c、-l以及輸出class檔案的編譯版本，常量池，Stack, Locals, Args_size
• 對於javap而言，常用的就是-c或-verbose　　

這裡列出使用"javap -verbose TestClass > TCV.txt的結果：

Compiled from "TestClass.java"
public class compile.TestClass extends java.lang.Object
  SourceFile: "TestClass.java" /* 原始檔名稱 */
  minor version: 0        /* 次版本號 */
  major version: 50        /* 主版本號，50-->jdk6 */
  Constant pool:        /* 常量池：存放所有的方法名、field名、方法簽名（方法引數+返回值）、型別名、class檔案中的常量值 */
    const #1 = Method    #4.#18;    //  java/lang/Object."<init>":()V
    const #2 = Field    #3.#19;    //  compile/TestClass.m:I
    const #3 = class    #20;    //  compile/TestClass    
    const #4 = class    #21;    //  java/lang/Object    
    const #5 = Asciz    m;                                /*field名*/
    const #6 = Asciz    I;                                /*型別名*/
    const #7 = Asciz    <init>;                            /*方法名（構造器）*/
    const #8 = Asciz    ()V;                             /*方法簽名（方法引數+返回值）*/
    const #9 = Asciz    Code;
    const #10 = Asciz    LineNumberTable;                /*class檔案中的常量值:Java原始碼的行號與位元組碼指令對應關係*/
    const #11 = Asciz    LocalVariableTable;                /*class檔案中的常量值:區域性變量表*/
    const #12 = Asciz    this;
    const #13 = Asciz    Lcompile/TestClass;;            /*當前類的型別"Lxxx;"表示xxx引用型別*/
    const #14 = Asciz    inc;                            /*方法名*/
    const #15 = Asciz    ()I;                            /*方法簽名（方法引數+返回值）*/
    const #16 = Asciz    SourceFile;                        /*class檔案中的常量值:原始檔名稱*/
    const #17 = Asciz    TestClass.java;                    /*class檔案中的常量值:原始檔名稱*/
    const #18 = NameAndType    #7:#8;//  "<init>":()V
    const #19 = NameAndType    #5:#6;//  m:I
    const #20 = Asciz    compile/TestClass;                /*型別名*/
    const #21 = Asciz    java/lang/Object;                /*型別名*/

{
    public compile.TestClass();
      Code:    /* 方法位元組碼 */
       /* Stack:運算元棧的深度（這個值就是類載入階段為運算元棧分配的深度）
        * Locals:區域性變數的分配空間（單位是slot，不是個數），對於double和long這兩個64bit的，需要兩個slot，對於其他<=32bit的，只需要一個slot
        * Args_size:方法引數的個數，包括方法引數、this（this只針對例項方法，static方法不會自動新增this）
        */
       Stack=1, Locals=1, Args_size=1 
       0:    aload_0    /*將第0個Slot中的引用型別的本地變數推到運算元棧頂，這裡就是LocalVariableTable的this*/
       1:    invokespecial    #1; //Method java/lang/Object."<init>":()V  /* invokespecial #1：呼叫#1常量代表的方法，這裡就是super(),當前棧頂的元素作為該方法#1的接收者 */
       4:    return    /*返回該方法，該方法的返回值為Void，執行了return指令，方法結束*/
       
      LineNumberTable: /* Java原始碼的行號與位元組碼指令對應關係 */
       line 5: 0

      LocalVariableTable: /* 區域性變量表 */
       Start  Length  Slot  Name   Signature
       0      5      0    this       Lcompile/TestClass;


    public int inc();
      Code:
       Stack=2, Locals=1, Args_size=1
       0:    aload_0                            /*將第0個Slot中的引用型別的本地變數推到運算元棧頂，這裡就是LocalVariableTable的this*/
       1:    getfield    #2; //Field m:I        /*getfield #2:獲取常量表中定義的#2例項（即例項m）,然後將m推到運算元棧頂*/
       4:    iconst_1                        /*向棧頂壓入一個int常量1*/
       5:    iadd                            /*將棧頂的兩個元素相加（這裡是1和m），然後將結果壓入棧頂*/
       6:    ireturn                            /*從當前方法返回棧頂的int型數值結果*/
      LineNumberTable: 
       line 9: 0

      LocalVariableTable: 
       Start  Length  Slot  Name   Signature
       0      7      0    this       Lcompile/TestClass;
}

說明：

• 上述檔案中/*xxx*/這樣的註釋是我新增的，//這樣的註釋是javap自己生成的
• 需要知道的是，上述的檔案並非是生成的*.class檔案，*.class檔案的內容是一串接近於機器碼的十六進位制字元，開頭是一個魔數"0xCAFEBABE"，該魔數是確定一個檔案是否是class檔案的標準。之後就是class編譯版本（minor version，major version），然後下邊的順序與TCV.txt的順序一樣了。
• 在TCV.txt檔案中，多了一個無參構造器方法，該無參構造器呼叫的是TestClass的父類Object的無參構造器（即執行了super()方法），這個無參構造器是在javac變異的第三步"語義分析"的時候新增的，具體的檢視第二章 Javac編譯原理 

注意：

• 常量池的存放內容
  • 存放所有的方法名
  • field名
  • 方法簽名（方法引數+返回值）
  • 型別名
  • class檔案中的常量值
• 常量池的前四部分可以稱作是符號引用（即只有一些名稱，但沒有實際的地址，在執行期進行類的載入過後，會為這些東西分配實際的記憶體，到時候符號引用就會轉化為直接引用，就能被JVM用了）
• 常量池的組成：符號引用、常量（這個常量包含我們程式碼中定義的常量，eg、字串常量，也包括class檔案中的常量，eg.SourceFile）。
• 主版本號的對應（eg.50對應jdk6，51對應jdk7），檢視《深入理解java虛擬機器（第二版）》P167
• Stack：運算元棧的深度（這個值就是類載入階段為運算元棧分配的深度）
• Locals：區域性變數的分配空間（單位是slot，不是個數），對於double和long這兩個64bit的，需要兩個slot，對於其他<=32bit的，只需要一個slot
• Args_size：方法引數的個數，包括方法引數、this（this只針對例項方法，static方法不會自動新增this）
• inc()方法：我詳細註釋了該方法的執行過程，這也就是JVM執行一個方法的基本流程（基於棧）

提醒：

• Code部分是我們主要關注的部分，這一部分中關鍵的部分就是每一條位元組碼指令的意義是什麼。具體的可以檢視《深入分析Java Web技術內幕（修訂版）》P124-P135

總結：

• 掌握類檔案結構，有利於我們理解類載入機制，而瞭解了類載入機制，最直接的好處，就是我們可以自己編寫類載入工具，例如，smarty框架就是自己編寫了一個類載入器
• 讀懂執行javap之後的位元組碼指令有利於我們理解java程式碼的執行流程，對我們定位問題也有一定的好處（雖然我在開發中還沒有用這種方式定位過問題）