對象在 JVM 中是怎麼存儲的
對象頭裏有什麼？
文章收錄在 GitHub JavaKeeper ，N線互聯網開發必備技能兵器譜，有你想要的。
作爲一名 Javaer，生活中的我們可能暫時沒有對象，但是工作中每天都會創建大量的 Java 對象，你有試着去了解下自己的“對象”嗎？
我們從四個方面重新認識下自己的“對象”
- 創建對象的 6 種方式
- 創建一個對象在 JVM 中都發生了什麼
- 對象在 JVM 中的內存佈局
- 對象的訪問定位
一、創建對象的方式
-
使用 new 關鍵字
這是創建一個對象最通用、常規的方法，同時也是最簡單的方式。通過使用此方法，我們可以調用任何要調用的構造函數（默認使用無參構造函數）
Person p = new Person(); -
使用 Class 類的 newInstance()，只能調用空參的構造器，權限必須爲 public
//獲取類對象 Class aClass = Class.forName("priv.starfish.Person"); Person p1 = (Person) aClass.newInstance(); -
Constructor 的 newInstance(xxx)，對構造器沒有要求
Class aClass = Class.forName("priv.starfish.Person"); //獲取構造器 Constructor constructor = aClass.getConstructor(); Person p2 = (Person) constructor.newInstance(); -
clone()
深拷貝，需要實現 Cloneable 接口並實現 clone()，不調用任何的構造器
Person p3 = (Person) p.clone(); -
反序列化
通過序列化和反序列化技術從文件或者網絡中獲取對象的二進制流。
每當我們序列化和反序列化對象時，JVM 會爲我們創建了一個獨立的對象。在 deserialization 中，JVM 不使用任何構造函數來創建對象。（序列化的對象需要實現 Serializable）
//準備一個文件用於存儲該對象的信息 File f = new File("person.obj"); FileOutputStream fos = new FileOutputStream(f); ObjectOutputStream oos = new ObjectOutputStream(fos); //序列化對象，寫入到磁盤中 oos.writeObject(p); //反序列化 FileInputStream fis = new FileInputStream(f); ObjectInputStream ois = new ObjectInputStream(fis); //反序列化對象 Person p4 = (Person) ois.readObject(); -
第三方庫 Objenesls
Java已經支持通過
Class.newInstance()動態實例化 Java 類，但是這需要Java類有個適當的構造器。很多時候一個Java類無法通過這種途徑創建，例如：構造器需要參數、構造器有副作用、構造器會拋出異常。Objenesis 可以繞過上述限制
二、創建對象的步驟
這裏討論的僅僅是普通 Java 對象，不包含數組和 Class 對象（普通對象和數組對象的創建指令是不同的。創建類實例的指令：new，創建數組的指令：newarray，anewarray，multianewarray）
1. new指令
虛擬機遇到一條 new 指令時，首先去檢查這個指令的參數是否能在 Metaspace 的常量池中定位到一個類的符號引用，並且檢查這個符號引用代表的類是否已被加載、解析和初始化過（即判斷類元信息是否存在）。如果沒有，那麼須在雙親委派模式下，先執行相應的類加載過程。
2. 分配內存
接下來虛擬機將爲新生代對象分配內存。對象所需的內存的大小在類加載完成後便可完全確定。如果實例成員變量是引用變量，僅分配引用變量空間即可，即 4 個字節大小。分配方式有“指針碰撞（Bump the Pointer）”和“空閒列表（Free List）”兩種方式，具體由所採用的垃圾收集器是否帶有壓縮整理功能決定。
-
如果內存是規整的，就採用“指針碰撞”來爲對象分配內存。意思是所有用過的內存在一邊，空閒的內存在另一邊，中間放着一個指針作爲分界點的指示器，分配內存就僅僅是把指針指向空閒那邊挪動一段與對象大小相等的距離罷了。如果垃圾收集器採用的是 Serial、ParNew 這種基於壓縮算法的，就採用這種方法。（一般使用帶整理功能的垃圾收集器，都採用指針碰撞）
![]()
-
如果內存是不規整的，虛擬機需要維護一個列表，這個列表會記錄哪些內存是可用的，在爲對象分配內存的時候從列表中找到一塊足夠大的空間劃分給該對象實例，並更新列表內容，這種分配方式就是“空閒列表”。使用CMS 這種基於Mark-Sweep 算法的收集器時，通常採用空閒列表。
![]()
我們都知道堆內存是線程共享的，那在分配內存的時候就會存在併發安全問題，JVM 是如何解決的呢？
一般有兩種解決方案：
-
對分配內存空間的動作做同步處理，採用 CAS 機制，配合失敗重試的方式保證更新操作的原子性
-
每個線程在 Java 堆中預先分配一小塊內存，然後再給對象分配內存的時候，直接在自己這塊"私有"內存中分配，當這部分區域用完之後，再分配新的"私有"內存。這種方案稱爲 TLAB（Thread Local Allocation Buffer），這部分 Buffer 是從堆中劃分出來的，但是是本地線程獨享的。
這裏值得注意的是，我們說 TLAB 是線程獨享的，只是在“分配”這個動作上是線程獨佔的，至於在讀取、垃圾回收等動作上都是線程共享的。而且在使用上也沒有什麼區別。另外，TLAB 僅作用於新生代的 Eden Space，對象被創建的時候首先放到這個區域，但是新生代分配不了內存的大對象會直接進入老年代。因此在編寫 Java 程序時，通常多個小的對象比大的對象分配起來更加高效。
虛擬機是否使用 TLAB 是可以選擇的，可以通過設置
-XX:+/-UseTLAB參數來指定，JDK8 默認開啓。
3. 初始化
內存分配完成後，虛擬機需要將分配到的內存空間都初始化爲零值（不包括對象頭），這一步操作保證了對象的實例字段在 Java 代碼中可以不賦初始值就直接使用，程序能訪問到這些字段的數據類型所對應的零值。如：byte、short、long 轉化爲對象後初始值爲 0，Boolean 初始值爲 false。
4. 對象的初始設置（設置對象的對象頭）
接下來虛擬機要對對象進行必要的設置，例如這個對象是哪個類的實例、如何才能找到類的元數據信息、對象的哈希碼、對象的GC分代年齡等信息。這些信息存放在對象的對象頭（Object Header）之中。根據虛擬機當前的運行狀態的不同，如對否啓用偏向鎖等，對象頭會有不同的設置方式。
5. <init>方法初始化
在上面的工作都完成了之後，從虛擬機的角度看，一個新的對象已經產生了，但是從 Java 程序的角度看，對象創建纔剛剛開始，<init>方法還沒有執行，所有的字段都還爲零。初始化成員變量，執行實例化代碼塊，調用類的構造方法，並把堆內對象的地址賦值給引用變量。
所以，一般來說，執行 new 指令後接着執行 init 方法，把對象按照程序員的意願進行初始化（應該是將構造函數中的參數賦值給對象的字段），這樣一個真正可用的對象纔算完全產生出來。
三、對象的內存佈局
在 HotSpot 虛擬機中，對象在內存中存儲的佈局可以分爲 3 塊區域：對象頭（Header）、實例數據（Instance Data）、對其填充（Padding）。
對象頭
HotSpot 虛擬機的對象頭包含兩部分信息。
- 第一部分用於存儲對象自身的運行時數據，如哈希碼(HashCode)、GC分代年齡、鎖狀態標誌、線程持有的鎖、偏向線程ID、偏向時間戳等。
- 對象的另一部分類型指針，即對象指向它的類元數據的指針，虛擬機通過這個指針來確定這個對象是哪個類的實例（並不是所有的虛擬機實現都必須在對象數據上保留類型指針，也就是說，查找對象的元數據信息並不一定要經過對象本身）。
如果對象是一個 Java 數組，那在對象頭中還必須有一塊用於記錄數組長度的數據。
元數據：描述數據的數據。對數據及信息資源的描述信息。在 Java 中，元數據大多表示爲註解。
實例數據
實例數據部分是對象真正存儲的有效信息，也是在程序代碼中定義的各種類型的字段內容，無論從父類繼承下來的，還是在子類中定義的，都需要記錄起來。這部分的存儲順序會受虛擬機默認的分配策略參數和字段在 Java 源碼中定義的順序影響（相同寬度的字段總是被分配到一起）。
規則：
- 相同寬度的字段總是被分配在一起
- 父類中定義的變量會出現在子類之前
- 如果 CompactFields 參數爲 true(默認true)，子類的窄變量可能插入到父類變量的空隙
對齊填充
對齊填充部分並不是必然存在的，也沒有特別的含義，它僅僅起着佔位符的作用。由於 HotSpot VM 的自動內存管理系統要求對象的起始地址必須是 8 字節的整數倍，也就是說，對象的大小必須是 8 字節的整數倍。而對象頭部分正好是 8 字節的倍數（1倍或者2倍），因此，當對象實例數據部分沒有對齊時，就需要通過對齊填充來補全。
我們通過一個簡單的例子加深下理解
public class PersonObject {
public static void main(String[] args) {
Person person = new Person();
}
}
public class Person {
int id = 1008;
String name;
Department department;
{
name = "匿名用戶"; //name賦值爲字符串常量
}
}
public class Department {
int id;
String name;
}
四、對象的訪問定位
我們創建對象的目的，肯定是爲了使用它，那 JVM 是如何通過棧幀中的對象引用訪問到其內存的對象實例呢？
由於 reference 類型在 Java 虛擬機規範裏只規定了一個指向對象的引用，並沒有定義這個引用應該通過哪種方式去定位，以及訪問到 Java 堆中的對象的具體位置，因此不同虛擬機實現的對象訪問方式會有所不同，主流的訪問方式有兩種：
-
句柄訪問
如果使用句柄訪問方式，Java堆中會劃分出一塊內存來作爲句柄池，reference中存儲的就是對象的句柄地址，而句柄中包含了對象實例數據和類型數據各自的具體地址信息。使用句柄方式最大的好處就是reference中存儲的是穩定的句柄地址，在對象被移動（垃圾收集時移動對象是非常普遍的行爲）時只會改變句柄中的實例數據指針，而reference本身不需要被修改。
![]()
-
直接指針（Hotspot 使用該方式）
如果使用該方式，Java堆對象的佈局就必須考慮如何放置訪問類型數據的相關信息，reference中直接存儲的就是對象地址。使用直接指針方式最大的好處就是速度更快，他節省了一次指針定位的時間開銷。
![]()
參考:
- https://zhuanlan.zhihu.com/p/44948944
- https://blog.csdn.net/boy1397081650/article/details/89930710
- https://www.cnblogs.com/lusaisai/p/12748869.html
- https://juejin.im/post/5d4250def265da03ab422c79
