Java 內存分配全面淺析

本文將由淺入深詳細介紹Java內存分配的原理,以幫助新手更輕鬆的學習Java。這類文章網上有很多,但大多比較零碎。本文從認知過程角度出發,將帶給讀者一個系統的介紹。

進入正題前首先要知道的是Java程序運行在JVM(Java Virtual Machine,Java虛擬機)上,可以把JVM理解成Java程序和操作系統之間的橋樑,JVM實現了Java的平臺無關性,由此可見JVM的重要性。所以在學習Java內存分配原理的時候一定要牢記這一切都是在JVM中進行的,JVM是內存分配原理的基礎與前提。

簡單通俗的講,一個完整的Java程序運行過程會涉及以下內存區域:


寄存器:JVM內部虛擬寄存器,存取速度非常快,程序不可控制。

棧:保存局部變量的值,包括:1.用來保存基本數據類型的值;2.保存類的實例,即堆區對象的引用(指針)。也可以用來保存加載方法時的幀。

堆:用來存放動態產生的數據,比如new出來的對象。注意創建出來的對象只包含屬於各自的成員變量,並不包括成員方法。因爲同一個類的對象擁有各自的成員變量,存儲在各自的堆中,但是他們共享該類的方法,並不是每創建一個對象就把成員方法複製一次。

常量池:JVM爲每個已加載的類型維護一個常量池,常量池就是這個類型用到的常量的一個有序集合。包括直接常量(基本類型,String)和對其他類型、方法、字段的符號引用(1)。池中的數據和數組一樣通過索引訪問。由於常量池包含了一個類型所有的對其他類型、方法、字段的符號引用,所以常量池在Java的動態鏈接中起了核心作用。常量池存在於堆中

代碼段:用來存放從硬盤上讀取的源程序代碼。

數據段:用來存放static定義的靜態成員。


下面是內存表示圖:

wKiom1gcAsCg9sA3AAB6NUbTMq4518.jpg-wh_50

上圖中大致描述了Java內存分配,接下來通過實例詳細講解Java程序是如何在內存中運行的(注:以下圖片引用自尚學堂馬士兵老師的J2SE課件,圖右側是程序代碼,左側是內存分配示意圖,我會一一加上註釋)。


預備知識:


1.一個Java文件,只要有main入口方法,我們就認爲這是一個Java程序,可以單獨編譯運行。

2.無論是普通類型的變量還是引用類型的變量(俗稱實例),都可以作爲局部變量,他們都可以出現在棧中。只不過普通類型的變量在棧中直接保存它所對應的值,而引用類型的變量保存的是一個指向堆區的指針,通過這個指針,就可以找到這個實例在堆區對應的對象。因此,普通類型變量只在棧區佔用一塊內存,而引用類型變量要在棧區和堆區各佔一塊內存。


示例:

wKioL1gcAu2gcA1JAAERJVquoAY800.jpg-wh_50

1.JVM自動尋找main方法,執行第一句代碼,創建一個Test類的實例,在棧中分配一塊內存,存放一個指向堆區對象的指針110925。

2.創建一個int型的變量date,由於是基本類型,直接在棧中存放date對應的值9。

3.創建兩個BirthDate類的實例d1、d2,在棧中分別存放了對應的指針指向各自的對象。他們在實例化時調用了有參數的構造方法,因此對象中有自定義初始值。

wKiom1gcAxHDdqqeAAEEnlnEKkI840.jpg-wh_50

調用test對象的change1方法,並且以date爲參數。JVM讀到這段代碼時,檢測到i是局部變量,因此會把i放在棧中,並且把date的值賦給i。

wKioL1gcAzGwiJMrAAEL-k-Trlk960.jpg-wh_50

把1234賦給i。很簡單的一步。

wKiom1gcA0-BeXX2AAEWGoKvXwc863.jpg-wh_50

change1方法執行完畢,立即釋放局部變量i所佔用的棧空間。

wKioL1gcA2vT4fC1AAEe9-YcljE307.jpg-wh_50

調用test對象的change2方法,以實例d1爲參數。JVM檢測到change2方法中的b參數爲局部變量,立即加入到棧中,由於是引用類型的變量,所以b中保存的是d1中的指針,此時b和d1指向同一個堆中的對象。在b和d1之間傳遞是指針。

wKiom1gcA4mzBm5tAACzN4G83Yg069.jpg-wh_50

change2方法中又實例化了一個BirthDate對象,並且賦給b。在內部執行過程是:在堆區new了一個對象,並且把該對象的指針保存在棧中的b對應空間,此時實例b不再指向實例d1所指向的對象,但是實例d1所指向的對象並無變化,這樣無法對d1造成任何影響。

wKiom1gcA7LyGQGQAAEoE3hxewc007.jpg-wh_50

change2方法執行完畢,立即釋放局部引用變量b所佔的棧空間,注意只是釋放了棧空間,堆空間要等待自動回收。

wKioL1gcA9Kzn9L-AAEzcWHzh7E673.jpg-wh_50

調用test實例的change3方法,以實例d2爲參數。同理,JVM會在棧中爲局部引用變量b分配空間,並且把d2中的指針存放在b中,此時d2和b指向同一個對象。再調用實例b的setDay方法,其實就是調用d2指向的對象的setDay方法。

wKiom1gcA_PzfAvjAAFCbioPVvs622.jpg-wh_50

調用實例b的setDay方法會影響d2,因爲二者指向的是同一個對象。

wKioL1gcBA3y-OiIAAEo9lB1Go8124.jpg-wh_50

change3方法執行完畢,立即釋放局部引用變量b。


以上就是Java程序運行時內存分配的大致情況。其實也沒什麼,掌握了思想就很簡單了。無非就是兩種類型的變量:基本類型和引用類型。二者作爲局部變量,都放在棧中,基本類型直接在棧中保存值,引用類型只保存一個指向堆區的指針,真正的對象在堆裏。作爲參數時基本類型就直接傳值,引用類型傳指針。

小結:


1.分清什麼是實例什麼是對象。Class a= new Class();此時a叫實例,而不能說a是對象。實例在棧中,對象在堆中,操作實例實際上是通過實例的指針間接操作對象。多個實例可以指向同一個對象。

2.棧中的數據和堆中的數據銷燬並不是同步的。方法一旦結束,棧中的局部變量立即銷燬,但是堆中對象不一定銷燬。因爲可能有其他變量也指向了這個對象,直到棧中沒有變量指向堆中的對象時,它才銷燬,而且還不是馬上銷燬,要等垃圾回收掃描時纔可以被銷燬。

3.以上的棧、堆、代碼段、數據段等等都是相對於應用程序而言的。每一個應用程序都對應唯一的一個JVM實例,每一個JVM實例都有自己的內存區域,互不影響。並且這些內存區域是所有線程共享的。這裏提到的棧和堆都是整體上的概念,這些堆棧還可以細分。

4.類的成員變量在不同對象中各不相同,都有自己的存儲空間(成員變量在堆中的對象中)。而類的方法卻是該類的所有對象共享的,只有一套,對象使用方法的時候方法才被壓入棧,方法不使用則不佔用內存。






發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章