Java中的字符串也是一連串的字符，但是與許多其他的計算機(jī)語言將字符串作為字符數(shù)組處理不同，Java將字符串作為String類型對象來處理。將字符串作為內(nèi)置的對象處理允許Java提供十分豐富的功能特性以方便處理字符串。

JVM運行時數(shù)據(jù)區(qū)的內(nèi)存模型由五部分組成：

（1）方法區(qū)
（2）堆
（3）JAVA棧
（4）PC寄存器
（5）本地方法棧

對于String s = "haha" ,它的虛擬機(jī)指令：

0:   ldc        "16; //String haha      
2:   astore_1   
3:   return 

ldc指令格式：

ldc,index

ldc指令過程：要執(zhí)行l(wèi)dc指令，JVM首先查找index所指定的常量池入口，在index指向的JVM常量池入口，JVM將會查找CONSTANT_Integer_info，CONSTANT_Float_info和CONSTANT_String_info入口。如果還沒有這些入口，JVM會解析它們。而對于上面的hahaJVM會找到CONSTANT_String_info入口，同時，將把指向被拘留String對象（由解析該入口的進(jìn)程產(chǎn)生）的引用壓入操作數(shù)棧。

astore_1指令格式：

astore_1

astore_1指令過程：要執(zhí)行astore_1指令，JVM從操作數(shù)棧頂部彈出一個引用類型或者returnAddress類型值，然后將該值存入由索引1指定的局部變量中,即將引用類型或者returnAddress類型值存入局部變量1。

return 指令的過程：

從上面的ldc指令的執(zhí)行過程可以得出：s的值是來自被拘留String對象（由解析該入口的進(jìn)程產(chǎn)生）的引用，即可以理解為是從被拘留String對象的引用復(fù)制而來的，故我個人的理解是s的值是存在棧當(dāng)中。上面是對于s值得分析，接著是對于"haha"值的分析,我們知道，對于String s = "haha" 其中"haha"值在JAVA程序編譯期就確定下來了的。簡單一點說，就是haha的值在程序編譯成class文件后，就在class文件中生成了（大家可以用UE編輯器或其它文本編輯工具在打開class文件后的字節(jié)碼文件中看到這個haha值）。執(zhí)行JAVA程序的過程中，***步是class文件生成，然后被JVM裝載到內(nèi)存執(zhí)行。那么JVM裝載這個class到內(nèi)存中，其中的haha這個值，在內(nèi)存中是怎么為其開辟空間并存儲在哪個區(qū)域中呢？

JVM常量池

虛擬機(jī)必須為每個被裝載的類型維護(hù)一個常量池。常量池就是該類型所用到常量的一個有序集和，包括直接常量（string,integer和floating point常量）和對其他類型，字段和方法的符號引用。對于String常量，它的值是在常量池中的。而JVM常量池在內(nèi)存當(dāng)中是以表的形式存在的，對于String類型，有一張固定長度的CONSTANT_String_info表用來存儲文字字符串值，注意：該表只存儲文字字符串值，不存儲符號引用。說到這里，對JVM常量池中的字符串值的存儲位置應(yīng)該有一個比較明了的理解了。

在介紹完JVM常量池的概念后，接著談開始提到的"haha"的值的內(nèi)存分布的位置。對于haha的值，實際上是在class文件被JVM裝載到內(nèi)存當(dāng)中并被引擎在解析ldc指令并執(zhí)行l(wèi)dc指令之前，JVM就已經(jīng)為haha這個字符串在常量池的CONSTANT_String_info表中分配了空間來存儲haha這個值。

既然haha這個字符串常量存儲在常量池中，常量池是屬于類型信息的一部分，類型信息也就是每一個被轉(zhuǎn)載的類型，這個類型反映到JVM內(nèi)存模型中是對應(yīng)存在于JVM內(nèi)存模型的方法區(qū)中，也就是這個類型信息中的JVM常量池概念是存在于在方法區(qū)中，而方法區(qū)是在JVM內(nèi)存模型中的堆中由JVM來分配的。所以，haha的值是應(yīng)該是存在堆空間中的。而對于String s = new String("haha") ,它的JVM指令：

