JAVA中必須知道的問題

問題一：我聲明了什麼！

String s = "Hello world!";

許多人都做過這樣的事情，但是，我們到底聲明了什麼？回答通常是：一個String，内容是“Hello world!”。這樣模糊的回答通常是概念不清的根源。如果要準确的回答，一半的人大概會回答錯誤。

這個語句聲明的是一個指向對象的引用，名為“s”，可以指向類型為String的任何對象，目前指向"Hello world!"這個String類型的 對象。這就是真正發生的事情。我們并沒有聲明一個String對象，我們隻是聲明了一個隻能指向String對象的引用變量。是以，如果在剛才那句語句後 面，如果再運作一句：

String string = s;

我們是聲明了另外一個隻能指向String對象的引用，名為string，并沒有第二個對象産生，string還是指向原來那個對象，也就是，和s指向同一個對象。

問題二："=="和equals方法究竟有什麼差別？

==操作符專門用來比較變量的值是否相等。比較好了解的一點是：

int a=10;

int b=10;

則a==b将是true。

但不好了解的地方是：

String a=new String("foo");

String b=new String("foo");

則a==b将傳回false。

根據前一帖說過，對象變量其實是一個引用，它們的值是指向對象所在的記憶體位址，而不是對象本身。a和b都使用了new操作符，意味着将在記憶體中産生兩個内 容為"foo"的字元串，既然是“兩個”，它們自然位于不同的記憶體位址。a和b的值其實是兩個不同的記憶體位址的值，是以使用"=="操作符，結果會是  false。誠然，a和b所指的對象，它們的内容都是"foo"，應該是“相等”，但是==操作符并不涉及到對象内容的比較。

對象内容的比較，正是equals方法做的事。

看一下Object對象的equals方法是如何實作的：

boolean equals(Object o){

return this==o;

}

Object 對象預設使用了==操作符。是以如果你自創的類沒有覆寫equals方法，那你的類使用equals和使用==會得到同樣的結果。同樣也可 以看出， Object的equals方法沒有達到equals方法應該達到的目标：比較兩個對象内容是否相等。因為答案應該由類的建立者決定，是以 Object把這個任務留給了類的建立者。

看一下一個極端的類：

Class Monster{

private String content;

...

boolean equals(Object another){ return true;}

}

我覆寫了equals方法。這個實作會導緻無論Monster執行個體内容如何，它們之間的比較永遠傳回true。

是以當你是用equals方法判斷對象的内容是否相等，請不要想當然。因為可能你認為相等，而這個類的作者不這樣認為，而類的equals方法的實作是由 他掌握的。如果你需要使用equals方法，或者使用任何基于散列碼的集合（HashSet,HashMap,HashTable），請察看一下 java doc以确認這個類的equals邏輯是如何實作的。

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

沒有。因為String被設計成不可變(immutable)類，是以它的所有對象都是不可變對象。請看下列代碼：

String s = "Hello";

s = s + " world!";

s 所指向的對象是否改變了呢？從本系列第一篇的結論很容易導出這個結論。我們來看看發生了什麼事情。在這段代碼中，s原先指向一個String對象，内 容是 "Hello"，然後我們對s進行了+操作，那麼s所指向的那個對象是否發生了改變呢？答案是沒有。這時，s不指向原來那個對象了，而指向了另一個  String對象，内容為"Hello world!"，原來那個對象還存在于記憶體之中，隻是s這個引用變量不再指向它了。

通過上面的說明，我們很容易導出另一個結論，如果經常對字元串進行各種各樣的修改，或者說，不可預見的修改，那麼使用String來代表字元串的話會引起 很大的記憶體開銷。因為 String對象建立之後不能再改變，是以對于每一個不同的字元串，都需要一個String對象來表示。這時，應該考慮使用 StringBuffer類，它允許修改，而不是每個不同的字元串都要生成一個新的對象。并且，這兩種類的對象轉換十分容易。

同時，我們還可以知道，如果要使用内容相同的字元串，不必每次都new一個String。例如我們要在構造器中對一個名叫s的String引用變量進行初始化，把它設定為初始值，應當這樣做：

public class Demo {

  private String s;

  ...

  public Demo {

    s = "Initial Value";

  }

  ...

}

而非

s = new String("Initial Value");

後者每次都會調用構造器，生成新對象，性能低下且記憶體開銷大，并且沒有意義，因為String對象不可改變，是以對于内容相同的字元串，隻要一個 String對象來表示就可以了。也就說，多次調用上面的構造器建立多個對象，他們的String類型屬性s都指向同一個對象。

上面的結論還基于這樣一個事實：對于字元串常量，如果内容相同，Java認為它們代表同一個String對象。而用關鍵字new調用構造器，總是會建立一個新的對象，無論内容是否相同。

至于為什麼要把String類設計成不可變類，是它的用途決定的。其實不隻String，很多Java标準類庫中的類都是不可變的。在開發一個系統的時 候，我們有時候也需要設計不可變類，來傳遞一組相關的值，這也是面向對象思想的展現。不可變類有一些優點，比如因為它的對象是隻讀的，是以多線程并發通路 也不會有任何問題。當然也有一些缺點，比如每個不同的狀态都要一個對象來代表，可能會造成性能上的問題。是以Java标準類庫還提供了一個可變版本，即  StringBuffer。

