對象的創建

  java是一門面向對象的編程語言，在Java程序運行過程中無時無刻都有對象被創建出來。 在語言層面上，創建對象（例如克隆、 反序列化）通常僅僅是一個new關鍵字而已，而在虛擬機中，對象（這里討論的對象限于普通Java對象，不包括數組和Class對象等）的創建又是怎樣一個過程呢？虛擬機遇到一條new指令時，首先將去檢查這個指令的參數是否能在常量池中定位到一個類的符號引用，并且檢查這個符號引用代表的類是否已被加載、 解析和初始化過。如果沒有，那必須先執行相應的類加載過程。  在類加載檢查通過后，接下來虛擬機將為新生對象分配內存。 對象所需內存的大小在類加載完成后便可完全確定，為對象分配空間的任務等同于把一塊確定大小的內存從Java堆中劃分出來。 假設Java堆中內存是絕對規整的，所有用過的內存都放在一邊，空閑的內存放在另一邊，中間放著一個指針作為分界點的指示器，那所分配內存就僅僅是把那個指針向空閑空間那邊挪動一段與對象大小相等的距離，這種分配方式稱為“指針碰撞”（Bump the Pointer）。 如果Java堆中的內存并不是規整的，已使用的內存和空閑的內存相互交錯，那就沒有辦法簡單地進行指針碰撞了，虛擬機就必須維護一個列表，記錄上哪些內存塊是可用的，在分配的時候從列表中找到一塊足夠大的空間劃分給對象實例，并更新列表上的記錄，這種分配方式稱為“空閑列表”（Free List）。 選擇哪種分配方式由Java堆是否規整決定，而Java堆是否規整又由所采用的垃圾收集器是否帶有壓縮整理功能決定。 因此，在使用Serial、 ParNew等帶Compact過程的收集器時，系統采用的分配算法是指針碰撞，而使用CMS這種基于Mark-Sweep算法的收集器時，通常采用空閑列表。  劃分內存空間在并發情況下也并不是線程安全的。解決這個問題有兩種方案，一種是對分配內存空間的動作進行同步處理——實際上虛擬機采用CAS配上失敗重試的方式保證更新操作的原子性；另一種是把內存分配的動作按照線程劃分在不同的空間之中進行，即每個線程在Java堆中預先分配一小塊內存，稱為本地線程分配緩沖（Thread Local Allocation Buffer,TLAB）。 哪個線程要分配內存，就在哪個線程的TLAB上分配，只有TLAB用完并分配新的TLAB時，才需要同步鎖定。虛擬機是否使用TLAB，可以通過-XX：+/-UseTLAB參數來設定。

  內存分配完成后，虛擬機需要將分配到的內存空間都初始化為零值（不包括對象頭），如果使用TLAB，這一工作過程也可以提前至TLAB分配時進行。 這一步操作保證了對象的實例字段在Java代碼中可以不賦初始值就直接使用，程序能訪問到這些字段的數據類型所對應的零值。接下來，虛擬機要對對象進行必要的設置，例如這個對象是哪個類的實例、 如何才能找到類的元數據信息、 對象的哈希碼、 對象的GC分代年齡等信息。 這些信息存放在對象的對象頭（Object Header）之中。 根據虛擬機當前的運行狀態的不同，如是否啟用偏向鎖等，對象頭會有不同的設置方式。   在上面工作都完成之后，從虛擬機的視角來看，一個新的對象已經產生了，但從Java程序的視角來看，對象創建才剛剛開始——＜init＞方法還沒有執行，所有的字段都還為零。所以，一般來說（由字節碼中是否跟隨invokespecial指令所決定），執行new指令之后會接著執行＜init＞方法，把對象按照程序員的意愿進行初始化，這樣一個真正可用的對象才算完全產生出來。

