最近我發現了一個有趣的問題，這個問題的答案乍一看下騙過了我的眼睛。看一下這三個類： package com.ds.test; public class Upper { String upperString; public Upper() { Initializer.initialize(this); ...
最近我發現了一個有趣的問題，這個問題的答案乍一看下騙過了我的眼睛。看一下這三個類：
package com.ds.test;
public class Upper {
String upperString;
public Upper() {
Initializer.initialize(this);
}
}
package com.ds.test;
public class Lower extends Upper {
String lowerString = null;
public Lower() {
super();
System.out.println("Upper: " + upperString);
System.out.println("Lower: " + lowerString);
}
public static void main(final String[] args) {
new Lower();
}
}
package com.ds.test;
public class Initializer {
static void initialize(final Upper anUpper) {
if (anUpper instanceof Lower) {
Lower lower = (Lower) anUpper;
lower.lowerString = "lowerInited";
}
anUpper.upperString = "upperInited";
}
}
運行 Lower 這個類可以得到什麼輸出？在這個極簡的例子中可以更容易地看到整個形勢，但是這個情形發生在現實中會有非常多的代碼分散一個人的註意力。
不管怎麼樣，輸出是像這樣的：
Upper: upperInited
Lower: null;
雖然小示例中使用了 String 類型，Initializer 類的實際代碼中有一個用於註冊的委托對象，與 Lower 類的功能是相同的 — 至少 Lower 類是這個意圖。但由於某些原因在運行應用程式時沒有工作。取而代之的是，使用了預設路徑，委托對象沒有被設置 （null）。
現在稍微改變一下 Lower 的代碼：
package com.ds.test;
public class Lower extends Upper {
String lowerString;
public Lower() {
super();
System.out.println("Upper: " + upperString);
System.out.println("Lower: " + lowerString);
}
public static void main(final String[] args) {
new Lower();
}
}
現在的輸出是這樣的：
Upper: upperInited
Lower: lowerInited
發現代碼中的區別了嗎？
是的，這個 lowerString 欄位不再明確地設置為空。為什麼這麼做會有不同。不管怎樣參考類型欄位（例如這裡的 String ）的預設值不是為空的嗎？當然是空的。事實證明，雖然這種微小的變化顯然不會以任何方式改變代碼行為，但是卻讓結果變的不同。
那麼，到底發生了什麼？當查看初始化順序的時候一切就變的清晰了：
1.main() 函數調用了 Lower 構造器。
2.Lower 的一個實例被準備好了。意味著所有的欄位都被創建並且填充了預設值，例如，引用類型的預設值為空，布爾類型的預設值為 false 。在這個時候，任何的對欄位的內聯賦值都沒有發生。
3.父類構造器被調用了。這是被語言的特性所強制執行的。所以在其他任何事發生之前，Upper 的構造器被調用了。
4.Upper 這個構造器運行並且指定了一個引用，指向 Initializer.initialize() 方法新創建的的實例。
5.Initializer 類為兩個欄位（ upperString 和 lowerString ）附上新字元串。通過使用有點骯髒的 instanceof 實例檢查做到為那兩個欄位賦值 – 這不是一個特別好的設計模式，但是也有可行的，不用管那麼多。一旦發生了，upperString 和 lowerString 的引用都不再為空。
6.Initializer.initialize() 的調用完成，Upper 構造器也同樣完成。
7.現在變得有趣了：Lower 實例的構造在繼續。假設在 lowerString 欄位的聲明中沒有明確地 =null 賦值，Lower 構造器恢復執行並且列印出兩個連接到欄位的字元串。
然而，如果有一個明確地賦值 null 的操作，執行流程會略有不同：當父類構造器完成後，在其餘的構造器運行前，任何變數初始化都會執行（參見java語言規範12.5節）。在這種情況下，之前賦值給 lowerString 的字元串引用會再一次被賦予 null 。然後繼續執行其餘的函數構造，現在列印 lowerString 的值為: null 。
這是一個很好的例子，不僅方便我們如何註意一些創建對象的細節（或者知道去哪裡查看 Java 編碼規範，列印的或者線上的），還顯示了為什麼像這樣寫初始化是很糟糕的。我們一點都不應該關心 Upper 的子類。相反的，如果因為一些原因對某些欄位的初始化不能在子類本身被完成，它將只需要它自己的某些初始化幫助類的變體。在這種情況下，如果你使用 String lowString 或者 String lowerString = null 是真的沒有任何區別的，它應該是什麼就會是什麼。