問題四：final關鍵字到底修飾了什麼？

final使得被修飾的變量"不變"，但是由于對象型變量的本質是“引用”，使得“不變”也有了兩種含義：引用本身的不變，和引用指向的對象不變。

引用本身的不變：

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

final StringBuffer b=new StringBuffer("not immutable");

a=b;//編譯期錯誤

引用指向的對象不變：

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

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

可見，final隻對引用的“值”(也即它所指向的那個對象的記憶體位址)有效，它迫使引用隻能指向初始指向的那個對象，改變它的指向會導緻編譯期錯誤。至 于它所指向的對象的變化，final是不負責的。這很類似==操作符：==操作符隻負責引用的“值”相等，至于這個位址所指向的對象内容是否相等，==操 作符是不管的。

了解final問題有很重要的含義。許多程式漏洞都基于此----final隻能保證引用永遠指向固定對象，不能保證那個對象的狀态不變。在多線程的操作 中,一個對象會被多個線程共享或修改，一個線程對對象無意識的修改可能會導緻另一個使用此對象的線程崩潰。一個錯誤的解決方法就是在此對象建立的時候把它 聲明為final，意圖使得它“永遠不變”。其實那是徒勞的。

問題五：到底要怎麼樣初始化！

本問題讨論變量的初始化，是以先來看一下Java中有哪些種類的變量。

1. 類的屬性，或者叫值域

2. 方法裡的局部變量

3. 方法的參數

對于第一種變量，Java虛拟機會自動進行初始化。如果給出了初始值，則初始化為該初始值。如果沒有給出，則把它初始化為該類型變量的預設初始值。

int類型變量預設初始值為0

float類型變量預設初始值為0.0f

double類型變量預設初始值為0.0

boolean類型變量預設初始值為false

char類型變量預設初始值為0(ASCII碼)

long類型變量預設初始值為0

所有對象引用類型變量預設初始值為null，即不指向任何對象。注意數組本身也是對象，是以沒有初始化的數組引用在自動初始化後其值也是null。

對于兩種不同的類屬性，static屬性與instance屬性，初始化的時機是不同的。instance屬性在建立執行個體的時候初始化，static屬性 在類加載，也就是第一次用到這個類的時候初始化，對于後來的執行個體的建立，不再次進行初始化。這個問題會在以後的系列中進行詳細讨論。

對于第二種變量，必須明确地進行初始化。如果再沒有初始化之前就試圖使用它，編譯器會抗議。如果初始化的語句在try塊中或if塊中，也必須要讓它在第一 次使用前一定能夠得到指派。也就是說，把初始化語句放在隻有if塊的條件判斷語句中編譯器也會抗議，因為執行的時候可能不符合if後面的判斷條件，如此一 來初始化語句就不會被執行了，這就違反了局部變量使用前必須初始化的規定。但如果在else塊中也有初始化語句，就可以通過編譯，因為無論如何，總有至少 一條初始化語句會被執行，不會發生使用前未被初始化的事情。對于try-catch也是一樣，如果隻有在try塊裡才有初始化語句，編譯部通過。如果在  catch或finally裡也有，則可以通過編譯。總之，要保證局部變量在使用之前一定被初始化了。是以，一個好的做法是在聲明他們的時候就初始化他 們，如果不知道要出事化成什麼值好，就用上面的預設值吧！

其實第三種變量和第二種本質上是一樣的，都是方法中的局部變量。隻不過作為參數，肯定是被初始化過的，傳入的值就是初始值，是以不需要初始化。

問題六：instanceof是什麼東東？

instanceof是Java的一個二進制操作符，和==，>， <是同一類東東。由于它是由字母組成的，是以也是Java的保留關鍵字。它的作用是測試它左邊的對象是否是它右邊的類的執行個體，傳回boolean類型的資料。舉個例子：

String s = "I AM an Object!";

boolean isObject = s instanceof Object;

我們聲明了一個String對象引用，指向一個String對象，然後用instancof來測試它所指向的對象是否是Object類的一個執行個體，顯然，這是真的，是以傳回true，也就是isObject的值為True。

instanceof有一些用處。比如我們寫了一個處理賬單的系統，其中有這樣三個類：

public class Bill {//省略細節}

public class PhoneBill extends Bill {//省略細節}

public class GasBill extends Bill {//省略細節}

在處理程式裡有一個方法，接受一個Bill類型的對象，計算金額。假設兩種賬單計算方法不同，而傳入的Bill對象可能是兩種中的任何一種，是以要用instanceof來判斷：

public double calculate(Bill bill) {

  if (bill instanceof PhoneBill) {

    //計算電話賬單

  }

  if (bill instanceof GasBill) {

    //計算瓦斯賬單

  }

  ...

}

這樣就可以用一個方法處理兩種子類。

然而，這種做法通常被認為是沒有好好利用面向對象中的多态性。其實上面的功能要求用方法重載完全可以實作，這是面向對象變成應有的做法，避免回到結構化程式設計模式。隻要提供兩個名字和傳回值都相同，接受參數類型不同的方法就可以了：

public double calculate(PhoneBill bill) {

  //計算電話賬單

}

public double calculate(GasBill bill) {

  //計算瓦斯賬單

}

是以，使用instanceof在絕大多數情況下并不是推薦的做法，應當好好利用多态。