0:   new             "16; //class String  
3:   dup  
4:   ldc             "18; //String haha  
6:   invokespecial   "20; //Method java/lang/String."":(Ljava/lang/String;)V  
9:   astore_1  
10:  return 

new指令格式：new indexbyte1,indexbyte2

new指令過程：

要執(zhí)行new指令，Jvm通過計算(indextype1<<8)|indextype2生成一個指向常量池的無符號16位索引。然后JVM根據(jù)計算出的索引查找JVM常量池入口。該索引所指向的常量池入口必須為CONSTANT_Class_info。如果該入口尚不存在，那么JVM將解析這個常量池入口，該入口類型必須是類。JVM從堆中為新對象映像分配足夠大的空間，并將對象的實例變量設(shè)為默認(rèn)值。***JVM將指向新對象的引用objectref壓入操作數(shù)棧。

dup指令格式：dup

dup指令過程：

要執(zhí)行dup指令，JVM復(fù)制了操作數(shù)棧頂部一個字長的內(nèi)容，然后再將復(fù)制內(nèi)容壓入棧。本指令能夠從操作數(shù)棧頂部復(fù)制任何單位字長的值。但絕對不要使用它來復(fù)制操作數(shù)棧頂部任何兩個字長(long型或double型)中的一個字長。上面例中，即復(fù)制引用objectref，這時在操作數(shù)棧存在2個引用。

ldc指令格式：ldc,index

ldc指令過程：

要執(zhí)行l(wèi)dc指令，JVM首先查找index所指定的常量池入口，在index指向的JVM常量池入口，JVM將會查找CONSTANT_Integer_info，CONSTANT_Float_info和CONSTANT_String_info入口。如果還沒有這些入口，JVM會解析它們。而對于上面的haha,JVM會找到CONSTANT_String_info入口，同時，將把指向被拘留String對象（由解析該入口的進(jìn)程產(chǎn)生）的引用壓入操作數(shù)棧。

invokespecial指令格式：invokespecial,indextype1,indextype2

invokespecial指令過程：對于該類而言，該指令是用來進(jìn)行實例初始化方法的調(diào)用。上面例子中，即通過其中一個引用調(diào)用String類的構(gòu)造器，初始化對象實例，讓另一個相同的引用指向這個被初始化的對象實例，然后前一個引用彈出操作數(shù)棧。

astore_1指令格式：astore_1

astore_1指令過程：

要執(zhí)行astore_1指令，JVM從操作數(shù)棧頂部彈出一個引用類型或者returnAddress類型值，然后將該值存入由索引1指定的局部變量中,即將引用類型或者returnAddress類型值存入局部變量1。

return 指令的過程:

從方法中返回，返回值為void，要執(zhí)行astore_1指令，JVM從操作數(shù)棧頂部彈出一個引用類型或者returnAddress類型值，然后將該值存入由索引1指定的局部變量中,即將引用類型或者returnAddress類型值存入局部變量1。

通過上面6個指令，可以看出，String s = new String("haha");中的haha存儲在堆空間中，而s則是在操作數(shù)棧中。上面是對s和haha值的內(nèi)存情況的分析和理解；那對于String s = new String("haha");語句,到底創(chuàng)建了幾個對象呢？這里"haha"本身就是JVM常量池中的一個對象，而在運行時執(zhí)行new String()時，將JVM常量池中的對象復(fù)制一份放到堆中，并且把堆中的這個對象的引用交給s持有。所以這條語句就創(chuàng)建了2個String對象。下面是一些String相關(guān)的常見問題：  #p#

String中的final用法和理解

