轉自：http://www.iteye.com/topic/634530
1.暫存器：最快的儲存區, 由編譯器根據需求進行分配,我們在程式中無法控制.
2. 棧：存放基本型別的變數資料和物件的引用，但物件本身不存放在棧中，而是存放在堆（new 出來的物件）或者常量池中(物件可能在常量池裡)（字串常量物件存放在常量池中。）
3. 堆：存放所有new出來的物件。
4. 靜態域：存放靜態成員（static定義的）
5. 常量池：存放字串常量和基本型別常量（public static final）。有時，在嵌入式系統中，常量本身會和其他部分分割離開(由於版權等其他原因)，所以在這種情況下，可以選擇將其放在ROM中 。
6. 非RAM儲存：硬碟等永久儲存空間

這裡我們主要關心棧，堆和常量池，對於棧和常量池中的物件可以共享，對於堆中的物件不可以共享。棧中的資料大小和生命週期是可以確定的

1. String s1 = "china";  
2. String s2 = "china";  
3. String s3 = "china";  
4. String ss1 = new String("china");  
5. String ss2 = new String("china");  
6. String ss3 = new String("china");  

這裡解釋一下黃色這3個箭頭，對於通過new產生一個字串（假設為”china”）時，會先去常量池中查詢是否已經有了”china”物件，如果沒有則在常量池中建立一個此字串物件，然後堆中再建立一個常量池中此”china”物件的拷貝物件。這也就是有道面試題：String s = new String(“xyz”);產生幾個物件？一個或兩個，如果常量池中原來沒有”xyz”,就是兩個。

對於基礎型別的變數和常量：變數和引用儲存在棧中，常量儲存在常量池中。
如以下程式碼：

1. int i1 = 9;  
2. int i2 = 9;  
3. int i3 = 9;   
4. public static final int INT1 = 9;  
5. public static final int INT2 = 9;  
6. public static final int INT3 = 9;  

對於成員變數和區域性變數：成員變數就是方法外部，類的內部定義的變數；區域性變數就是方法或語句塊內部定義的變數。區域性變數必須初始化。
形式引數是區域性變數，區域性變數的資料存在於棧記憶體中。棧記憶體中的區域性變數隨著方法的消失而消失。
成員變數儲存在堆中的物件裡面，由垃圾回收器負責回收。
注意：棧裡只有一個9 ，i1，i2，i3 都指向9 。如果 令 i2=7；會在棧裡生成7 再令i2 指向7。
如以下程式碼：

1. class BirthDate {  
2.     private int day;  
3.     private int month;  
4.     private int year;      
5.     public BirthDate(int d, int m, int y) {  
6.         day = d;   
7.         month = m;   
8.         year = y;  
9.     }  
10.     省略get,set方法………  
11. }  
12. public class Test{  
13.     public static void main(String args[]){  
14. int date = 9;  
15.         Test test = new Test();        
16.            test.change(date);   
17.         BirthDate d1= new BirthDate(7,7,1970);         
18.     }    
19.     public void change1(int i){  
20.         i = 1234;  
21.     }  

}


