[[321609]]

程序員最不缺的就是對象，每天都會給自己創建成百上千的對象。可是你真的了解你的對象嗎?比如以下類代碼：

上面代碼，在main方法中通過 new 關鍵字創建了Foo類的實例對象，并且通過引用 foo 指向這個對象。那么它們以及靜態變量staticValue和實例變量localValue都是被保存在內存中什么位置，以及它們是以何種方式存在的呢?

Java OOP-Klass 模型

JVM本身是用C艸實現的，一個Java對象在是如何映射到C層的對象呢?

最簡單的做法是為每個Java類生成一個結構相同c++類與之對應。

但HotSpot JVM并沒有這么做，而是設計了一個OOP-Klass Model。這里的 OOP 指的是 Ordinary Object Pointer (普通對象指針)，它用來表示對象的實例信息。而 Klass 則包含元數據和方法信息，用來描述Java類。

之所以采用這個模型是因為HotSopt JVM的設計者不想讓每個對象中都含有一個vtable(虛函數表)，所以就把對象模型拆成klass和oop，其中oop中不含有任何虛函數，而Klass就含有虛函數表，可以進行method dispatch。

OOP-Klass模型 分為OOP框架和Klass框架

Klass 包含元數據和方法信息，用來描述Java類。

Klass是用來表示class的元數據，包括常量池、字段、方法、類名、父類等。Klass 對象中含有虛函數表vtbl 以及父類虛函數表klass_vtbl， 因此可以根據java對象的實例類型方法的分發。

JVM 在加載class字節碼文件時，會在方法區創建Klass對象，其中 instanceKlass 可以認為是 java.lang.Class 的VM級別的表示，但它們并不等價，其結構如下圖所示，

上圖中的所有全局變量會在class字節碼解析階段完成賦值，主要是將常量池中的符號引用轉換為直接引用，即運行時實際內存地址。

OOP 指的是普通對象指針，用來表示對象的實例信息

所有的 OOP 類的共同基類為 oopDesc 類。它的結構如下：

當在Java中使用 new guan'jian創建一個對象時，就會在JVM中創建一個 instanceOopDesc 實例對象。Foo中的localValue就是保存在這個對象當中。

我們經常說Java對象在內存中的布局分為：對象頭、實例數據、對其填充。其實這3部分就是對應上面圖中的 oopDesc 對象。

_mark和_metadata 一起組成了對象頭部分：

• Mark Word：instanceOopDesc 中的 _mark 成員，允許壓縮。它用于存儲對象的運行時記錄信息，如哈希值、GC 分代年齡(Age)、鎖狀態標志(偏向鎖、輕量級鎖、重量級鎖)、線程持有的鎖、偏向線程 ID、偏向時間戳等。
• 元數據指針：instanceOopDesc 中的 _metadata 成員，它是聯合體，可以表示未壓縮的 Klass 指針(_klass)和壓縮的 Klass 指針。對應的 klass 指針指向一個存儲類的元數據的 Klass 對象。

在對象頭之后，JVM會繼續填充Java對象中的具體實例數據，比如Foo中的localValue。

Foo具體分析

接下來重新回到文章開頭的實例代碼，Foo.java中包含兩個變量staticValue和localValue，但是只有staticValue會在類加載階段由JVM分配內存并初始化默認值，因此當代碼執行到第7行時，內存中只會在方法區創建Klass對象，用來描述Foo信息以及staticValue值，如下圖所示：

可以看出，此時堆內存中并沒有創建Foo對應的instanceOopDesc實例對象。

當代碼執行到第9行，調用 new 創建Foo時，JVM 就會創建一個 instanceOopDesc 對象表示這個對象的實例，然后進行 Mark Word 的填充，將元數據指針指向剛才在方法區創建的 Klass 對象，并填充實例變量。并且因為方法是在main方法中執行，所有foo指針會被保存在虛擬機棧中，并指向創建的 instanceOopDesc 對象。具體過程如下：

可以看出 localValue 是被保存在堆中的。

綜上所述：

• foo是一個局部方法中的引用，被保存在虛擬機棧中
• staticValue靜態變量在類加載階段被保存在方法區，并被賦值
• localValue 實例變量是在創建對象時才會被創建并賦值
• 一個Java對象在JVM中被分成2部分：OOP和Klass。其中OOP對象保存對象里實例數據，Klass用來描述類相關信息以及保存靜態變量。