概述

在Class檔案、欄位表和方法表都可以攜帶自己的屬性資訊，這個資訊用屬性表進行描述，用於描述某些場景專有的資訊。

與Class檔案中其它資料項對長度、順序、格式的嚴格要求不同，屬性表集合不要求其中包含的屬性表具有嚴格的順序，並且只要屬性的名稱不與已有的屬性名稱重複，任何人實現的編譯器可以向屬性表中寫入自己定義的屬性資訊。虛擬機器在執行時會忽略不能識別的屬性，為了能正確解析Class檔案，虛擬機器規範中預定義了虛擬機器實現必須能夠識別的9項屬性（預定義屬性已經增加到21項）

• 常見的屬性

對於每個屬性，它的名稱需要從常量池中引用一個CONSTANT_utf8_info型別的常量類表示，而屬性值的結構則是完全自定義的，只需要通過一個u4的長度屬性區說明屬性值所佔用的位數即可．

• 屬性表定義的結構

一：Code屬性

java程式方法體中的程式碼經過javac編譯器處理後，最終變為位元組碼指令儲存在Code屬性內。Code屬性出現在方法表的屬性集合中，抽象類和介面不存在code屬性。
code屬性是class類檔案中最重要的屬性。class檔案可以分為程式碼（code，方法體裡面的Java程式碼）和元資料（Metadata,包括類，欄位，方法定義及其他資訊）兩部分，code屬性描述程式碼，其他資料項都用於描述元資料。

• code屬性表結構

• Class類檔案中對應的code屬性程式碼

• attribute_name_index

指向CONSTANT_Utf8_info型常量的索引，常量值規定為”Code“，代表了該屬性的屬性名稱。測試用例中值為0x0009，為常量池中的第九項。

#9 = Utf8               Code

• attribute_length

屬性值的長度，用8個位元組表示，測試用例中值為：0x00000006表示Code屬性值的位元組長度為47。

• max_stack

所需運算元棧的深度的最大值，方法執行的任何時刻，運算元棧都不會超過這個深度。虛擬機器執行時需要根據這個值分配棧幀。
測試用例中為：0x0001，說明需要的最大深度為1，沒有遞迴。

• max_locals
  代表區域性變量表所需的儲存空間，單位為Slot(插槽)，Slot是虛擬機器為區域性變數分配記憶體空間使用的最小單位。長度不超過32位的資料型別佔用1個Slot（byte,char,float,int,short,boolean,returnAddress），64位的資料型別（long和double）佔用2個Slot。Slot可以重用。當代碼執行超過區域性變數的作用域時，Solt可以被其他區域性變數使用。
  測試用例中為：0x0001,說明需要的區域性變數槽位為1
• code_length和code

這兩個用來儲存java源程式編譯後生成的位元組碼指令。code_lenth代表位元組碼長度（u4），code用於儲存位元組碼指令的一系列位元組流。每個位元組指令是一個u1資料型別（1bit）.虛擬機器讀取到一個一個位元組碼時，就可以找出對應的這個位元組碼是什麼指令。java虛擬機器最多可以有256條指令，現在有200多條指令。

位元組碼區域長度為0x00000005，虛擬機器讀取到後會順序依次的讀取之後的5個位元組，並根據位元組碼指令表翻譯為對應的位元組碼指令。
過程為
1：讀入2A,對應指令為aload_0，將低0個Slot槽位為reference型別的本地變數推送到棧的頂端。
2：讀入B7，對應指令為invokespecial，將棧頂的reference型別的資料所指向的物件作為方法的接收者，呼叫此物件的例項構造方法。這條指令帶有一個u2型別的引數，為具體呼叫的哪一個方法，指向常量池中一個
CONSTANT_Methodref_info型別常量，即此方法的符號應用。
3：讀入00 0A，0x000A對應為常量池第10個常量，為例項構造器init方法的符號引用

  #10 = Methodref          #3.#11         // java/lang/Object."<init>":()V

讀入B1，對應指令為return，含義為返回此方法，返回值為void。這條指令執行完後當前方法結束。
屬性表對應的方法表完整程式碼

{
  public cn.yuli.jvm.TestClass();
    descriptor: ()V
    flags: ACC_PUBLIC
    Code:
      stack=1, locals=1, args_size=1
         0: aload_0
         1: invokespecial #10                 // Method java/lang/Object."<init>":()V
         4: return
      LineNumberTable:
        line 3: 0
      LocalVariableTable:
        Start  Length  Slot  Name   Signature
            0       5     0  this   Lcn/yuli/jvm/TestClass;

  public int inc();
    descriptor: ()I
    flags: ACC_PUBLIC
    Code:
      stack=2, locals=1, args_size=1
         0: aload_0
         1: getfield      #18                 // Field m:I
         4: iconst_1
         5: iadd
         6: ireturn
      LineNumberTable:
        line 6: 0
      LocalVariableTable:
        Start  Length  Slot  Name   Signature
            0       7     0  this   Lcn/yuli/jvm/TestClass;
}

這兩個為例項構造器方法init()和inc()，locals和Args_size=1是應為有this引用，區域性變數第一槽位儲存的是本物件的this引用，如果方法定義為static，locals就為0了。

• exception_table_length和exception_info

exception_table_length是u2型別，4個位元組。異常表對Code屬性來說不是必須存在， 在本例項中為0x0000,說明不存在異常表。

• attributes_count和attributes

為Code表中包含的其他屬性，如：
LineNumberTable屬性，用於描述java原始碼行號和位元組碼行號之間的對應關係。
LocalVariableTable屬性，使用者描述棧中區域性變量表中的變數和java原始碼中定義的變數的關係。
繼續讀位元組碼檔案，0x0000之後是0x0002，說明Code錶帶有兩個屬性。第一個屬性是0x000C，轉換為10進製為12查常量表為

 #12 = Utf8               LineNumberTable

說明是LineNumberTable屬性，根據LineNumberTable屬性結構，接下來為u4型別的長度描，0x0000006，為6位bit。
接下來2位為0x0001，即該line_number_table中只有一個line_number_info表，位元組碼行號start_pc為0x0000，l原始碼行號ine_number為0x0006，LineNumberTable屬性結束。