前言

基于字符串String在java中的地位，關(guān)于String的常識性知識就不多做介紹了，我們先來看一段代碼

public class Test {
public static void main(String[] args) {
String a = "abc";
String b = "abc";
String c = new String("abc");
System.out.println(a==b);
System.out.println(a.equals(b));
System.out.println(a==c);
System.out.println(a.equals(c));
}
}

那么上段代碼的結(jié)果是什么呢？答案是：true true false true，有初學(xué)java的朋友肯定會納悶，a==c為什么會是false呢？equals判斷的為什么都是true呢？

根據(jù)這些問題，我們就通過對String的解讀來一步一步的了解。

為什么a==c的結(jié)果是false

明白這個問題需要對JVM的內(nèi)存結(jié)構(gòu)有一定的了解，說是了解也不需要太多，能夠get到下圖的知識點(diǎn)就行了。

ps：本文中所有的圖示均是為了方便理解，畫出來的大致樣子，如果想要了解的更加清楚，請自行研究虛擬機(jī)原理。

java語法設(shè)計(jì)的時候針對String，提供了兩種創(chuàng)建方式和一種特殊的存儲機(jī)制（String intern pool ）。

兩種創(chuàng)建字符串對象的方式：

1.字面值的方式賦值

2.new關(guān)鍵字新建一個字符串對象

這兩種方法在性能和內(nèi)存占用方面存在這差異

String Pool串池：是在內(nèi)存堆中專門劃分一塊空間，用來保存所有String對象數(shù)據(jù)，當(dāng)構(gòu)造一個新字符串String對象時（通過字面量賦值的方法），Java編譯機(jī)制會優(yōu)先在這個池子里查找是否已經(jīng)存在能滿足需要的String對象，如果有的話就直接返回該對象的地址引用（沒有的話就正常的構(gòu)造一個新對象，丟進(jìn)去存起來），這樣下次再使用同一個String的時候，就可以直接從串池中取，不需要再次創(chuàng)建對象，也就避免了很多不必要的空間開銷。

根據(jù)以上的概念，我們再來看前言中的代碼，當(dāng)JVM執(zhí)行到String a = "abc";的時候，會先看常量池里有沒有字符串剛好是“abc”這個對象，如果沒有，在常量池里創(chuàng)建初始化該對象，并把引用指向它，如下圖。

當(dāng)執(zhí)行到String b = "abc";時，發(fā)現(xiàn)常量池已經(jīng)有了abc這個值，于是不再在常量池中創(chuàng)建這個對象，而是把引用直接指向了該對象，如下圖：

繼續(xù)執(zhí)行到 String c = new String("abc");這時候我們加了一個new關(guān)鍵字，這個關(guān)鍵字呢就是告訴JVM，你直接在堆內(nèi)存里給我開辟一塊新的內(nèi)存，如下圖所示：

這時候我們執(zhí)行四個打印語句，我們需要知道==比較的是地址，equals比較的是內(nèi)容（String中的重寫過了），abc三個變量的內(nèi)容完全一樣，因此equals的結(jié)果都是true，ab是一個同一個對象，因此地址一樣，a和c很顯然不是同一個對象，那么此時為false也是很好理解的。

String相關(guān)源碼

在本文中只有String的部分源碼，畢竟String的源碼有3000多行，全部來寫進(jìn)來不那么現(xiàn)實(shí)，我們挑一些比較有意思的代碼來做一定的分析說明。

屬性

我們先來看一下String都有哪些成員變量，比較關(guān)鍵的屬性有兩個，如下：

