前言
1氢拥、本文將由淺入深詳細介紹Java內(nèi)存分配的原理蚌铜,以幫助新手更輕松的學習Java。這類文章網(wǎng)上有很多嫩海,但大多比較零碎冬殃。本文從認知過程角度出發(fā),將帶給讀者一個系統(tǒng)的介紹叁怪。
2审葬、進入正題前首先要知道的是Java程序運行在JVM(Java Virtual Machine,Java虛擬機)上奕谭,可以把JVM理解成Java程序和操作系統(tǒng)之間的橋梁涣觉,JVM實現(xiàn)了Java的平臺無關性,由此可見JVM的重要性血柳。所以在學習Java內(nèi)存分配原理的時候一定要牢記這一切都是在JVM中進行的官册,JVM是內(nèi)存分配原理的基礎與前提。
簡單通俗的講难捌,一個完整的Java程序運行過程會涉及以下內(nèi)存區(qū)域:
1膝宁、l?堆:用來存放動態(tài)產(chǎn)生的數(shù)據(jù),比如new出來的對象根吁。注意創(chuàng)建出來的對象只包含屬于各自的成員變量员淫,并不包括成員方法。因為同一個類的對象擁有各自的成員變量击敌,存儲在各自的堆中介返,但是他們共享該類的方法,并不是每創(chuàng)建一個對象就把成員方法復制一次。
2圣蝎、l?常量池:JVM為每個已加載的類型維護一個常量池刃宵,常量池就是這個類型用到的常量的一個有序集合。包括直接常量(基本類型徘公,String)和對其他類型组去、方法、字段的符號引用(1)步淹。池中的數(shù)據(jù)和數(shù)組一樣通過索引訪問。由于常量池包含了一個類型所有的對其他類型诚撵、方法缭裆、字段的符號引用,所以常量池在Java的動態(tài)鏈接中起了核心作用寿烟。常量池存在于堆中澈驼。
3、l?代碼段:用來存放從硬盤上讀取的源程序代碼筛武。
4缝其、l?數(shù)據(jù)段:用來存放static修飾的靜態(tài)成員(在java中static的作用就是說明該變量,方法徘六,代碼塊是屬于類的還是屬于實例的)内边。
下面是內(nèi)存表示圖:
上圖中大致描述了Java內(nèi)存分配,接下來通過實例詳細講解Java程序是如何在內(nèi)存中運行的(注:以下圖片引用自尚學堂馬士兵老師的J2SE課件待锈,圖右側(cè)是程序代碼漠其,左側(cè)是內(nèi)存分配示意圖,我會一一加上注釋)竿音。
預備知識:
1.一個Java文件和屎,只要有main入口方法,我們就認為這是一個Java程序春瞬,可以單獨編譯運行柴信。
2.無論是普通類型的變量還是引用類型的變量(俗稱實例),都可以作為局部變量宽气,他們都可以出現(xiàn)在棧中随常。只不過普通類型的變量在棧中直接保存它所對應的值,而引用類型的變量保存的是一個指向堆區(qū)的指針抹竹,通過這個指針线罕,就可以找到這個實例在堆區(qū)對應的對象。因此窃判,普通類型變量只在棧區(qū)占用一塊內(nèi)存钞楼,而引用類型變量要在棧區(qū)和堆區(qū)各占一塊內(nèi)存。
示例:
1.JVM自動尋找main方法袄琳,執(zhí)行第一句代碼询件,創(chuàng)建一個Test類的實例燃乍,在棧中分配一塊內(nèi)存,存放一個指向堆區(qū)對象的引用變量(指針110925)宛琅,java中的引用變量就是C語言中指針的一個包裝刻蟹,所以引用變量中存放的還是堆內(nèi)存中對象的地址。
2.創(chuàng)建一個int型的變量date嘿辟,由于是基本類型舆瘪,直接在棧中存放date對應的值9。
3.創(chuàng)建兩個BirthDate類的實例d1红伦、d2英古,在棧中分別存放了對應的指針指向各自的對象。他們在實例化時調(diào)用了有參數(shù)的構造方法昙读,因此對象中有自定義初始值召调。
調(diào)用test對象的change1方法,并且以date為參數(shù)蛮浑。JVM讀到這段代碼時唠叛,檢測到i是局部變量,因此會把i放在棧中沮稚,并且把date的值賦給i
把1234賦給i艺沼。很簡單的一步。
change1方法執(zhí)行完畢蕴掏,立即釋放局部變量i所占用的棸南幔空間。
調(diào)用test對象的change2方法囚似,以實例d1為參數(shù)剩拢。JVM檢測到change2方法中的b參數(shù)為局部變量,立即加入到棧中饶唤,由于是引用類型的變量徐伐,所以b中保存的是d1中的指針,此時b和d1指向同一個堆中的對象募狂。在b和d1之間傳遞是指針办素。
change2方法中又實例化了一個BirthDate對象,并且賦給b祸穷。在內(nèi)部執(zhí)行過程是:在堆區(qū)new了一個對象性穿,并且把該對象的指針保存在棧中的b對應空間,此時實例b不再指向?qū)嵗齞1所指向的對象雷滚,但是實例d1所指向的對象并無變化需曾,這樣無法對d1造成任何影響。
change2方法執(zhí)行完畢,立即釋放局部引用變量b所占的棿敉颍空間商源,注意只是釋放了棧空間谋减,堆空間要等待自動回收牡彻。
調(diào)用test實例的change3方法,以實例d2為參數(shù)出爹。同理庄吼,JVM會在棧中為局部引用變量b分配空間,并且把d2中的指針存放在b中严就,此時d2和b指向同一個對象霸褒。再調(diào)用實例b的setDay方法,其實就是調(diào)用d2指向的對象的setDay方法盈蛮。
調(diào)用實例b的setDay方法會影響d2,因為二者指向的是同一個對象技矮。
change3方法執(zhí)行完畢抖誉,立即釋放局部引用變量b。
以上就是Java程序運行時內(nèi)存分配的大致情況衰倦。其實也沒什么袒炉,掌握了思想就很簡單了。無非就是兩種類型的變量:基本類型和引用類型樊零。二者作為局部變量我磁,都放在棧中,基本類型直接在棧中保存值驻襟,引用類型只保存一個指向堆區(qū)的指針夺艰,真正的對象在堆里。作為參數(shù)時基本類型就直接傳值沉衣,引用類型傳指針(在java中只有值傳遞沒有地址傳遞但是引用變量中存放的是堆中對象的地址郁副,所以也可以理解為地址傳遞)。
小結:
1.分清什么是對象引用變量(引用變量)什么是對象豌习。Class a= new Class();此時a叫對象引用變量存谎,而不能說a是對象。引用變量在棧中肥隆,對象在堆中既荚,操作引用變量實際上是通過引用間接操作對象。多個引用變量可以引用到同一個對象栋艳。
2.棧中的數(shù)據(jù)和堆中的數(shù)據(jù)銷毀并不是同步的恰聘。方法一旦結束,棧中的局部變量立即銷毀,但是堆中對象不一定銷毀憨琳。因為可能有其他變量也指向了這個對象诫钓,直到棧中沒有變量指向堆中的對象時,它才銷毀篙螟,而且還不是馬上銷毀菌湃,要等垃圾回收掃描時才可以被銷毀。
3.每個方法執(zhí)行的時候都會建立自己的棧區(qū)遍略,在方法中定義的局部變量(參數(shù)惧所,方法中定義的變量)都在棧區(qū)中存放當方法結束時這些局部變量也就結束了,但是堆內(nèi)存中的對象不會隨著方法的結束而銷毀而是判斷還有沒有引用變量引用到這個對象如果有的話就是說這個對象可達所以不會輕易的被GC回收绪杏,如果這個對象沒有被引用如果這時垃圾回收系統(tǒng)開始回收但發(fā)現(xiàn)這個對象沒有引用的話就會調(diào)用finalize()方法來判斷這個對象是否可以再次可達如果可以的不會回收但是不過不可達的話可能會被回收(不是一定會被回收這里是不一定會回收因為這里還有對象的引用類型如:強引用下愈,軟引用(softReference來實現(xiàn)),弱引用(WeakReference來實現(xiàn))等因素有關蕾久,還要考慮其他的因素不在這里一一說明)如果可達的話還是不會回收的势似。
4.以上的棧、堆僧著、代碼段履因、數(shù)據(jù)段等等都是相對于應用程序而言的。每一個應用程序都對應唯一的一個JVM實例盹愚,每一個JVM實例都有自己的內(nèi)存區(qū)域栅迄,互不影響,調(diào)用JVM也就是激活一個進程皆怕。并且這些內(nèi)存區(qū)域是所有線程共享的毅舆。這里提到的棧和堆都是整體上的概念丧凤,這些堆棧還可以細分庇楞。
5.類中定義的實例成員變量在不同對象中各不相同,都有自己的存儲空間(成員變量在堆中的對象中)卧晓。而類中定義的方法卻是該類的所有對象共享的虱黄,只有一套余掖,對象使用方法的時候方法才被壓入棧,方法不使用則不占用內(nèi)存礁鲁。
以上分析只涉及了棧和堆盐欺,還有一個非常重要的內(nèi)存區(qū)域:常量池,這個地方往往出現(xiàn)一些莫名其妙的問題仅醇。常量池是干嘛的上邊已經(jīng)說明了冗美,也沒必要理解多么深刻,只要記住它維護了一個已加載類的常量就可以了析二。接下來結合一些例子說明常量池的特性粉洼。
預備知識:
基本類型和基本類型的包裝類节预。基本類型有:byte属韧、short安拟、char、int宵喂、long糠赦、boolean」兀基本類型的包裝類分別是:Byte拙泽、Short、Character裸燎、Integer顾瞻、Long、Boolean德绿。注意區(qū)分大小寫荷荤。二者的區(qū)別是:基本類型體現(xiàn)在程序中是普通變量,基本類型的包裝類是類移稳,體現(xiàn)在程序中是引用變量蕴纳。因此二者在內(nèi)存中的存儲位置不同:基本類型存儲在棧中,而基本類型包裝類存儲在堆中秒裕。上邊提到的這些包裝類都實現(xiàn)了常量池技術,而兩種浮點數(shù)類型的包裝類則沒有實現(xiàn)钞啸。另外几蜻,String類型也實現(xiàn)了常量池技術。
實例:
[java]?view plaincopy
public?class?test {
public?static?void?main(String[] args) {
objPoolTest();
}
public?static?void?objPoolTest() {
int?i = 40;
int?i0 = 40;
Integer i1 = 40;
Integer i2 = 40;
Integer i3 = 0;
Integer i4 =?new?Integer(40);
Integer i5 =?new?Integer(40);
Integer i6 =?new?Integer(0);
Double d1=1.0;
Double d2=1.0;
//在java中對于引用變量來說“==”就是判斷這兩個引用變量所引用的是不是同一個對象
System.out.println("i==i0\t" + (i == i0));
System.out.println("i1==i2\t" + (i1 == i2));
System.out.println("i1==i2+i3\t" + (i1 == i2 + i3));
System.out.println("i4==i5\t" + (i4 == i5));
System.out.println("i4==i5+i6\t" + (i4 == i5 + i6));
System.out.println("d1==d2\t" + (d1==d2));
System.out.println();
}
}
結果:
[java]?view plaincopy
i==i0?true
i1==i2?true
i1==i2+i3?true
i4==i5?false
i4==i5+i6?true
d1==d2?false
結果分析:
1.i和i0均是普通類型(int)的變量体斩,所以數(shù)據(jù)直接存儲在棧中梭稚,而棧有一個很重要的特性:棧中的數(shù)據(jù)可以共享。當我們定義了int i = 40;絮吵,再定義int i0 = 40;這時候會自動檢查棧中是否有40這個數(shù)據(jù)弧烤,如果有,i0會直接指向i的40蹬敲,不會再添加一個新的40暇昂。
2.i1和i2均是引用類型,在棧中存儲指針伴嗡,因為Integer是包裝類急波。由于Integer包裝類實現(xiàn)了常量池技術,因此i1瘪校、i2的40均是從常量池中獲取的澄暮,均指向同一個地址名段,因此i1==12。
3.很明顯這是一個加法運算泣懊,Java的數(shù)學運算都是在棧中進行的伸辟,Java會自動對i1、i2進行拆箱操作轉(zhuǎn)化成整型馍刮,因此i1在數(shù)值上等于i2+i3信夫。
4.i4和i5均是引用類型,在棧中存儲指針渠退,因為Integer是包裝類忙迁。但是由于他們各自都是new出來的,因此不再從常量池尋找數(shù)據(jù)碎乃,而是從堆中各自new一個對象姊扔,然后各自保存指向?qū)ο蟮闹羔槪詉4和i5不相等梅誓,因為他們所存地址不同恰梢,所引用到的對象不同。
5.這也是一個加法運算梗掰,和3同理嵌言。
6.d1和d2均是引用類型,在棧中存儲指針及穗,因為Double是包裝類摧茴。但Double包裝類沒有實現(xiàn)常量池技術,因此Doubled1=1.0;相當于Double d1=new Double(1.0);埂陆,是從堆new一個對象苛白,d2同理。因此d1和d2存放的指針不同焚虱,指向的對象不同购裙,所以不相等。
小結:
1.以上提到的幾種基本類型包裝類均實現(xiàn)了常量池技術鹃栽,但他們維護的常量僅僅是【-128至127】這個范圍內(nèi)的常量躏率,如果常量值超過這個范圍,就會從堆中創(chuàng)建對象民鼓,不再從常量池中取薇芝。比如,把上邊例子改成Integer i1 = 400; Integer i2 = 400;丰嘉,很明顯超過了127恩掷,無法從常量池獲取常量,就要從堆中new新的Integer對象供嚎,這時i1和i2就不相等了黄娘。
2.String類型也實現(xiàn)了常量池技術峭状,但是稍微有點不同。String型是先檢測常量池中有沒有對應字符串逼争,如果有优床,則取出來;如果沒有誓焦,則把當前的添加進去胆敞。
以上知識點如有不明,或錯誤還望大家批評指正杂伟,也希望以上知識點對大家有所幫助移层,同時希望大家常來光顧!
最后
歡迎大家有興趣的可以關注我的公眾號【java小瓜哥的分享平臺】赫粥,文章都會在里面更新观话,還有各種java的資料都是免費分享的。