對象的內存布局

  在HotSpot虛擬機中，對象在內存中存儲的布局可以分為3塊區域：對象頭（Header）、實例數據（Instance Data）和對齊填充（Padding）。

  HotSpot虛擬機的對象頭包括兩部分信息，第一部分用于存儲對象自身的運行時數據，如哈希碼（HashCode）、GC分代年齡、 鎖狀態標志、 線程持有的鎖、 偏向線程ID、 偏向時間戳等，這部分數據的長度在32位和64位的虛擬機（未開啟壓縮指針）中分別為32bit和64bit，官方稱它為“Mark Word”。 對象需要存儲的運行時數據很多，其實已經超出了32位、64位Bitmap結構所能記錄的限度，但是對象頭信息是與對象自身定義的數據無關的額外存儲成本，考慮到虛擬機的空間效率，Mark Word被設計成一個非固定的數據結構以便在極小的空間內存儲盡量多的信息，它會根據對象的狀態復用自己的存儲空間。

  對象頭的另外一部分是類型指針，即對象指向它的類元數據的指針，虛擬機通過這個指針來確定這個對象是哪個類的實例。 并不是所有的虛擬機實現都必須在對象數據上保留類型指針，換句話說，查找對象的元數據信息并不一定要經過對象本身。另外，如果對象是一個Java數組，那在對象頭中還必須有一塊用于記錄數組長度的數據，因為虛擬機可以通過普通Java對象的元數據信息確定Java對象的大小，但是從數組的元數據中卻無法確定數組的大小。  接下來的實例數據部分是對象真正存儲的有效信息，也是在程序代碼中所定義的各種類型的字段內容。 無論是從父類繼承下來的，還是在子類中定義的，都需要記錄起來。 這部分的存儲順序會受到虛擬機分配策略參數（FieldsAllocationStyle）和字段在Java源碼中定義順序的影響。HotSpot虛擬機默認的分配策略為longs/doubles、ints、shorts/chars、bytes/booleans、oops（Ordinary Object Pointers），從分配策略中可以看出，相同寬度的字段總是被分配到一起。 在滿足這個前提條件的情況下，在父類中定義的變量會出現在子類之前。 如果CompactFields參數值為true（默認為true），那么子類之中較窄的變量也可能會插入到父類變量的空隙之中。

  第三部分對齊填充并不是必然存在的，也沒有特別的含義，它僅僅起著占位符的作用。由于HotSpot VM的自動內存管理系統要求對象起始地址必須是8字節的整數倍，換句話說，就是對象的大小必須是8字節的整數倍。 而對象頭部分正好是8字節的倍數（1倍或者2倍），因此，當對象實例數據部分沒有對齊時，就需要通過對齊填充來補全。對象的訪問定位

  建立對象是為了使用對象，我們的Java程序需要通過棧上的reference數據來操作堆上的具體對象。 由于reference類型在Java虛擬機規范中只規定了一個指向對象的引用，并沒有定義這個引用應該通過何種方式去定位、 訪問堆中的對象的具體位置，所以對象訪問方式也是取決于虛擬機實現而定的。 目前主流的訪問方式有使用句柄和直接指針兩種。  如果使用句柄訪問的話，那么Java堆中將會劃分出一塊內存來作為句柄池，reference中存儲的就是對象的句柄地址，而句柄中包含了對象實例數據與類型數據各自的具體地址信息。所以可以訪問堆中的實例數據和方法區中的類型數據。

  如果使用直接指針訪問，那么Java堆對象的布局中就必須考慮如何放置訪問類型數據的相關信息，而reference中存儲的直接就是對象地址。找到實例數據后通過里面的類型數據指針指向方法區的類型數據。

  這兩種對象訪問方式各有優勢，使用句柄來訪問的最大好處就是reference中存儲的是穩定的句柄地址，在對象被移動（垃圾收集時移動對象是非常普遍的行為）時只會改變句柄中的實例數據指針，而reference本身不需要修改。  使用直接指針訪問方式的最大好處就是速度更快，它節省了一次指針定位的時間開銷，由于對象的訪問在Java中非常頻繁，因此這類開銷積少成多后也是一項非?？捎^的執行成本。 就本書討論的主要虛擬機Sun HotSpot而言，它是使用第二種方式進行對象訪問的，但從整個軟件開發的范圍來看，各種語言和框架使用句柄來訪問的情況也十分常見。  String.intern（）是一個Native方法，它的作用是：如果字符串常量池中已經包含一個等于此String對象的字符串，則返回代表池中這個字符串的String對象；否則，將此String對象包含的字符串添加到常量池中，并且返回此String對象的引用。所以這個方法返回的就是字符串常量池中的對象，只有new出來的對象才在堆中。