public final class String
implements java.io.Serializable, Comparable<String>, CharSequence {
/** The value is used for character storage. */
char數(shù)組
private final char value[];
/** Cache the hash code for the string */
private int hash; // Default to 0

從源碼中我們能夠看到，在String類中聲明了一個char[]數(shù)組，變量名value，聲明了一個int類型的變量hash（該String對象的哈希值的緩存）。也就是說java中的String類其實(shí)就是對char數(shù)組的封裝。

構(gòu)造方法

接下來我們通過一句代碼來了解一下字符串創(chuàng)建的過程，String c = new String("abc");我們知道使用new關(guān)鍵字就會使用到構(gòu)造方法，所以如下。

public String(String original) {
this.value = original.value;
this.hash = original.hash;
}

構(gòu)造方法中的代碼非常簡單，把傳進(jìn)來的字符串的value值，也就是char數(shù)組賦值給當(dāng)前對象，hash同樣處理，那么問題來了WTF original？

在這里需要注意的是java中的一個機(jī)制，在Java中，當(dāng)值被雙引號引起來(如本示例中的"abc")，JVM會去先檢查看一看常量池里有沒有abc這個對象，如果沒有，把a(bǔ)bc初始化為對象放入常量池，如果有，直接返回常量池內(nèi)容。所以也就是說在沒有“abc”的基礎(chǔ)上，執(zhí)行代碼會在串池中創(chuàng)建一個abc，也會在堆內(nèi)存中再new出來一個。最終的結(jié)果如下圖：

那么這時候如果再有一個String c2 = new String("abc");呢？如圖

關(guān)于這一點(diǎn)我們通過IDEA的debug功能也能夠看到，你會發(fā)現(xiàn)，c和c2其中的char數(shù)組的地址是相同的。足以說明在創(chuàng)建c和c2的時候使用的是同一個數(shù)組。

equals方法

public boolean equals(Object anObject) {
//如果兩個對象是同一個引用，那么直接返回true
if (this == anObject) {
return true;
}
/*
1.判斷傳入的對象是不是String類型
2.判斷兩個對象的char數(shù)組長度是否一致
3.循環(huán)判斷char數(shù)組中的每一個值是否相等
以上條件均滿足才會返回true
*/
if (anObject instanceof String) {
String anotherString = (String)anObject;
int n = value.length;
if (n == anotherString.value.length) {
char v1[] = value;
char v2[] = anotherString.value;
int i = 0;
while (n-- != 0) {
if (v1[i] != v2[i])
return false;
i++;
}
return true;
}
}
return false;
}

為什么String不可變？

串池需要

為什么說是串池需要呢？在開篇的時候我們提到過，串池中的字符串會被多個變量引用，這樣的機(jī)制讓字符串對象得到了復(fù)用，避免了很多不必要的內(nèi)存消耗。

那么大家試想一下，如果String對象本身允許二次修改的話，我有一個字符串“abc”同時被100個變量引用，其中一個引用修改了String對象，那么將會影響到其他99個引用該對象的變量，這樣會對其他變量造成不可控的影響。

不可變性的優(yōu)點(diǎn)

安全性

字符串不可變安全性的考慮處于兩個方面，數(shù)據(jù)安全和線程安全。

數(shù)據(jù)安全，大家可以回憶一下，我們都在哪些地方大量的使用了字符串？網(wǎng)絡(luò)數(shù)據(jù)傳輸，文件IO等，也就是說當(dāng)我們在傳參的時候，使用不可變類不需要去考慮誰可能會修改其內(nèi)部的值，如果使用可變類的話，可能需要每次記得重新拷貝出里面的值，性能會有一定的損失。

線程安全，因?yàn)樽址遣豢勺兊?，所以是多線程安全的，同一個字符串實(shí)例可以被多個線程共享，這樣便不用因?yàn)榫€程安全問題而使用同步。

性能效率

關(guān)于性能效率一方面是復(fù)用，另一方面呢需要從hash值的緩存方向來說起了。

String的Hash值在很多的地方都會被使用到，如果保證了String的不可變性，也就能夠保證Hash值始終也是不可變的，這樣就不需要在每次使用的時候重新計(jì)算hash值了。

String不可變性是如何實(shí)現(xiàn)的？

通過對屬性私有化，final修飾，同時沒有提供公開的get set方法以及其他的能夠修改屬性的方法，保證了在創(chuàng)建之后不會被從外部修改。

同時不能忘了，String也是被final修飾的，在之前的文章中我們提到過，final修飾類的結(jié)果是String類沒有子類。

那么String真的不能改變嗎？不是，通過反射我們可以，代碼如下：

String c = new String("abc");
System.out.println(c);
//獲取String類中的value字段
Field valueFieldOfString = String.class.getDeclaredField("value");
//改變value屬性的訪問權(quán)限
valueFieldOfString.setAccessible(true);
//獲取s對象上的value屬性的值
char[] value = (char[]) valueFieldOfString.get(c);
//改變value所引用的數(shù)組中的第5個字符
value[1] = '_';
System.out.println(c);

執(zhí)行的結(jié)果是

abc
a_c

也就是說我們改變了字符串對象的值，有什么意義呢？沒什么意義，我們從來不會這么做。

其他問題

不是特別需要請不要使用new關(guān)鍵字創(chuàng)建字符串
從前文我們知道使用new關(guān)鍵字創(chuàng)建String的時候，即便串池中存在相同String，仍然會再次在堆內(nèi)存中創(chuàng)建對象，會浪費(fèi)內(nèi)存，另一方面對象的創(chuàng)建相較于從串池中取效率也更低下。

String StringBuffer StringBuilder的區(qū)別

關(guān)于三者的區(qū)別，在面試題中經(jīng)常的出現(xiàn)，String對象不可變，因此在進(jìn)行任何內(nèi)容上的修改時都會創(chuàng)建新的字符串對象，一旦修改操作太多就會造成大量的資源浪費(fèi)。

StringBuffer和StringBuilder在進(jìn)行字符串拼接的時候不會創(chuàng)建新的對象，而是在原對象上修改，不同之處在于StringBuffer線程安全，StringBuilder線程不安全。所以在進(jìn)行字符串拼接的時候推薦使用StringBuffer或者StringBuilder。

最新評論