大家在Java在實現單例時常用的有:餓漢模式、懶漢模式、雙重鎖懶漢模式DCL(Double Check Lock)、靜態內部類模式、枚舉模式,五種模式,
1.餓漢式:
public class Singleton {
private static Singleton INSTANCE = new Singleton();
private Singleton(){}
public static Singleton getInstance(){
return INSTANCE;
}
}
INSTANCE是用static修飾的所以它在類的初始化時,就會在內存中創建對象,
餓漢式是線程安全的,但是它是以空間換時間,所以不推薦
2.懶漢模式
public class Singleton {
private static Singleton INSTANCE = null;
private Singleton(){}
public static Singleton getInstance(){
if (INSTANCE==null){
INSTANCE = new Singleton();
}
return INSTANCE;
}
}
懶漢模式在方法被調用后才創建對象,以時間換空間,在多線程環境下存在風險
3.雙重鎖懶漢模式DCL(Double Check Lock)
public class Singleton {
private static Singleton INSTANCE = null;
private Singleton() {}
public static Singleton getInstance() {
//先檢查實例是否存在,如果不存在才進入下面的同步塊,減少加鎖
if (INSTANCE == null) {
//同步塊,線程安全的創建實例
synchronized (Singleton.class) {
//再次檢查實例是否存在,如果不存在才真正的創建實例
if (INSTANCE == null) {
INSTANCE = new Singleton();
}
}
}
return INSTANCE;
}
}
DCL模式的優點就是,只有在對象需要被使用時才創建,第一次判斷 INSTANCE == null為了避免非必要加鎖,當第一次加載時才對實例進行加鎖再實例化。這樣既可以節約內存空間,又可以保證線程安全。
重點來了:DCL真的能安全嗎??
由于jvm存在亂序執行功能,DCL也會出現線程不安全的情況。具體分析如下:
首先我們看一下這行代碼
INSTANCE = new Singleton();
這個步驟,其實在jvm里面的執行分為三步:
1.在堆內存開辟內存空間。
2.在堆內存中實例化SingleTon里面的各個參數。
3.把對象指向堆內存空間。
由于jvm存在亂序執行功能,所以在多核CPU上可能在2還沒執行時就先執行了3,如果此時再被切換到線程B上,由于執行了3,INSTANCE 已經非空了,會被直接拿出來用,這樣的話,就會出現異常。這個就是著名的DCL失效問題。
JDK1.6之后,具體化了volatile,只要定義使用volatile 修飾INSTANCE 就可解決DCL失效問題。volatile確保INSTANCE每次均在主內存中讀取,(但是使用volatile修飾某一個變量并不會使它變得線程)這樣雖然會犧牲一點效率,但是是可以接受的。
public class Singleton {
private volatile static SingleTon INSTANCE = null;
private Singleton() {}
public static Singleton getInstance() {
//先檢查實例是否存在,如果不存在才進入下面的同步塊,減少加鎖
if (INSTANCE == null) {
//同步塊,線程安全的創建實例
synchronized (Singleton.class) {
//再次檢查實例是否存在,如果不存在才真正的創建實例
if (INSTANCE == null) {
INSTANCE = new Singleton();
}
}
}
return INSTANCE;
}
}
4.靜態內部類模式
public class Singleton {
private Singleton() {
}
public static Singleton getInstance() {
return SingletonHolder.INSTANCE;
}
private static class SingletonHolder{
private static final Singleton INSTANCE = new Singleton();
}
}
靜態內部類的優點是:外部類與內部類的加載沒有關聯,外部類加載時并不需要立即加載內部類,內部類不被加載則不去初始化INSTANCE,故而不占內存。即當SingleTon第一次被加載時,并不需要去加載SingleTonHolder,只有當getInstance()方法第一次被調用時,才會去初始化INSTANCE,第一次調用getInstance()方法會導致虛擬機加載SingleTonHolder類,這種方法不僅能確保線程安全,也能保證單例的唯一性,同時也延遲了單例的實例化。
這里我們要說一下類加載時機:JAVA虛擬機只有在5種場景下會對類進行初始化。
1.遇到new、getstatic、setstatic或者invikestatic這4個字節碼指令時,對應的java代碼場景為:new一個關鍵字或者一個實例化對象時、讀取或設置一個靜態字段時(final修飾、已在編譯期把結果放入常量池的除外)、調用一個類的靜態方法時。
2.使用java.lang.reflect包的方法對類進行反射調用的時候,如果類沒進行初始化,需要先調用其初始化方法進行初始化。
3.當初始化一個類時,如果其父類還未進行初始化,會先觸發其父類的初始化。
4.當虛擬機啟動時,用戶需要指定一個要執行的主類(包含main()方法的類),虛擬機會先初始化這個類。
5.當使用JDK 1.7等動態語言支持時,如果一個java.lang.invoke.MethodHandle實例最后的解析結果REF_getStatic、REF_putStatic、REF_invokeStatic的方法句柄,并且這個方法句柄所對應的類沒有進行過初始化,則需要先觸發其初始化。
這5種情況被稱為是類的主動引用,那么,除此之外的所有引用類都不會對類進行初始化,稱為被動引用。靜態內部類就屬于被動引用的行列。
我們再回頭看下getInstance()方法,調用的是SingleTonHoler.INSTANCE,取的是SingleTonHoler里的INSTANCE對象,跟上面那個DCL方法不同的是,getInstance()方法并沒有多次去new對象,故不管多少個線程去調用getInstance()方法,取的都是同一個INSTANCE對象,而不用去重新創建。當getInstance()方法被調用時,SingleTonHoler才在SingleTon的運行時常量池里,把符號引用替換為直接引用,這時靜態對象INSTANCE也真正被創建,然后再被getInstance()方法返回出去,這點同餓漢模式。那么INSTANCE在創建過程中又是如何保證線程安全的呢?
虛擬機會保證一個類的<clinit>()方法在多線程環境中被正確地加鎖、同步,如果多個線程同時去初始化一個類,那么只會有一個線程去執行這個類的<clinit>()方法,其他線程都需要阻塞等待,直到活動線程執行<clinit>()方法完畢。如果在一個類的<clinit>()方法中有耗時很長的操作,就可能造成多個進程阻塞(需要注意的是,其他線程雖然會被阻塞,但如果執行<clinit>()方法后,其他線程喚醒之后不會再次進入<clinit>()方法。同一個加載器下,一個類型只會初始化一次。)。
故而,可以看出INSTANCE在創建過程中是線程安全的,所以說靜態內部類形式的單例可保證線程安全,也能保證單例的唯一性,同時也延遲了單例的實例化。
那么,是不是可以說靜態內部類單例就是最完美的單例模式了呢?其實不然,靜態內部類也有著一個致命的缺點,就是傳參的問題,由于是靜態內部類的形式去創建單例的,故外部無法傳遞參數進去,例如Context這種參數,所以,我們創建單例時,可以在靜態內部類與DCL模式里自己斟酌。
5.枚舉模式
public enum SingleTon{
INSTANCE;
public void method(){
//TODO
}
}
枚舉在java中與普通類一樣,都能擁有字段與方法,而且枚舉實例創建是線程安全的,在任何情況下,它都是一個單例。我們可直接以SingleTon.INSTANCE
的方式調用