final StringBuffer a = new StringBuffer("111");  
final StringBuffer b = new StringBuffer("222");  
a=b;//此句編譯不通過  
final StringBuffer a = new StringBuffer("111");  
a.append("222");//編譯通過 

可見，final只對引用的"值"(即內(nèi)存地址)有效，它迫使引用只能指向初始指向的那個對象，改變它的指向會導(dǎo)致編譯期錯誤。至于它所指向的對象的變化，final是不負(fù)責(zé)的。

String 常量池問題的幾個例子

下面是幾個常見例子的比較分析和理解：

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就將常量字符串的"+"連接優(yōu)化為連接后的值，拿"a" + 1來說，經(jīng)編譯器優(yōu)化后在class中就已經(jīng)是a1。在編譯期其字符串常量的值就確定下來，故上面程序最終的結(jié)果都為true。

String a = "ab";   
String bb = "b";   
String b = "a" + bb;   
System.out.println((a == b)); //result = false 

分析：JVM對于字符串引用，由于在字符串的"+"連接中，有字符串引用存在，而引用的值在程序編譯期是無法確定的，即"a" + bb無法被編譯器優(yōu)化，只有在程序運行期來動態(tài)分配并將連接后的新地址賦給b。所以上面程序的結(jié)果也就為false。

String a = "ab";   
final String bb = "b";   
String b = "a" + bb;   
System.out.println((a == b)); //result = true 

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

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，它的值在編譯期無法確定，只有在程序運行期調(diào)用方法后，將方法的返回值和"a"來動態(tài)連接并分配地址為b，故上面程序的結(jié)果為false。通過上面4個例子可以得出得知：

String  s  =  "a" + "b" + "c";     
就等價于String s = "abc";     
String  a  =  "a";     
String  b  =  "b";     
String  c  =  "c";     
String  s  =   a  +  b  +  c;    

這個就不一樣了，最終結(jié)果等于： 
 

StringBuffer temp = new StringBuffer();     
temp.append(a).append(b).append(c);     
String s = temp.toString(); 

由上面的分析結(jié)果，可就不難推斷出String 采用連接運算符（+）效率低下原因分析，形如這樣的代碼：

public class Test {  
public static void main(String args[]) {  
String s = null;  
for(int i = 0; i < 100; i++) {  
s += "a";  
}  
}  
} 

 每做一次 + 就產(chǎn)生個StringBuilder對象，然后append后就扔掉。下次循環(huán)再到達(dá)時重新產(chǎn)生個StringBuilder對象，然后 append 字符串，如此循環(huán)直至結(jié)束。 如果我們直接采用 StringBuilder 對象進(jìn)行 append 的話，我們可以節(jié)省 N - 1 次創(chuàng)建和銷毀對象的時間。所以對于在循環(huán)中要進(jìn)行字符串連接的應(yīng)用，一般都是用StringBuffer或StringBulider對象來進(jìn)行append操作。String對象的intern方法理解和分析：

public class Test4 {  
private static String a = "ab";   
public static void main(String[] args){  
String s1 = "a";  
String s2 = "b";  
String s = s1 + s2;  
System.out.println(s == a);//false  
System.out.println(s.intern() == a);//true    
}  
} 

這里用到Java里面是一個常量池的問題。對于s1+s2操作，其實是在堆里面重新創(chuàng)建了一個新的對象,s保存的是這個新對象在堆空間的的內(nèi)容，所以s與a的值是不相等的。而當(dāng)調(diào)用s.intern()方法，卻可以返回s在JVM常量池中的地址值，因為a的值存儲在常量池中，故s.intern和a的值相等。

【編輯推薦】

1. Java和Oracle實現(xiàn)BLOB字段的字符串讀取
2. Java語言常見字符串注意事項
3. 使用Java截取字符串的方法
4. Java字符串轉(zhuǎn)日期或日期轉(zhuǎn)字符串
5. 詳解Java String字符串對象的創(chuàng)建及管理