這個(gè)系列里的問題，是每個(gè)java學(xué)習(xí)者都應(yīng)該明白的。除非你只是感興趣，學(xué)java玩玩。如果你認(rèn)為自己已經(jīng)超越初學(xué)者了，卻還是不懂，那建議你重新開始學(xué)。

問題一：我聲明了什么!

String s = "Hello world!";

許多人都做過這樣的事情，但是，我們到底聲明了什么?回答通常是：一個(gè)String，內(nèi)容是“Hello world!”。這樣模糊的回答通常是概念不清的根源。如果要準(zhǔn)確的回答，一半的人大概回答錯(cuò)誤。

這個(gè)語句聲明的是一個(gè)指向?qū)ο蟮囊?，名?ldquo;s”，可以指向類型為String的任何對象，目前指向"Hello world!"這個(gè)String類型的對象。這就是真正發(fā)生的事情。我們并沒有聲明一個(gè)String對象，我們只是聲明了一個(gè)只能指向String對象的引用變量。所以，如果在剛才那句語句后面，如果再運(yùn)行一句：

String string = s;

我們是聲明了另外一個(gè)只能指向String對象的引用，名為string，并沒有第二個(gè)對象產(chǎn)生，string還是指向原來那個(gè)對象，也就是，和s指向同一個(gè)對象。

問題二："=="和equals方法究竟有什么區(qū)別?

==操作符專門用來比較變量的值是否相等。比較好理解的一點(diǎn)是：

int a=10;

int b=10;

則a==b將是true。

但不好理解的地方是：

String a=new String("foo");

String b=new String("foo");

則a==b將返回false。

對象變量其實(shí)是一個(gè)引用，它們的值是指向?qū)ο笏诘膬?nèi)存地址，而不是對象本身。a和b都使用了new操作符，意味著將在內(nèi)存中產(chǎn)生兩個(gè)內(nèi)容為"foo"的字符串，既然是“兩個(gè)”，它們自然位于不同的內(nèi)存地址。a和b的值其實(shí)是兩個(gè)不同的內(nèi)存地址的值，所以使用"=="操作符，結(jié)果會(huì)是false。誠然，a和b所指的對象，它們的內(nèi)容都是"foo"，應(yīng)該是“相等”，但是==操作符并不涉及到對象內(nèi)容的比較。

對象內(nèi)容的比較，正是equals方法做的事。

看一下Object對象的equals方法是如何實(shí)現(xiàn)的：

boolean equals(Object o){ return this==o;

}

Object對象默認(rèn)使用了==操作符。所以如果你自創(chuàng)的類沒有覆蓋equals方法，那你的類使用equals和使用==會(huì)得到同樣的結(jié)果。同樣也可以看出，Object的equals方法沒有達(dá)到equals方法應(yīng)該達(dá)到的目標(biāo)：比較兩個(gè)對象內(nèi)容是否相等。因?yàn)榇鸢笐?yīng)該由類的創(chuàng)建者決定，所以O(shè)bject把這個(gè)任務(wù)留給了類的創(chuàng)建者。

 

問題三：String到底變了沒有?

沒有。因?yàn)镾tring被設(shè)計(jì)成不可變(immutable)類，所以它的所有對象都是不可變對象。請看下列代碼：

String s = "Hello";

s = s + " world!";

s所指向的對象是否改變了呢?從本系列第一篇的結(jié)論很容易導(dǎo)出這個(gè)結(jié)論。我們來看看發(fā)生了什么事情。在這段代碼中，s原先指向一個(gè)String對象，內(nèi)容是"Hello"，然后我們對s進(jìn)行了+操作，那么s所指向的那個(gè)對象是否發(fā)生了改變呢?答案是沒有。這時(shí)，s不指向原來那個(gè)對象了，而指向了另一個(gè)String對象，內(nèi)容為"Hello world!"，原來那個(gè)對象還存在于內(nèi)存之中，只是s這個(gè)引用變量不再指向它了。

通過上面的說明，我們很容易導(dǎo)出另一個(gè)結(jié)論，如果經(jīng)常對字符串進(jìn)行各種各樣的修改，或者說，不可預(yù)見的修改，那么使用String來代表字符串的話會(huì)引起很大的內(nèi)存開銷。因?yàn)镾tring對象建立之后不能再改變，所以對于每一個(gè)不同的字符串，