簡單通俗的講，一個(gè)完整的Java程序運(yùn)行過程會涉及以下內(nèi)存區(qū)域：
下面是內(nèi)存表示圖：
上圖中大致描述了Java內(nèi)存分配，接下來通過實(shí)例詳細(xì)講解Java程序是如何在內(nèi)存中運(yùn)行的（注：以下圖片引用自尚學(xué)堂馬士兵老師的J2SE課件，圖右側(cè)是程序代碼，左側(cè)是內(nèi)存分配示意圖，我會一一加上注釋）。
預(yù)備知識：
1.一個(gè)Java文件，只要有main入口方法，我們就認(rèn)為這是一個(gè)Java程序，可以單獨(dú)編譯運(yùn)行。
2.無論是普通類型的變量還是引用類型的變量(俗稱實(shí)例)，都可以作為局部變量，他們都可以出現(xiàn)在棧中。只不過普通類型的變量在棧中直接保存它所對應(yīng)的值，而引用類型的變量保存的是一個(gè)指向堆區(qū)的指針，通過這個(gè)指針，就可以找到這個(gè)實(shí)例在堆區(qū)對應(yīng)的對象。因此，普通類型變量只在棧區(qū)占用一塊內(nèi)存，而引用類型變量要在棧區(qū)和堆區(qū)各占一塊內(nèi)存。
示例：
1.JVM自動(dòng)尋找main方法，執(zhí)行第一句代碼，創(chuàng)建一個(gè)Test類的實(shí)例，在棧中分配一塊內(nèi)存，存放一個(gè)指向堆區(qū)對象的引用變量（指針110925），java中的引用變量就是C語言中指針的一個(gè)包裝，所以引用變量中存放的還是堆內(nèi)存中對象的地址。
2.創(chuàng)建一個(gè)int型的變量date，由于是基本類型，直接在棧中存放date對應(yīng)的值9。
3.創(chuàng)建兩個(gè)BirthDate類的實(shí)例d1、d2，在棧中分別存放了對應(yīng)的指針指向各自的對象。他們在實(shí)例化時(shí)調(diào)用了有參數(shù)的構(gòu)造方法，因此對象中有自定義初始值。
調(diào)用test對象的change1方法，并且以date為參數(shù)。JVM讀到這段代碼時(shí)，檢測到i是局部變量，因此會把i放在棧中，并且把date的值賦給i。
把1234賦給i。很簡單的一步。
change1方法執(zhí)行完畢，立即釋放局部變量i所占用的棧空間。
調(diào)用test對象的change2方法，以實(shí)例d1為參數(shù)。JVM檢測到change2方法中的b參數(shù)為局部變量，立即加入到棧中，由于是引用類型的變量，所以b中保存的是d1中的指針，此時(shí)b和d1指向同一個(gè)堆中的對象。在b和d1之間傳遞是指針。
change2方法中又實(shí)例化了一個(gè)BirthDate對象，并且賦給b。在內(nèi)部執(zhí)行過程是：在堆區(qū)new了一個(gè)對象，并且把該對象的指針保存在棧中的b對應(yīng)空間，此時(shí)實(shí)例b不再指向?qū)嵗齞1所指向的對象，但是實(shí)例d1所指向的對象并無變化，這樣無法對d1造成任何影響。
change2方法執(zhí)行完畢，立即釋放局部引用變量b所占的?？臻g，注意只是釋放了?？臻g，堆空間要等待自動(dòng)回收。
調(diào)用test實(shí)例的change3方法，以實(shí)例d2為參數(shù)。同理，JVM會在棧中為局部引用變量b分配空間，并且把d2中的指針存放在b中，此時(shí)d2和b指向同一個(gè)對象。再調(diào)用實(shí)例b的setDay方法，其實(shí)就是調(diào)用d2指向的對象的setDay方法。
調(diào)用實(shí)例b的setDay方法會影響d2，因?yàn)槎咧赶虻氖峭粋€(gè)對象。
change3方法執(zhí)行完畢，立即釋放局部引用變量b。
以上就是Java程序運(yùn)行時(shí)內(nèi)存分配的大致情況。其實(shí)也沒什么，掌握了思想就很簡單了。無非就是兩種類型的變量：基本類型和引用類型。二者作為局部變量，都放在棧中，基本類型直接在棧中保存值，引用類型只保存一個(gè)指向堆區(qū)的指針，真正的對象在堆里。作為參數(shù)時(shí)基本類型就直接傳值，引用類型傳指針（在java中只有值傳遞沒有地址傳遞但是引用變量中存放的是堆中對象的地址，所以也可以理解為地址傳遞）。
1.分清什么是對象引用變量（引用變量）什么是對象。Class a= new Class();此時(shí)a叫對象引用變量，而不能說a是對象。引用變量在棧中，對象在堆中，操作引用變量實(shí)際上是通過引用間接操作對象。多個(gè)引用變量可以引用到同一個(gè)對象。
2.棧中的數(shù)據(jù)和堆中的數(shù)據(jù)銷毀并不是同步的。方法一旦結(jié)束，棧中的局部變量立即銷毀，但是堆中對象不一定銷毀。因?yàn)榭赡苡衅渌兞恳仓赶蛄诉@個(gè)對象，直到棧中沒有變量指向堆中的對象時(shí)，它才銷毀，而且還不是馬上銷毀，要等垃圾回收掃描時(shí)才可以被銷毀。
3.每個(gè)方法執(zhí)行的時(shí)候都會建立自己的棧區(qū)，在方法中定義的局部變量（參數(shù)，方法中定義的變量）都在棧區(qū)中存放當(dāng)方法結(jié)束時(shí)這些局部變量也就結(jié)束了，但是堆內(nèi)存中的對象不會隨著方法的結(jié)束而銷毀而是判斷還有沒有引用變量引用到這個(gè)對象如果有的話就是說這個(gè)對象可達(dá)所以不會輕易的被GC回收，如果這個(gè)對象沒有被引用如果這時(shí)垃圾回收系統(tǒng)開始回收但發(fā)現(xiàn)這個(gè)對象沒有引用的話就會調(diào)用finalize（）方法來判斷這個(gè)對象是否可以再次可達(dá)如果可以的不會回收但是不過不可達(dá)的話可能會被回收（不是一定會被回收這里是不一定會回收因?yàn)檫@里還有對象的引用類型如：強(qiáng)引用，軟引用（softReference來實(shí)現(xiàn)），弱引用（WeakReference來實(shí)現(xiàn)）等因素有關(guān)，還要考慮其他的因素不在這里一一說明）如果可達(dá)的話還是不會回收的。
4.以上的棧、堆、代碼段、數(shù)據(jù)段等等都是相對于應(yīng)用程序而言的。每一個(gè)應(yīng)用程序都對應(yīng)唯一的一個(gè)JVM實(shí)例，每一個(gè)JVM實(shí)例都有自己的內(nèi)存區(qū)域，互不影響，調(diào)用JVM也就是激活一個(gè)進(jìn)程。并且這些內(nèi)存區(qū)域是所有線程共享的。這里提到的棧和堆都是整體上的概念，這些堆棧還可以細(xì)分。
5.類中定義的實(shí)例成員變量在不同對象中各不相同，都有自己的存儲空間(成員變量在堆中的對象中)。而類中定義的方法卻是該類的所有對象共享的，只有一套，對象使用方法的時(shí)候方法才被壓入棧，方法不使用則不占用內(nèi)存。
以上分析只涉及了棧和堆，還有一個(gè)非常重要的內(nèi)存區(qū)域：常量池，這個(gè)地方往往出現(xiàn)一些莫名其妙的問題。常量池是干嘛的上邊已經(jīng)說明了，也沒必要理解多么深刻，只要記住它維護(hù)了一個(gè)已加載類的常量就可以了。接下來結(jié)合一些例子說明常量池的特性。
預(yù)備知識：
基本類型和基本類型的包裝類?；绢愋陀校篵yte、short、char、int、long、boolean?；绢愋偷陌b類分別是：Byte、Short、Character、Integer、Long、Boolean。注意區(qū)分大小寫。二者的區(qū)別是：基本類型體現(xiàn)在程序中是普通變量，基本類型的包裝類是類，體現(xiàn)在程序中是引用變量。因此二者在內(nèi)存中的存儲位置不同：基本類型存儲在棧中，而基本類型包裝類存儲在堆中。上邊提到的這些包裝類都實(shí)現(xiàn)了常量池技術(shù)，而兩種浮點(diǎn)數(shù)類型的包裝類則沒有實(shí)現(xiàn)。另外，String類型也實(shí)現(xiàn)了常量池技術(shù)。
實(shí)例：
[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中對于引用變量來說“==”就是判斷這兩個(gè)引用變量所引用的是不是同一個(gè)對象
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();
}
}
結(jié)果：
[java] view plaincopy
i==i0 true
i1==i2 true
i1==i2+i3 true
i4==i5 false
i4==i5+i6 true
d1==d2 false
結(jié)果分析：
1.i和i0均是普通類型(int)的變量，所以數(shù)據(jù)直接存儲在棧中，而棧有一個(gè)很重要的特性：棧中的數(shù)據(jù)可以共享。當(dāng)我們定義了int i = 40;，再定義int i0 = 40;這時(shí)候會自動(dòng)檢查棧中是否有40這個(gè)數(shù)據(jù)，如果有，i0會直接指向i的40，不會再添加一個(gè)新的40。
2.i1和i2均是引用類型，在棧中存儲指針，因?yàn)镮nteger是包裝類。由于Integer包裝類實(shí)現(xiàn)了常量池技術(shù)，因此i1、i2的40均是從常量池中獲取的，均指向同一個(gè)地址，因此i1==12。
3.很明顯這是一個(gè)加法運(yùn)算，Java的數(shù)學(xué)運(yùn)算都是在棧中進(jìn)行的，Java會自動(dòng)對i1、i2進(jìn)行拆箱操作轉(zhuǎn)化成整型，因此i1在數(shù)值上等于i2+i3。
4.i4和i5均是引用類型，在棧中存儲指針，因?yàn)镮nteger是包裝類。但是由于他們各自都是new出來的，因此不再從常量池尋找數(shù)據(jù)，而是從堆中各自new一個(gè)對象，然后各自保存指向?qū)ο蟮闹羔槪詉4和i5不相等，因?yàn)樗麄兯娴刂凡煌玫降膶ο蟛煌?/p>
5.這也是一個(gè)加法運(yùn)算，和3同理。
6.d1和d2均是引用類型，在棧中存儲指針，因?yàn)镈ouble是包裝類。但Double包裝類沒有實(shí)現(xiàn)常量池技術(shù)，因此Doubled1=1.0;相當(dāng)于Double d1=new Double(1.0);，是從堆new一個(gè)對象，d2同理。因此d1和d2存放的指針不同，指向的對象不同，所以不相等。
1.以上提到的幾種基本類型包裝類均實(shí)現(xiàn)了常量池技術(shù)，但他們維護(hù)的常量僅僅是【-128至127】這個(gè)范圍內(nèi)的常量，如果常量值超過這個(gè)范圍，就會從堆中創(chuàng)建對象，不再從常量池中取。比如，把上邊例子改成Integer i1 = 400; Integer i2 = 400;，很明顯超過了127，無法從常量池獲取常量，就要從堆中new新的Integer對象，這時(shí)i1和i2就不相等了。
2.String類型也實(shí)現(xiàn)了常量池技術(shù)，但是稍微有點(diǎn)不同。String型是先檢測常量池中有沒有對應(yīng)字符串，如果有，則取出來；如果沒有，則把當(dāng)前的添加進(jìn)去。
以上知識點(diǎn)如有不明，或錯(cuò)誤還望大家批評指正，也希望以上知識點(diǎn)對大家有所幫助，同時(shí)希望大家常來光顧！
歡迎大家有興趣的可以關(guān)注我的公眾號【java小瓜哥的分享平臺】，文章都會在里面更新，還有各種java的資料都是免費(fèi)分享的。
創(chuàng)新互聯(lián)www.cdcxhl.cn，專業(yè)提供香港、美國云服務(wù)器，動(dòng)態(tài)BGP最優(yōu)骨干路由自動(dòng)選擇，持續(xù)穩(wěn)定高效的網(wǎng)絡(luò)助力業(yè)務(wù)部署。公司持有工信部辦法的idc、isp許可證， 機(jī)房獨(dú)有T級流量清洗系統(tǒng)配攻擊溯源，準(zhǔn)確進(jìn)行流量調(diào)度，確保服務(wù)器高可用性。佳節(jié)活動(dòng)現(xiàn)已開啟，新人活動(dòng)云服務(wù)器買多久送多久。
重慶分公司
重慶分公司
