java+記憶體配置及變數儲存位置的區別

標籤：

Java記憶體配置與管理是Java的核心技術之一，之前我們曾介紹過Java的記憶體管理與記憶體泄露以及Java記憶體回收方面的知識，今天我們再次深入Java核心，詳細介紹一下Java在記憶體配置方面的知識。一般Java在記憶體配置時會涉及到以下地區：

　　◆寄存器：我們在程式中無法控制

　　◆棧：存放基本類型的資料和對象的引用，但對象本身不存放在棧中，而是存放在堆中（new 出來的對象）

　　◆堆：存放用new產生的資料

　　◆靜態域：存放在對象中用static定義的靜態成員

　　◆常量池：存放常量

　　◆非RAM儲存：硬碟等永久儲存空間

 

Java記憶體配置中的棧

　　在函數中定義的一些基本類型的變數資料和對象的引用變數都在函數的棧記憶體中分配。

　　當在一段代碼塊定義一個變數時，Java就在棧中 為這個變數分配記憶體空間，當該變數退出該範圍後，Java會自動釋放掉為該變數所分配的記憶體空間，該記憶體空間可以立即被另作他用。棧中的資料大小和生命週期是可以確定的，當沒有引用指向資料時，這個資料就會消失。

 

Java記憶體配置中的堆

　　堆記憶體用來存放由new建立的對象和數組。 在堆中分配的記憶體，由Java虛擬機器的自動記憶體回收行程來管理。

　　在堆中產生了一個數組或對象後，還可以 在棧中定義一個特殊的變數，讓棧中這個變數的取值等於數組或對象在堆記憶體中的首地址，棧中的這個變數就成了數組或對象的引用變數。  引用變數就相當於是 為數組或對象起的一個名稱，以後就可以在程式中使用棧中的引用變數來訪問堆中的數組或對象。引用變數就相當於是為數組或者對象起的一個名稱。

　　引用變數是普通的變數，定義時在棧中分配，引用變數在程式運行到其範圍之外後被釋放。而數組和對象本身在堆中分配，即使程式 運行到使用 new 產生數組或者對象的語句所在的代碼塊之外，數組和對象本身佔據的記憶體不會被釋放，數組和對象在沒有引用變數指向它的時候，才變為垃圾，不能在被使用，但仍 然佔據記憶體空間不放，在隨後的一個不確定的時間被記憶體回收行程收走（釋放掉）。這也是 Java 比較占記憶體的原因。

　　實際上，棧中的變數指向堆記憶體中的變數，這就是Java中的指標！ 

 

堆與棧

