引言
String可以說是在Java開發中必不可缺的一種類,String容易忽略的細節也很多,對String的瞭解程度也反映了一個Java程式設計師的基本功。下面就由一個面試題來引出對String的剖析。
1. String在原始碼裡究竟是如何實現的,它有哪些方法,有什麼作用?
從原始碼可以看出,String有三個私有方法,底層是由字元陣列來儲存字串
public final class String
implements java.io.Serializable, Comparable<String>, CharSequence {
/**儲存字串的字元陣列*/
private final char value[];
/** 快取字串的hashcode */
private int hash; // 預設是0
/** 用於驗證一致性來是否進行反序列化 */
private static final long serialVersionUID = -6849794470754667710L;
1.1 String重要構造方法
// String 為引數的構造方法
public String(String original) {
this.value = original.value;
this.hash = original.hash;
}
// char[] 為引數構造方法
public String(char value[]) {
//重新複製一份char陣列的值和資訊,保證字串不會被修改傳回
this.value = Arrays.copyOf(value, value.length);
}
// StringBuffer 為引數的構造方法
public String(StringBuffer buffer) {
synchronized(buffer) {
this.value = Arrays.copyOf(buffer.getValue(), buffer.length());
}
}
// StringBuilder 為引數的構造方法
public String(StringBuilder builder) {
this.value = Arrays.copyOf(builder.getValue(), builder.length());
}
1.2 String重要的方法
1.2.1 equals()方法
/**比較兩個字串是否相等,返回值為布林型別*/
public boolean equals(Object anObject) {//比較型別可以是object
/*引用物件相同時返回true*/
if (this == anObject) {
return true;
}
/*判斷引用物件是否為String型別*/
if (anObject instanceof String) { //instanceof用來判斷資料型別是否一致
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;
}
equals()
方法首先通過instanceof判斷資料型別是否一致,是則進行下一步將兩個字串轉換成字元陣列逐一判斷。最後再返回判斷結果。
1.2.2 compareTo()方法
/*比較兩個字串是否相等,返回值為int型別*/
public int compareTo(String anotherString) {//比較型別只能是String型別
int len1 = value.length;
int len2 = anotherString.value.length;
/*獲得兩字串最短的字串長度lim*/
int lim = Math.min(len1, len2);
char v1[] = value;
char v2[] = anotherString.value;
/*逐一比較兩字元組的字元*/
int k = 0;
while (k < lim) {
char c1 = v1[k];
char c2 = v2[k];
//若兩字元不相等,返回c1-c2
if (c1 != c2) {
return c1 - c2;
}
k++;
}
return len1 - len2;
}
compareTo()
通過逐一判斷兩字串中的字元,不相等則返回兩字元差,反之迴圈結束最後返回0
小結
compareTo()
和equals()
都能比較兩字串,當equals()返回true,compareTo()返回0時,都表示兩字串完全相同。- 同時兩者也有區別:
- 返回型別
compareTo()
是boolean,equals()
是int。 - 字元型別
compareTo()
是Object,equals()
只能是String型別。
- 返回型別
1.3其他方法
indexOf()
:查詢字串首次出現的下標位置lastIndexOf()
:查詢字串最後出現的下標位置contains()
:查詢字串中是否包含另一個字串toLowerCase()
:把字串全部轉換成小寫toUpperCase()
:把字串全部轉換成大寫length()
:查詢字串的長度trim()
:去掉字串首尾空格replace()
:替換字串中的某些字元split()
:把字串分割並返回字串陣列join()
:把字串陣列轉為字串
知道了String的實現和方法,下面就要引出常見的String面試問題
2. String常見的面試問題
2.1 為什麼String型別要用final修飾?
- 從上面的程式碼可以看出,String類是被private final修飾的不可繼承類。那麼為何要用final修飾呢?
Java 語言之父 James Gosling 的回答是,他會更傾向於使用 final,因為它能夠快取結果,當你在傳參時不需要考慮誰會修改它的值;如果是可變類的話,則有可能需要重新拷貝出來一個新值進行傳參,這樣在效能上就會有一定的損失。
James Gosling 還說迫使 String 類設計成不可變的另一個原因是安全,當你在呼叫其他方法時,比如呼叫一些系統級操作指令之前,可能會有一系列校驗,如果是可變類的話,可能在你校驗過後,它的內部的值又被改變了,這樣有可能會引起嚴重的系統崩潰問題,這是迫使 String 類設計成不可變類的一個重要原因。
所以只有當字串不可改變時,才能利用字元常量池,保證在使用字元的時候不會被修改。
-
那麼問題來了,我們在使用final修飾一個變數時,不變的是引用地址,引用地址對應的物件是可以發生變化的。如:
import java.util.Arrays; public class IntTest{ public static void main(String args[]){ final char[] arr = new char[]{'a', 'b', 'c', 'd'}; System.out.println("arr的地址1:" + arr); System.out.println("arr的值2:" + Arrays.toString(arr)); //修改arr[2]的值 arr[2] = 'b'; //修改arr陣列的地址,這裡會發生編譯錯誤,所以無法修改引用地址 //arr = new char[]{'1', '2', '3'}; System.out.println("arr的地址2:" + arr); System.out.println("arr的值2:" + Arrays.toString(arr)); } } /*執行結果: arr的地址1:[C@15db9742 arr的值1:[a b c d] arr的地址2:[C@15db9742 arr的值2:[a b b d] 顯然不變的是引用地址,引用地址所指物件的內容可以被修改 */
而在上述原始碼中,String類下有一個私有的char陣列成員
public final class String implements java.io.Serializable, Comparable<String>, CharSequence { /**儲存字串的字元陣列*/ private final char value[];
那麼是否可以通過修改char陣列所指物件的內容,來改變string的值呢?來試一試:
import java.util.Arrays; public class IntTest{ public static void main(String args[]){ char[] arr = new char[]{'a','b','c','d'}; String str = new String(arr); System.out.println("arr的地址1:" + arr); System.out.println("str= " + str); System.out.println("arr[]= "+Arrays.toString(arr)); //修改arr[2]的值 arr[2]='b'; System.out.println("arr的地址2:" + arr); System.out.println("str= "+str); System.out.println("arr[]= "+Arrays.toString(arr)); } } /*執行結果: arr的地址1:[C@15db9742 str= abcd arr[]= [a, b, c, d] arr的地址2:[C@15db9742 str= abcd arr[]= [a, b, b, d] */
顯然無法修改字串,這是為何,我們再看看構造方法
// String 為引數的構造方法 public String(String original) { this.value = original.value; this.hash = original.hash; } // char[] 為引數構造方法 public String(char value[]) { //重新複製一份char陣列的值和資訊,保證字串不會被修改傳回 this.value = Arrays.copyOf(value, value.length); }
發現string的構造方法裡將原來的char陣列的值和資訊copy了一份,保證字串不會被修改傳回。
2.2 equals()和 == 的區別
2.2.1 先說結論:
-
==在基本型別中比較其對應的值,在引用型別中比較其地址值
-
equals()在未被重寫時和 == 完全一致,被重寫後是比較字串的值
public class StringTest { public static void main(String args[]) { String str1 = "Java"; //放在常量池中 String str2 = new String("Java"); //在堆中建立物件str2的引用 String str3 = str2; //指向堆中的str2的物件的引用 String str4 = "Java"; //從常量池中查詢 String str5 = new String("Java"); System.out.println(str1 == str2); //false System.out.println(str1 == str3); //false System.out.println(str1 == str4); //true System.out.println(str2 == str3); //true System.out.println(str2 == str5); //false System.out.println(str1.equals(str2)); //true System.out.println(str1.equals(str3)); //true System.out.println(str1.equals(str4)); //true System.out.println(str2.equals(str3)); //true } }
實際上
equals()
方法也是繼承Object的equals()
方法。public boolean equals(Object obj) { return (this == obj); }
從上面的
equals()
方法的原始碼可以看出,String在繼承方法後對應修改了方法中的相關內容,所以上述程式碼的equals()
方法輸出都是true。 類似於
String str1 = "Java";
的和String str2 = new String("Java");
形式有很大的區別,String str1 = "Java";
形式首先在編譯過程中Java虛擬機器就會去常量池中查詢是否存在“Java”,如果存在,就會在棧記憶體中開闢一塊地方用於儲存其常量池中的地址。所以這種形式有可能建立了一個物件(常量池中),也可能一個物件也沒建立,即str1是直接在常量池中建立“Java”字串,str4是先在常量池中查詢有“Java”,所以直接地址直接指向常量池中已經存在的”Java“字串。 而
String str2 = new String("Java");
的形式在編譯過程中,先去常量池中查詢是否有“Java”,沒有則在常量池中新建"Java"。到了執行期,不管常量池中是否有“Java”,一律重新在堆中建立一個新的物件,然如果常量池中存在“Java”,複製一份放在堆中新開闢的空間中。如果不存在則會在常量池中建立一個“Java”後再複製到堆中。所以這種形式至少建立了一個物件,最多兩個物件。因此str1和str2的引用地址必然不相同。
2.3 string中的intern()方法
呼叫intern方法時,如果常量池中存在該字串,則返回池中的字串。否則將此字串物件新增到常量池中,並返回該字串的引用。
String s1 = new String("Java");
String s2 = s1.intern();//直接指向常量池中的字串
String s3 = "Java";
System.out.println(s1 == s2); // false
System.out.println(s2 == s3); // true
2.4 String和StringBuilder、StringBuffer的區別
關於這三者的區別,主要借鑑這篇博文String,StringBuffer與StringBuilder的區別??首先,String是字串常量,後兩者是字串變數。其中StringBuffer是執行緒安全的,下面說說他們的具體區別。
String適用於字串不可變的情況,因為在經常改變字串的情形下,每次改變都會在堆記憶體中新建物件,會造成 JVM GC的工作負擔,因此在這種情形下,需要使用字串變數。
再說StringBuffer,它是執行緒安全的可變字元序列,它提供了append和insert方法用於字串拼接,並用synchronized來保證執行緒安全。並且可以對這些方法進行同步,像以序列順序發生,而且該順序與所涉及的每個執行緒進行的方法呼叫順序一致。
@Override
public synchronized StringBuffer append(Object obj) {
toStringCache = null;
super.append(String.valueOf(obj));
return this;
}
@Override
public synchronized StringBuffer append(String str) {
toStringCache = null;
super.append(str);
return this;
}
最後是StringBuilder,因為StringBuffer要保證執行緒安全,所以效能不是很高,於是在JDK1.5後引入了StringBuilder,在沒有了synchronize後效能得到提高,而且兩者的方法基本相同。所以在非併發操作下,如單執行緒情況可以使用StringBuilder來對字串進行修改。
2.5 String中的“ + ”操作符
其實在2.4中提到,String是字串常量,具有不可變性。所以在拼接字串、修改字串時,儘量選擇StringBuilder和StringBuffer。下面再談一談String中出現“+”操作符的情況:
String s1 = "Ja";
String s2 = "va";
String s3 = "Java";
String s4 = "Ja" + "va"; //在編譯時期就在常量池中建立
String s5 = s1 + s2; //實際上s5是stringBuider,這個過程是stringBuilder的append
System.out.println("s3 == s4 " + (s3 == s4));
System.out.println("s3 == s5 " + (s3 == s5));
/**
執行結果:
s3 == s4 true
s3 == s5 false
*/
為什麼s4==s3結果是true? 反編譯看看:
1 String s = "Ja";//s1
2 String s1 = "va";//s2
3 String s2 = "Java";//s3
4 String s3 = "Java";//s4
5 String s4 = (new StringBuilder()).append(s).append(s1).toString();//s5
6 System.out.println((new StringBuilder()).append("s3 == s4").append(s2 == s3).toString());
7 System.out.println((new StringBuilder()).append("s3 == s5").append(s2 == s4).toString());
從第5行程式碼中看出s4在編譯時期就已經將“Ja”+“va”編譯“Java” ,這就是JVM的優化
第6行的程式碼說明在s5 = s1 +s2;
執行過程,s5變成StringBuilder,並利用append方法將s1和s2拼接。
因此在String型別中使用“+”操作符,編譯器一般會將其轉換成new StringBuilder().append()來處理。