有這樣一種說法,如今爭鋒于IT戰(zhàn)場的兩大勢力,MS一族偏重于底層實(shí)現(xiàn),Java一族偏重于系統(tǒng)架構(gòu)。說法根據(jù)無從考證,但從兩大勢力各自的社區(qū)力量和圖書市場已有佳作不難看出,此說法不虛,但掌握J(rèn)ava的底層實(shí)現(xiàn)對Java程序員來說是至關(guān)重要的,本文介紹了Java中的數(shù)據(jù)在內(nèi)存中的存儲。
2 內(nèi)存中的堆(stack)與棧(heap)
Java程序運(yùn)行時有6個地方可以存儲數(shù)據(jù),它們分別是寄存器、棧、堆、靜態(tài)存儲、常量存儲和非RAM存儲,主要是堆與棧的存儲。
棧與堆都是Java用來在RAM中存放數(shù)據(jù)的地方。與C++不同,Java自動管理?xiàng):投?,程序員不能直接地設(shè)置?;蚨选?font color="#0000ff">棧的優(yōu)勢是,存取速度比堆要快,僅次于直接位于CPU中的寄存器。另外,棧數(shù)據(jù)可以共享。但缺點(diǎn)是,存在棧中的數(shù)據(jù)大小與生存期必須是確定的,缺乏靈活性。堆的優(yōu)勢是可以動態(tài)地分配內(nèi)存大小,生存期也不必事先告訴編譯器,Java的垃圾收集器會自動收走這些不再使用的數(shù)據(jù)。但缺點(diǎn)是,由于要在運(yùn)行時動態(tài)分配內(nèi)存,存取速度較慢。
【 寄存器位于CPU中 】
3 Java中數(shù)據(jù)在內(nèi)存中的存儲
3.1基本數(shù)據(jù)類型的存儲
Java的基本數(shù)據(jù)類型共有8種,即int, short, long, byte, float, double, boolean, char(注意,并沒有string的基本類型)。這種類型的定義是通過諸如int a = 3; long b = 255L;的形式來定義的,稱為自動變量。值得注意的是:自動變量存的是字面值,不是類的實(shí)例,即不是類的引用,這里并沒有類的存在。如int a = 3;這里的a是一個指向int類型的引用,指向3這個字面值。這些字面值的數(shù)據(jù),由于大小可知,生存期可知(這些字面值固定定義在某個程序塊里面,程序塊退出后,字段值就消失了),出于追求速度的原因,就存在于棧中。
另外,棧有一個很重要的特殊性,就是存在棧中的數(shù)據(jù)可以共享。
int a = 3;
編譯器先處理int a = 3;首先它會在棧中創(chuàng)建一個變量為a的引用,然后查找有沒有字面值為3的地址,沒找到,就開辟一個存放3這個字面值的地址,然后將a指向3的地址。接著處理int b = 3;在創(chuàng)建完b這個引用變量后,由于在棧中已經(jīng)有3這個字面值,便將b直接指向3的地址。這樣,就出現(xiàn)了a與b同時均指向3的情況。
定義完a與b的值后,再令a = 4;那么,b不會等于4,還是等于3。在編譯器內(nèi)部,遇到時,它就會重新搜索棧中是否有4的字面值,如果沒有,重新開辟地址存放4的值;如果已經(jīng)有了,則直接將a指向這個地址。因此a值的改變不會影響到b的值。
3.2對象的內(nèi)存模型
在Java中,創(chuàng)建一個對象包括對象的聲明和實(shí)例化兩步,下面用一個例題來說明對象的內(nèi)存模型。
假設(shè)有類Rectangle定義如下:
class Rectangle{
double width,height;
Rectangle(double w,double h){
width=w;height=h; }}
(1)聲明對象時的內(nèi)存模型
用Rectangle rect;聲明一個對象rect時,將在棧內(nèi)存為對象的引用變量rect分配內(nèi)存空間,但Rectangle的值為空,稱rect是一個空對象??諏ο蟛荒苁褂?,因?yàn)樗€沒有引用任何“實(shí)體”。
(2)對象實(shí)例化時的內(nèi)存模型
當(dāng)執(zhí)行rect=new Rectangle(3,5);時,會做兩件事:
在堆內(nèi)存中為類的成員變量width,height分配內(nèi)存,并將其初始化為各數(shù)據(jù)類型的默認(rèn)值;接著進(jìn)行顯式初始化(類定義時的初始化值);最后調(diào)用構(gòu)造方法,為成員變量賦值。
返回堆內(nèi)存中對象的引用(相當(dāng)于首地址)給引用變量rect,以后就可以通過rect來引用堆內(nèi)存中的對象了。
(3)創(chuàng)建多個不同的對象實(shí)例
一個類通過使用new運(yùn)算符可以創(chuàng)建多個不同的對象實(shí)例,這些對象實(shí)例將在堆中被分配不同的內(nèi)存空間,改變其中一個對象的狀態(tài)不會影響其他對象的狀態(tài)。例如:
Rectangle r1=new Rectangle(3,5);
Rectangle r2=new Rectangle(4,6);
此時,將在堆內(nèi)存中分別為兩個對象的成員變量width、height分配內(nèi)存空間,兩個對象在堆內(nèi)存中占據(jù)的空間是互不相同的。如果有
Rectangle r1=new Rectangle(3,5);
Rectangle r2=r1;
則在堆內(nèi)存中只創(chuàng)建了一個對象實(shí)例,在棧內(nèi)存中創(chuàng)建了兩個對象引用,兩個對象引用同時指向一個對象實(shí)例。
3.3包裝類數(shù)據(jù)的存儲
基本型別都有對應(yīng)的包裝類:如int對應(yīng)Integer類,double對應(yīng)Double類等,基本類型的定義都是直接在棧中,如果用包裝類來創(chuàng)建對象,就和普通對象一樣了。例如:int i=0;i直接存儲在棧中。
3.4 String 類型數(shù)據(jù)的存儲
String是一個特殊的包裝類數(shù)據(jù)。
可以用
也可以用
第一種創(chuàng)建方式,和普通對象的的創(chuàng)建過程一樣;
第二種創(chuàng)建方式,Java內(nèi)部將此語句轉(zhuǎn)化為以下幾個步驟:
(1)先定義一個名為str的對String類的對象引用變量:String str;
(2)在棧中查找有沒有存放值為“abc”的地址,如果沒有,則開辟一個存放字面值為“abc”的地址,接著創(chuàng)建一個新的String類的對象o,并將o的字符串值指向這個地址,而且在棧中這個地址旁邊記下這個引用的對象o。如果已經(jīng)有了值為“abc”的地址,則查找對象o,并返回o的地址。
(3)將str指向?qū)ο髈的地址。
值得注意的是,一般String類中字符串值都是直接存值的。但像String str = "abc";這種場合下,其字符串值卻是保存了一個指向存在棧中數(shù)據(jù)的引用。
為了更好地說明這個問題,我們可以通過以下的幾個代碼進(jìn)行驗(yàn)證。
String str1=“abc”;
String str2=“abc”;
System.out.println(s1==s2);//true
注意,這里并不用str1.equals(str2);的方式,因?yàn)檫@將比較兩個字符串的值是否相等。==號,根據(jù)JDK的說明,只有在兩個引用都指向了同一個對象時才返回真值。而我們在這里要看的是,str1與str2是否都指向了同一個對象。
我們再接著看以下的代碼。
Stringstr1=new String(“abc”);
Stringstr2=“abc”;
System.out.println(str1==str2);//false
創(chuàng)建了兩個引用。創(chuàng)建了兩個對象。兩個引用分別指向不同的兩個對象。
以上兩段代碼說明,只要是用new()來新建對象的,都會在堆中創(chuàng)建,而且其字符串是單獨(dú)存值的,即使與棧中的數(shù)據(jù)相同,也不會與棧中的數(shù)據(jù)共享。
3.5數(shù)組的內(nèi)存分配
當(dāng)定義一個數(shù)組,int x[];或int []x;時,在棧內(nèi)存中創(chuàng)建一個數(shù)組引用,通過該引用(即數(shù)組名)來引用數(shù)組。x=new int[3];將在堆內(nèi)存中分配3個保存int型數(shù)據(jù)的空間,堆內(nèi)存的首地址放到棧內(nèi)存中,每個數(shù)組元素被初始化為0。
4 內(nèi)存空間的釋放
棧上變量的生存時間受限于當(dāng)前函數(shù)的生存時間,函數(shù)退出了,變量就不存在了。在堆中分配的對象實(shí)例,當(dāng)不再有任何一個引用變量指向它時,這個對象就可以被垃圾回收機(jī)制回收了。
5 總結(jié)堆棧
再來看Java的內(nèi)存,棧內(nèi)存用來存放一些基本類型的變量和數(shù)組及對象的引用變量,而堆內(nèi)存主要是來放置對象實(shí)例的。明白這個就能很好的解釋多態(tài)、繼承、覆蓋方面的問題了