　　Java的堆是一個運行時資料區,類的(對象從中分配空間。這些對象通過new、newarray、 anewarray和multianewarray等指令建立，它們不需要程式碼來顯式的釋放。堆是由記憶體回收來負責的，堆的優勢是可以動態地分配記憶體 大小，生存期也不必事先告訴編譯器，因為它是在運行時動態分配記憶體的，Java的垃圾收集器會自動收走這些不再使用的資料。但缺點是，由於要在運行時動態 分配記憶體，存取速度較慢。

　　棧的優勢是，存取速度比堆要快，僅次於寄存器，棧資料可以共用。但缺點是，存在棧中的資料大小與生存期必須是 確定的，缺乏靈活性。棧中主要存放一些基本類型的變數資料（int, short, long, byte, float, double, boolean, char）和物件控點(引用)。

       棧有一個很重要的特殊性，就是存在棧中的資料可以共用。假設我們同時定義：

　　Java代碼

　　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, 它是由編譯器完成的，它有利於節省空間的。而一個對象引用變數修改了這個對象的內部狀態，會影響到另一個對象引用變數。

Java代碼  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;  

對於成員變數和局部變數：成員變數就是方法外部，類的內部定義的變數；局部變數就是方法或語句塊內部定義的變數。局部變數必須初始化。 形式參數是局部變數，局部變數的資料存在於棧記憶體中。棧記憶體中的局部變數隨著方法的消失而消失。 成員變數儲存在堆中的對象裡面，由記憶體回收行程負責回收。 如以下代碼： Java代碼 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.  13.public class Test{  14.    public static void main(String args[]){  15.int date = 9;  16.        Test test = new Test();        17.           test.change(date);   18.        BirthDate d1= new BirthDate(7,7,1970);         19.    }    20.  21.    public void change1(int i){  22.        i = 1234;  23.    }   對於以上這段代碼，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()將等待記憶體回收。

常量池 (constant pool)

　　常量池指的是在編譯期被確定，並被儲存在已編譯的.class檔案中的一些資料。

除了包含代碼中所定義的各種基本類型（如int、long等等）和對象型（如String及數組）的常量值(final)還包含一些以文本形式出現的符號引用，比如：

　　◆類和介面的全限定名；

　　◆欄位的名稱和描述符；

　　◆方法和名稱和描述符。

如果是編譯期已經建立好(直接用雙引號定義的)的就儲存在常量池中，如果是運行期（new出來的）才能確定的就儲存在堆中。對於equals相等的字串，在常量池中永遠只有一份，在堆中有多份。

String是一個特殊的封裝類資料。可以用：

　　Java代碼

　　String str = new String("abc");

　　String str = "abc";

　　兩種的形式來建立，第一種是用new()來建立對象的，它會在存放於堆中。每調用一次就會建立一個新的對象。而第二種是先在棧中建立一個對 String類的對象引用變數str，然後通過符號引用去字串常量池 裡找有沒有"abc",如果沒有，則將"abc"存放進字串常量池 ，並令str指向”abc”，如果已經有”abc” 則直接令str指向“abc”。

　　比較類裡面的數值是否相等時，用equals()方法；當測試兩個封裝類的引用是否指向同一個對象時，用==，下面用例子說明上面的理論。

　　Java代碼

　　String str1 = "abc";

　　String str2 = "abc";

　　System.out.println(str1==str2); //true

　　可以看出str1和str2是指向同一個對象的。

　　Java代碼

　　String str1 =new String ("abc");

　　String str2 =new String ("abc");

　　System.out.println(str1==str2); // false

　　用new的方式是產生不同的對象。每一次產生一個。

　　因此用第二種方式建立多個”abc”字串,在記憶體中 其實只存在一個對象而已. 這種寫法有利與節省記憶體空間. 同時它可以在一定程度上提高程式的運行速度，因為JVM會自動根據棧中資料的實際情況來決定是否有必要建立新對象。而對於String str = new String("abc")；的代碼，則一概在堆中建立新對象，而不管其字串值是否相等，是否有必要建立新對象，從而加重了程式的負擔。

　　另 一方面, 要注意: 我們在使用諸如String str = "abc"；的格式定義類時，總是想當然地認為，建立了String類的對象str。擔心陷阱！對象可能並沒有被建立！而可能只是指向一個先前已經建立的 對象。只有通過new()方法才能保證每次都建立一個新的對象。

 

String常量池問題的幾個例子

樣本1：

Java代碼

　　String s0="kvill";

　　String s1="kvill";

　　String s2="kv" + "ill";

　　System.out.println( s0==s1 );

　　System.out.println( s0==s2 );

　　結果為：

　　true

　　true

分析：首先，我們要知結果為道Java 會確保一個字串常量只有一個拷貝。

　　因為例子中的 s0和s1中的”kvill”都是字串常量，它們在編譯期就被確定了，所以s0==s1為true；而”kv”和”ill”也都是字串常量，當一個字 符串由多個字串常量串連而成時，它自己肯定也是字串常量，所以s2也同樣在編譯期就被解析為一個字串常量，所以s2也是常量池中” kvill”的一個引用。所以我們得出s0==s1==s2；

樣本2：

樣本：

　　Java代碼

　　String s0="kvill";

　　String s1=new String("kvill");

　　String s2="kv" + new String("ill");

　　System.out.println( s0==s1 );

　　System.out.println( s0==s2 );

　　System.out.println( s1==s2 );

　　結果為：

　　false

　　false

　　false

分析：用new String() 建立的字串不是常量，不能在編譯期就確定，所以new String() 建立的字串不放入常量池中，它們有自己的地址空間。

s0還是常量池 中"kvill”的應用，s1因為無法在編譯期確定，所以是運行時建立的新對象”kvill”的引用，s2因為有後半部分 new String(”ill”)所以也無法在編譯期確定，所以也是一個新建立對象”kvill”的應用;明白了這些也就知道為何得出此結果了。

樣本3：

Java代碼

　　String a = "a1";

　　String b = "a" + 1;

　　System.out.println((a == b)); //result = true 

       String a = "atrue";

　　String b = "a" + "true";

　　System.out.println((a == b)); //result = true 

        String a = "a3.4";

　　String b = "a" + 3.4;

　　System.out.println((a == b)); //result = true

分析：JVM對於字串常量的"+"號串連，將程式編譯期，JVM就將常量字串的"+"串連最佳化為串連後的值，拿"a" + 1來說，經編譯器最佳化後在class中就已經是a1。在編譯期其字串常量的值就確定下來，故上面程式最終的結果都為true。

樣本4：

Java代碼

　　String a = "ab";

　　String bb = "b";

　　String b = "a" + bb;

　　System.out.println((a == b)); //result = false

分析：JVM對於字串引用，由於在字串的"+"串連中，有字串引用存在，而引用的值在程式編譯期是無法確定的，即"a" + bb無法被編譯器最佳化，只有在程式運行期來動態分配並將串連後的新地址賦給b。所以上面程式的結果也就為false。

樣本5：

Java代碼

　　String a = "ab";

　　final String bb = "b";

　　String b = "a" + bb;

　　System.out.println((a == b)); //result = true

分析：和[4]中唯一不同的是bb字串加了final修飾，對於final修飾的變數，它在編譯時間被解析為常量值的一個本地拷貝儲存到自己的常量 池中或嵌入到它的位元組碼流中。所以此時的"a" + bb和"a" + "b"效果是一樣的。故上面程式的結果為true。

樣本6：

Java代碼

　　String a = "ab";

　　final String bb = getBB();

　　String b = "a" + bb;

　　System.out.println((a == b)); //result = false

　　private static String getBB() {  return "b";   }

分析：JVM對於字串引用bb，它的值在編譯期無法確定，只有在程式運行期調用方法後，將方法的傳回值和"a"來動態串連並分配地址為b，故上面 程式的結果為false。

 

關於String是不可變的

       通過上面例子可以得出得知：

　　String  s  =  "a" + "b" + "c";

　　就等價於String s = "abc";

　　String  a  =  "a";

　　String  b  =  "b";

　　String  c  =  "c";

　　String  s  =   a  +  b  +  c;

　　這個就不一樣了，最終結果等於：

　　Java代碼

　　StringBuffer temp = new StringBuffer();

　　temp.append(a).append(b).append(c);

　　String s = temp.toString();

　　由上面的分析結果，可就不難推斷出String 採用串連運算子（+）效率低下原因分析，形如這樣的代碼：

　　Java代碼

　　public class Test {

　　   public static void main(String args[]) {

　　     String s = null;

　　     for(int i = 0; i < 100; i++) {

　　         s += "a";

　　    }

　　 }

　　}

　　每做一次 + 就產生個StringBuilder對象，然後append後就扔掉。下次迴圈再到達時重新產生個StringBuilder對象，然後 append 字串，如此迴圈直至結束。如果我們直接採用 StringBuilder 對象進行 append 的話，我們可以節省 N - 1 次建立和銷毀對象的時間。所以對於在迴圈中要進行字串連線應用程式，一般都是用StringBuffer或StringBulider對象來進行 append操作。

　　由於String類的immutable性質,這一說又要說很多，大家只 要知道String的執行個體一旦產生就不會再改變了，比如說：String str=”kv”+”ill”+” “+”ans”; 就是有4個字串常量，首先”kv”和”ill”產生了”kvill”存在記憶體中，然後”kvill”又和” ” 產生 “kvill “存在記憶體中，最後又和產生了”kvill ans”;並把這個字串的地址賦給了str,就是因為String的”不可變”產生了很多臨時變數，這也就是為什麼建議用StringBuffer的原 因了，因為StringBuffer是可改變的。

 

String中的final用法和理解

　　Java代碼

　　final StringBuffer a = new StringBuffer("111");

　　final StringBuffer b = new StringBuffer("222");

　　a=b;//此句編譯不通過

　　final StringBuffer a = new StringBuffer("111");

　　a.append("222");// 編譯通過

　　可見，final只對引用的"值"(即記憶體位址)有效，它迫使引用只能指向初始指向的那個對象，改變它的指向會導致編譯期錯誤。至於它所指向的對象 的變化，final是不負責的。

 

總結

　　棧中用來存放一些未經處理資料類型的局部變數資料和對象的引用(String,數組.對象等等)但不存放對象內容

　　堆中存放使用new關鍵字建立的對象.

　　字串是一個特殊封裝類,其引用是存放在棧裡的,而對象內容必鬚根據建立方式不同定(常量池和堆).有的是編譯期就已經建立好，存放在字串常 量池中，而有的是運行時才被建立.使用new關鍵字，存放在堆中。

java+記憶體配置及變數儲存位置的區別