詳細介紹Java中的堆和棧
棧與堆都是Java用來在RAM中寄存數(shù)據(jù)的中央。與C++不同,Java自動管理棧和堆,程序員不能直接地設置?;蚨?。
Java的堆是一個運轉(zhuǎn)時數(shù)據(jù)區(qū),類的對象從中分配空間。這些對象經(jīng)過new、newarray、anewarray和 multianewarray等指令建立,它們不需要程序代碼來顯式的釋放。堆是由垃圾回收來負責的,堆的優(yōu)勢是可以靜態(tài)地分配內(nèi)存大小,生活期也不用事 先通知編譯器,因為它是在運轉(zhuǎn)時靜態(tài)分配內(nèi)存的,Java的垃圾搜集器會自動收走這些不再運用的數(shù)據(jù)。但缺陷是,由于要在運轉(zhuǎn)時靜態(tài)分配內(nèi)存,存取速度較 慢。
棧的優(yōu)勢是,存取速度比堆要快,僅次于寄存器,棧數(shù)據(jù)可以共享。但缺陷是,存在棧中的數(shù)據(jù)大小與生活期必須是確定的,缺乏靈敏性。棧中主要寄存一些基本類 型的變量(,int, short, long, byte, float, double, boolean, char)和對象句柄。
棧有一個很重要的特殊性,就是存在棧中的數(shù)據(jù)可以共享。假定我們同時定義:
- int a = 3;
- int b = 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=4;那么編譯器會重新搜索棧中能否有4值,如果沒有,則將4寄存出去,并令a指向4;如果已經(jīng)有了,則直接將a指向這個地 址。因此a值的改變不會影響到b的值。
要注意這種數(shù)據(jù)的共享與兩個對象的引用同時指向一個對象的這種共享是不同的,因為這種狀況a的修改并不會影響到b, 它是由編譯器完成的,它有利于節(jié)省空間。而一個對象引用變量修改了這個對象的外部狀態(tài),會影響到另一個對象引用變量。
String是一個特殊的包裝類數(shù)據(jù)??梢杂茫?/p>
- String str = new String("abc");
- String str = "abc";
兩種的形式來創(chuàng)建,第一種是用new()來新建對象的,它會在寄存于堆中。每調(diào)用一次就會創(chuàng)建一個新的對象。
而第二種是先在棧中創(chuàng)建一個對String類的對象引用變量str,然后查找棧中有沒有寄存"abc",如果沒有,則將"abc"寄存進棧,并 令str指向”abc”,如果已經(jīng)有”abc” 則直接令str指向“abc”。
比擬類外面的數(shù)值能否相等時,用equals()辦法;當測試兩個包裝類的引用能否指向同一個對象時,用==,下面用例子說明下面的理論。
- String str1 = "abc";
- String str2 = "abc";
- System.out.println(str1==str2); //true
可以看出str1和str2是指向同一個對象的。
- String str1 =new String ("abc");
- String str2 =new String ("abc");
- System.out.println(str1==str2); // false
用new的方式是生成不 同的對象。每一次生成一個。
因此用第一種方式創(chuàng)建多個”abc”字符串,在內(nèi)存中其實只存在一個對象而已. 這種寫法有利與節(jié)省內(nèi)存空間. 同時它可以在一定水平上進步程序的運轉(zhuǎn)速度,因為JVM會自動根據(jù)棧中數(shù)據(jù)的實際狀況來決議能否有必要創(chuàng)建新對象。而對于String str = new String("abc");的代碼,則一概在堆中創(chuàng)建新對象,而不管其字符串值能否相等,能否有必要創(chuàng)建新對象,從而減輕了程序的擔負。
另一方面, 要注意: 我們在運用諸如String str = "abc";的格式定義類時,總是想當然地以為,創(chuàng)建了String類的對象str。擔心陷阱!對象能夠并沒有被創(chuàng)建!而能夠只是指向一個先前已經(jīng)創(chuàng)建的 對象。只有經(jīng)過new()辦法才干保證每次都創(chuàng)建一個新的對象。
由于String類的immutable性質(zhì),當String變量需要經(jīng)常變換其值時,應該思索運用StringBuffer類,以進步程序效 率。
申請后零碎的照應
棧:只要棧的剩余空間大于所申請空間,零碎將為程序提供內(nèi)存,否則將報異常提示棧溢出。
堆: 首先應該知道操作零碎有一個記載空閑內(nèi)存地址的鏈表,當零碎收到程序的申請時,會遍歷該鏈表,尋覓第一個空間大于所申請空間的堆結(jié)點,然后將該結(jié)點從空閑 結(jié)點鏈表中刪除,并將該結(jié)點的空間分配給程序,另外,對于大多數(shù)零碎,會在這塊內(nèi)存空間中的首地址處記載本次分配的大小,這樣,代碼中的delete語句 才干正確的釋放本內(nèi)存空間。另外,由于找到的堆結(jié)點的大小不一定正好等于申請的大小,零碎會自動的將多余的那部分重新放入空閑鏈表中。
申請大小的限制
棧:在Windows下,棧是向低地址擴展的數(shù)據(jù)構(gòu)造,是一塊連續(xù)的內(nèi)存的區(qū)域。這句話的意思是棧頂?shù)牡刂泛蜅5淖畲笕萘渴橇闼轭A先規(guī)定好的, 在WINDOWS下,棧的大小是2M(也能夠是1M,它是一個編譯時就確定的常數(shù)),如果申請的空間超越棧的剩余空間時,將提示overflow。因此, 能從棧取得的空間較小。
堆:堆是向高地址擴展的數(shù)據(jù)構(gòu)造,是不連續(xù)的內(nèi)存區(qū)域。這是由于零碎是用鏈表來存儲的空閑內(nèi)存地址的,自然是不連續(xù)的,而鏈表的遍歷方向是由低 地址向高地址。堆的大小受限于計算機零碎中有效的虛擬內(nèi)存。由此可見,堆取得的空間比擬靈敏,也比擬大。
申請效率的比擬:
棧由零碎自動分配,速度較快。但程序員是無法控制的。
堆是由new分配的內(nèi)存,普通速度比擬慢,而且容易發(fā)生內(nèi)存碎片,不過用起來最方便.
另外,在WINDOWS下,最好的方式是用VirtualAlloc分配內(nèi)存,他不是在堆,也不是在棧是直接在進程的地址空間中保管一快內(nèi)存, 雖然用起來最不方便。但是速度快,也最靈敏。
堆和棧中的存儲內(nèi)容
棧:在函數(shù)調(diào)用時,第一個進棧的是主函數(shù)中后的下一條指令(函數(shù)調(diào)用語句的下一條可執(zhí)行語句)的地址,然后是函數(shù)的各個參數(shù),在大多數(shù)的C編譯 器中,參數(shù)是由右往左入棧的,然后是函數(shù)中的局部變量。注意靜態(tài)變量是不入棧的。
當本次函數(shù)調(diào)用完畢后,局部變量先出棧,然后是參數(shù),最后棧頂指針指向最末尾存的地址,也就是主函數(shù)中的下一條指令,程序由該點繼續(xù)運轉(zhuǎn)。
堆:普通是在堆的頭部用一個字節(jié)寄存堆的大小。堆中的詳細內(nèi)容有程序員布置。
存取效率的比擬
- char s1 = "aaaaaaaaaaaaaaa";
- char *s2 = "bbbbbbbbbbbbbbbbb";
aaaaaaaaaaa是在運轉(zhuǎn)時辰賦值的;
而bbbbbbbbbbb是在編譯時就確定的;
但是,在以后的存取中,在棧上的數(shù)組比指針所指向的字符串(例如堆)快。
比如:
- void main()
- {
- char a = 1;
- char c[] = "1234567890";
- char *p ="1234567890";
- a = c[1];
- a = p[1];
- return;
- }
對應的匯編代碼
- 10: a = c[1];
- 00401067 8A 4D F1 mov cl,byte ptr [ebp-0Fh]
- 0040106A 88 4D FC mov byte ptr [ebp-4],cl
- 11: a = p[1];
- 0040106D 8B 55 EC mov edx,dword ptr [ebp-14h]
- 00401070 8A 42 01 mov al,byte ptr [edx+1]
- 00401073 88 45 FC mov byte ptr [ebp-4],al
第一種在讀取時直接就把字符串中的元素讀到寄存器cl中,而第二種則要先把指針值讀到edx中,在根據(jù)
edx讀取字符,顯然慢了。
小結(jié):
堆和棧的區(qū)別可以用如下的比喻來看出:
運用棧就象我們?nèi)ワ堭^里吃飯,只管點菜(收回申請)、付錢、和吃(運用),吃飽了就走,不用理會切菜、洗菜等預備工作和洗碗、刷鍋等掃尾工作, 他的益處是快捷,但是自由度小。