有簡單又高效的方法可以實現單例模式,但沒有一種方式能在任何情況下都確保單例的完整性。
單例模式是指某個類只被實例化一次,用來表示全局或系統范圍的組件。單例模式常用于日志記錄、工廠、窗口管理器和平臺組件管理等。我認為要盡量避免使用單例模式,因為一旦實現就很難改變或重載,而且會造成編寫測試用例困難、代碼結構糟糕等問題。另外,下面文章中的單例模式是不安全的。
人們花大量的精力研究怎樣更好地實現單例模式,但有一種簡單高效的實現方法。然而,沒有一種方法能在任何情況下都確保單例的完整性。閱讀下文,看看你是否認同。
這種方法將構造函數私有化,向外提供一個公有的static final對象:
1 2 3 4 5 | public class FooSingleton { public final static FooSingleton INSTANCE = new FooSingleton(); public void bar() { } } |
類加載時,static對象被初始化,此時私有的構造函數被第一次也是最后一次調用。即使在類初始化前有多個線程調用此類,JVM也能保證線程繼續運行時該類已完整初始化。然而,使用反射和setaccessible(true)方法,可以創建其他新的實例:
1 2 3 4 | Constructor[] constructors = FooSingleton. class .getDeclaredConstructors(); Constructor constructor = constructors[ 0 ]; constructor.setAccessible( true ); FooSingleton spuriousFoo = (FooSingleton) constructor.newInstance( new Object[ 0 ]); |
我們需要修改構造函數,使其免于多次調用,例如當它被再次調用時拋出異常。如下這樣修改FooSingleton構造函數,可以防范此類攻擊:
1 2 3 4 5 6 7 8 9 10 11 12 | public class FooSingleton2 { private static boolean INSTANCE_CREATED; public final static FooSingleton2 INSTANCE = new FooSingleton2(); private FooSingleton2() { if (INSTANCE_CREATED) { throw new IllegalStateException( "You must only create one instance of this class" ); } else { INSTANCE_CREATED = true ; } } public void bar() { } } |
這樣看起來安全一些了,但其實要創建新的實例還是一樣容易。我們只需修改INSTANCE_CREATED字段,再玩同樣的把戲就可以了:
1 2 3 4 5 6 7 | Field f = FooSingleton2. class .getDeclaredField( "INSTANCE_CREATED" ); f.setAccessible( true ); f.set( null , false ); Constructor[] constructors = FooSingleton2. class .getDeclaredConstructors(); Constructor constructor = constructors[ 0 ]; constructor.setAccessible( true ); FooSingleton2 spuriousFoo = (FooSingleton2) constructor.newInstance( new Object[ 0 ]); |
我們采取的任何防范措施都可能被繞過,所以此方案并不可行。
使用這種方法,公有的成員類似靜態工廠:
1 2 3 4 5 6 | public class FooSingleton3 { public final static FooSingleton3 INSTANCE = new FooSingleton3(); private FooSingleton3() { } public static FooSingleton3 getInstance() { return INSTANCE; } public void bar() { } } |
getInstance()方法返回的永遠是同一個對象引用。雖然這個方案也無法防范反射,但還是有它的一些優點。例如,可以在不改變API的情況下,改變單例的實現。getInstance()出現在幾乎所有的單例實現中,它也標志著這真的是一個單例模式。
(譯者注:在軟件工程中,Initialization-on-demand holder 這個習語指的就是延遲加載的單例模式,參見維基百科)
如果希望盡可能延遲單例的創建(懶漢式加載),可以使用延遲初始化方法,當getInstance()方法第一次調用時線程安全地創建單例。相比之前的方案當第一次引用該類時就創建單例(餓漢式加載),這是一個進步。如下:
1 2 3 4 5 6 7 8 9 10 | public class FooSingleton4 { private FooSingleton4() { } public static FooSingleton4 getInstance() { return FooSingleton4Holder.INSTANCE; } private static class FooSingleton4Holder { private static final FooSingleton4 INSTANCE = new FooSingleton4(); } } |
如果單例實現了序列化,它就要面臨另一個威脅。因此需要將所有字段聲明為transient(這樣它就不會被序列化)并提供一個自定義的readResolve()方法返回唯一實例INSTANCE的引用。
這里用枚舉作為單例INSTANCE的容器:
1 2 3 4 5 | public enum FooEnumSingleton { INSTANCE; public static FooEnumSingleton getInstance() { return INSTANCE; } public void bar() { } } |
根據java語言規范8.9,“Enum的final克隆方法保證枚舉永遠無法被克隆,其特殊的序列化機制保證無法反序列化得到拷貝的對象。同時,還禁止利用反射對枚舉進行實例化。保證了這四個方面,在枚舉常量之外,就不會有其他同類的枚舉實例存在。”
這樣,我們似乎很簡單地就防范了序列化、克隆和反射的攻擊。第一次看到這段話,我立刻想要證明它是錯的。如下代碼所示,繞過這些保護是很容易的:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 | Constructor con = FooEnumSingleton. class .getDeclaredConstructors()[ 0 ]; Method[] methods = con.getClass().getDeclaredMethods(); for (Method method : methods) { if (method.getName().equals( "acquireConstructorAccessor" )) { method.setAccessible( true ); method.invoke(con, new Object[ 0 ]); } } Field[] fields = con.getClass().getDeclaredFields(); Object ca = null ; for (Field field : fields) { if (field.getName().equals( "constructorAccessor" )) { field.setAccessible( true ); ca = field.get(con); } } Method method = ca.getClass().getMethod( "newInstance" , new Class[]{Object[]. class }); method.setAccessible( true ); FooEnumSingleton spuriousEnum = (FooEnumSingleton) method.invoke(ca, new Object[]{ new Object[]{ "SPURIOUS_INSTANCE" , 1 }}); printInfo(FooEnumSingleton.INSTANCE); printInfo(spuriousEnum); } private static void printInfo(FooEnumSingleton e) { System.out.println(e.getClass() + ":" + e.name() + ":" + e.ordinal()); } |
執行這段代碼,得到結果:
1 2 | class com.blogspot.minborgsjavapot.singleton.FooEnumSingleton:INSTANCE: 0 class com.blogspot.minborgsjavapot.singleton.FooEnumSingleton:SPURIOUS_INSTANCE: 1 |
枚舉的缺點是它無法從另一個基類繼承,因為它已經繼承自java.lang.Enum。如果想要模擬這種繼承,可以參考我另一篇文章中介紹的混入模式(mixin pattern)。
枚舉的一個優點是,如果你之后希望有“二例(dualton)”或“三例(tringleton)”,只需要增加新的枚舉實例即可。例如,有了一個單例的緩存之后,你也許還想給緩存引入多個層次。
前兩天在一群里看見有人推薦一個app叫問啊,就可以發題答題那種的,感覺就跟uber滴滴打車似的,一般這種軟件一上來就砸錢給紅包啥的,哥之前刷過uber的單有經驗!試驗了幾次應該可以刷,把注冊紅包和之前領的紅包錢套現,目前我提了五十多,目測還能刷更多。ps,但是盡量要問技術相關的問題,不然容易被封。
有技術的可以自己試,不會的可以q我:QQ群290551701
新聞熱點
疑難解答