對於以上這段程式碼，date為區域性變數，i,d,m,y都是形參為區域性變數，day，month，year為成員變數。下面分析一下程式碼執行時候的變化：
1. main方法開始執行：int date = 9;
date區域性變數，基礎型別，引用和值都存在棧中。
2. Test test = new Test();
test為物件引用，存在棧中，物件(new Test())存在堆中。
3. test.change(date);
i為區域性變數，引用和值存在棧中。當方法change執行完成後，i就會從棧中消失。
4. BirthDate d1= new BirthDate(7,7,1970);  
d1為物件引用，存在棧中，物件(new BirthDate())存在堆中，其中d，m，y為區域性變數儲存在棧中，且它們的型別為基礎型別，因此它們的資料也儲存在棧中。day,month,year為成員變數，它們儲存在堆中(new BirthDate()裡面)。當BirthDate構造方法執行完之後，d,m,y將從棧中消失。
5.main方法執行完之後，date變數，test，d1引用將從棧中消失，new Test(),new BirthDate()將等待垃圾回收
------------------------------------------------------------------------------------------------------------------------------
JVM 中的堆疊
JVM是基於堆疊的虛擬機器.JVM為每個新建立的執行緒都分配一個堆疊.也就是說,對於一個Java程式來說，它的執行就是通過對堆疊的操作來完成的。堆疊以幀為單位儲存執行緒的狀態。JVM對堆疊只進行兩種操作:以幀為單位的壓棧和出棧操作。 
　　我們知道,某個執行緒正在執行的方法稱為此執行緒的當前方法.我們可能不知道,當前方法使用的幀稱為當前幀。當執行緒啟用一個Java方法,JVM就會線上程的 Java堆疊裡新壓入一個幀。這個幀自然成為了當前幀.在此方法執行期間,這個幀將用來儲存引數,區域性變數,中間計算過程和其他資料.這個幀在這裡和編譯原理中的活動紀錄的概念是差不多的. 
　　從Java的這種分配機制來看,堆疊又可以這樣理解:堆疊(Stack)是作業系統在建立某個程序時或者執行緒(在支援多執行緒的作業系統中是執行緒)為這個執行緒建立的儲存區域，該區域具有先進後出的特性。 
　　每一個Java應用都唯一對應一個JVM例項，每一個例項唯一對應一個堆。應用程式在執行中所建立的所有類例項或陣列都放在這個堆中,並由應用所有的執行緒共享.跟C/C++不同，Java中分配堆記憶體是自動初始化的。Java中所有物件的儲存空間都是在堆中分配的，但是這個物件的引用卻是在堆疊中分配,也就是說在建立一個物件時從兩個地方都分配記憶體，在堆中分配的記憶體實際建立這個物件，而在堆疊中分配的記憶體只是一個指向這個堆物件的指標(引用)而已。

JAVA 堆疊
棧與堆都是Java用來在Ram中存放資料的地方。與C++不同，Java自動管理棧和堆，程式設計師不能直接地設定棧或堆。
　　Java的堆是一個執行時資料區,類的(物件從中分配空間。這些物件通過new、newarray、anewarray和multianewarray等指令建立，它們不需要程式程式碼來顯式的釋放。堆是由垃圾回收來負責的，堆的優勢是可以動態地分配記憶體大小，生存期也不必事先告訴編譯器，因為它是在執行時動態分配記憶體的，Java的垃圾收集器會自動收走這些不再使用的資料。但缺點是，由於要在執行時動態分配記憶體，存取速度較慢。 
　　棧的優勢是，存取速度比堆要快，僅次於暫存器，棧資料可以共享。但缺點是，存在棧中的資料大小與生存期必須是確定的，缺乏靈活性。棧中主要存放一些基本型別的變數(,int, short, long, byte, float, double, boolean, char)和物件控制代碼。 
　　棧有一個很重要的特殊性，就是存在棧中的資料可以共享。假設我們同時定義： 
　　int a = 3; 
　　int b = 3; 
　　編譯器先處理int a = 3;首先它會在棧中建立一個變數為a的引用，然後查詢棧中是否有3這個值，如果沒找到，就將3存放進來，然後將a指向3。接著處理int b = 3;在建立完b的引用變數後，因為在棧中已經有3這個值，便將b直接指向3。這樣，就出現了a與b同時均指向3的情況。這時，如果再令a=4;那麼編譯器會重新搜尋棧中是否有4值，如果沒有，則將4存放進來，並令a指向4;如果已經有了，則直接將a指向這個地址。因此a值的改變不會影響到b的值。要注意這種資料的共享與兩個物件的引用同時指向一個物件的這種共享是不同的，因為這種情況a的修改並不會影響到b, 它是由編譯器完成的，它有利於節省空間。而一個物件引用變數修改了這個物件的內部狀態，會影響到另一個物件引用變數 
----------------------------------------------------------------------------------------------
另外還有一個疑問：
int [] arr={1,2,3,4}
即沒有用new 顯示生成的原始型別陣列是存放在哪的。
是存放在堆還是棧裡。
在c++ 裡肯定是在棧裡(C++ 在堆裡生成的一定要手動delete 掉自己回收的，而int a[]={1,3}我們不需手動回收)