本文討論的問題不是新問題，但即使是經驗豐富的開發人員也仍然很棘手。 單例模式是常見的編程習慣。 但是，當與多個線程一起使用時，必須進行某種類型的同步，以免破壞代碼。

Khangaonkar報告中的 JCG合作伙伴Manoj Khangaonkar在一篇相關文章中詳細研究了雙重檢查的成語，以了解其崩潰之處，并提出了所有可能的解決方案：

免得他說些什么：

Java中的雙重檢查鎖定問題已得到充分證明。 但是，即使是經驗豐富的程序員也可能會過分熱衷于嘗試優化代碼同步，從而創建單例并使其陷入陷阱。

考慮代碼

public class Sample {private static Sample s = null ;public static Sample getSample() {if (s == null) {s = new Sample() ;}return s ;}
}

此代碼不是線程安全的。 如果2個線程t1和t2同時進入getSample（）方法，則它們很可能會獲得不同的樣本實例。 通過將synced關鍵字添加到getSample（）方法，可以輕松解決此問題。

public class Sample {private static Sample s = null ;public static synchronized Sample getSample() {if (s == null) {s = new Sample() ;}return s ;}
}

現在，getSample方法可以正常工作。 在進入getSample方法之前，線程t1獲得一個鎖。 需要進入該方法的任何其他線程t2將阻塞，直到t1退出該方法并釋放鎖為止。 代碼有效。 生活很好。 這是精明的程序員在不謹慎的情況下可以超越自己的地方。 他將注意到，實際上，僅對創建實例的getSample的第一次調用需要進行同步，而僅返回s的后續調用將付出不必要的代價。 他決定優化代碼以

public class Sample {private static Sample s = null ;public static Sample getSample() {if (s == null) {synchronized(Sample.class) {s = new Sample() ;}}return s ;}
}

我們的Java專家很快意識到該代碼與清單1所存在的問題相同。 因此，他進一步對其進行了微調。

public class Sample {private static Sample s = null ;public static Sample getSample() {if (s == null) {synchronized(Sample.class) {if (s == null) {s = new Sample() ;}}}return s ;}
}

通過在同步塊中添加額外的檢查，他確保了只有一個線程將創建該示例的實例。 這是雙重檢查模式。 我們的老師的朋友，一位Java專家，好友檢查了該代碼。 簽入代碼并發貨。 生活好嗎？

錯 ！ 假設線程t1進入getSample。 s為空。 它鎖了。 在同步塊內，它檢查s是否仍然為null，然后執行Sample的構造函數。 在構造函數執行完成之前，將t1換出，并且t2得到控制。 由于構造函數未完成，因此s被部分初始化。 它不為null，但具有一些損壞或不完整的值。 當t2進入getSample時，它將看到s不為null并返回一個損壞的值。

總之，仔細檢查模式不起作用。 選項是在清單2所示的方法級別進行同步，或者放棄同步并使用一個靜態字段，如下所示。

public class Sample {private static Sample INSTANCE = new Sample();public static Sample getSample()  {return INSTANCE ;}
}

好是好人的敵人！

拜倫

相關文章：

• Java最佳實踐系列
• 正確記錄應用程序的10個技巧
• 每個程序員都應該知道的事情
• 生存在狂野西部開發過程中的9條提示
• 軟件設計法則
• JDK中的設計模式