Java 实现单例的难点

有简单又高效的方法可以实现单例模式,但没有一种方式能在任何情况下都确保单例的完整性。

单例模式是指某个类只被实例化一次,用来表示全局或系统范围的组件。单例模式常用于日志记录、工厂、窗口管理器和平台组件管理等。我认为要尽量避免
使用单例模式,因为一旦实现就很难改变或重载,而且会造成编写测试用例困难、代码结构糟糕等问题。另外,下面文章中的单例模式是不安全的。

人们花大量的精力研究怎样更好地实现单例模式,但有一种简单高效的实现方法。然而,没有一种方法能在任何情况下都确保单例的完整性。阅读下文,看看你是否认同。

Final字段

这种方法将构造函数私有化,向外提供一个公有的static final对象:


  1. public class FooSingleton { 
  2.     public final static FooSingleton INSTANCE = new FooSingleton(); 
  3.     private FooSingleton() { } 
  4.     public void bar() { } 

类加载时,static对象被初始化,此时私有的构造函数被第一次也是最后一次调用。即使在类初始化前有多个线程调用此类,JVM也能保证线程继续运行时该类已完整初始化。然而,使用反射和setAccessible(true)方法,可以创建其他新的实例:


  1. Constructor[] constructors = FooSingleton.class.getDeclaredConstructors(); 
  2. Constructor constructor = constructors[0]; 
  3. constructor.setAccessible(true); 
  4. FooSingleton spuriousFoo = (FooSingleton) constructor.newInstance(new Object[0]); 

我们需要修改构造函数,使其免于多次调用,例如当它被再次调用时抛出异常。如下这样修改FooSingleton构造函数,可以防范此类攻击:


  1. public class FooSingleton2 { 
  2.     private static boolean INSTANCE_CREATED; 
  3.     public final static FooSingleton2 INSTANCE = new FooSingleton2(); 
  4.     private FooSingleton2() { 
  5.         if (INSTANCE_CREATED) { 
  6.             throw new IllegalStateException("You must only create one instance of this class"); 
  7.         } else { 
  8.             INSTANCE_CREATED = true; 
  9.         } 
  10.     } 
  11.     public void bar() { } 

这样看起来安全一些了,但其实要创建新的实例还是一样容易。我们只需修改INSTANCE_CREATED字段,再玩同样的把戏就可以了:


  1. Field f = FooSingleton2.class.getDeclaredField("INSTANCE_CREATED"); 
  2. f.setAccessible(true); 
  3. f.set(null, false); 
  4. Constructor[] constructors = FooSingleton2.class.getDeclaredConstructors(); 
  5. Constructor constructor = constructors[0]; 
  6. constructor.setAccessible(true); 
  7. FooSingleton2 spuriousFoo = (FooSingleton2) constructor.newInstance(new Object[0]); 

我们采取的任何防范措施都可能被绕过,所以此方案并不可行。

静态工厂

使用这种方法,公有的成员类似静态工厂:


  1. public class FooSingleton3 { 
  2.     public final static FooSingleton3 INSTANCE = new FooSingleton3(); 
  3.     private FooSingleton3() { } 
  4.     public static FooSingleton3 getInstance() { return INSTANCE; } 
  5.     public void bar() { } 

getInstance()方法返回的永远是同一个对象引用。虽然这个方案也无法防范反射,但还是有它的一些优点。例如,可以在不改变API的情况下,改变单例的实现。getInstance()出现在几乎所有的单例实现中,它也标志着这真的是一个单例模式。

延迟加载的单例模式

(译者注:在软件工程中,Initialization-on-demand holder 这个习语指的就是延迟加载的单例模式,参见维基百科

如果希望尽可能延迟单例的创建(懒汉式加载),可以使用延迟初始化方法,当getInstance()方法第一次调用时线程安全地创建单例。相比之前的方案当第一次引用该类时就创建单例(饿汉式加载),这是一个进步。如下:


  1. public class FooSingleton4 { 
  2.     private FooSingleton4() { 
  3.     } 
  4.     public static FooSingleton4 getInstance() { 
  5.         return FooSingleton4Holder.INSTANCE; 
  6.     } 
  7.     private static class FooSingleton4Holder { 
  8.         private static final FooSingleton4 INSTANCE = new FooSingleton4(); 
  9.     } 

要小心序列化

如果单例实现了序列化,它就要面临另一个威胁。因此需要将所有字段声明为transient(这样它就不会被序列化)并提供一个自定义的readResolve()方法返回唯一实例INSTANCE的引用。

枚举

这里用枚举作为单例INSTANCE的容器:


  1. public enum FooEnumSingleton { 
  2.     INSTANCE; 
  3.     public static FooEnumSingleton getInstance() { return INSTANCE; } 
  4.     public void bar() { } 

根据Java语言规范8.9,“Enum的final克隆方法保证枚举永远无法被克隆,其特殊的序列化机制保证无法反序列化得到拷贝的对象。同时,还禁止利用反射对枚举进行实例化。保证了这四个方面,在枚举常量之外,就不会有其他同类的枚举实例存在。”

这样,我们似乎很简单地就防范了序列化、克隆和反射的攻击。第一次看到这段话,我立刻想要证明它是错的。如下代码所示,绕过这些保护是很容易的:


  1. Constructor con = FooEnumSingleton.class.getDeclaredConstructors()[0]; 
  2. Method[] methods = con.getClass().getDeclaredMethods(); 
  3. for (Method method : methods) { 
  4.      if (method.getName().equals("acquireConstructorAccessor")) { 
  5.          method.setAccessible(true); 
  6.          method.invoke(con, new Object[0]); 
  7.      } 
  8.   } 
  9.   Field[] fields = con.getClass().getDeclaredFields(); 
  10.   Object ca = null; 
  11.   for (Field field : fields) { 
  12.       if (field.getName().equals("constructorAccessor")) { 
  13.           field.setAccessible(true); 
  14.           ca = field.get(con); 
  15.       } 
  16.   } 
  17.   Method method = ca.getClass().getMethod("newInstance", new Class[]{Object[].class}); 
  18.   method.setAccessible(true); 
  19.   FooEnumSingleton spuriousEnum = (FooEnumSingleton) method.invoke(ca, new Object[]{new Object[]{"SPURIOUS_INSTANCE", 1}}); 
  20.   printInfo(FooEnumSingleton.INSTANCE); 
  21.   printInfo(spuriousEnum); 
  22. private static void printInfo(FooEnumSingleton e) { 
  23.     System.out.println(e.getClass() + ":" + e.name() + ":" + e.ordinal()); 

执行这段代码,得到结果:

class com.blogspot.minborgsjavapot.singleton.FooEnumSingleton:INSTANCE:0
class com.blogspot.minborgsjavapot.singleton.FooEnumSingleton:SPURIOUS_INSTANCE:1

枚举的缺点是它无法从另一个基类继承,因为它已经继承自java.lang.Enum。如果想要模拟这种继承,可以参考我另一篇文章中介绍的混入模式(mixin pattern)。

枚举的一个优点是,如果你之后希望有“二例(dualton)”或“三例(tringleton)”,只需要增加新的枚举实例即可。例如,有了一个单例的缓存之后,你也许还想给缓存引入多个层次。

结论

尽管绕过单例的这些保护并不容易,但确实没有一种万无一失的方案。如果你有更好的方案,请不吝赐教!

枚举是实现单例模式的简单而又高效的方法。如果想要有继承或懒汉式加载,延迟初始化方案是不错的选择。

祝你的单例好运!

来源:51CTO

时间: 2024-08-01 23:53:12

Java 实现单例的难点的相关文章

java的单例、static修饰符及static的继承

单例设计模型: static修饰符: ①:static静态只有一份(同一个虚拟机中) (节省资源),类代码被装载内存时,静态代码分配内存,并执行,并且常驻内存. 可参考:类加载顺序 ②:Static修饰成员变量,成为"类变量",属于整个类,类的共享变量.注:不能修饰局部变量.          static是一块为整个类共有一块存储区域,静态变量只有一份,值变化后,所有访问值变化生效.          java中用类名调用static变量和方法(对象调用也可以):类名.变量(方法名)

Java单例进化史

关于单例,从我学Java到现在只知道以下两点: 1.为了让一个类只能有一个实例,所以使用单例的设计模式. 2.有两种实现方法:①饿汉式 ②懒汉式 ①饿汉式简单,是线程安全的.但是在类加载时就创建了一个实例,但是这个单例类可能永远不会被使用,这就造成了浪费.而且类被加载器加载时就会实例化一次.这就有可能被实例化多次. public class Singleton { private static final Singleton INSTANCE = new Singleton(); private

关于Java单例对象同步问题

单例对象(Singleton)是一种常用的设计模式.在Java应用中,单例对象能保证在一个JVM中,该对象只有一个实例存在.正是由于这个特点,单例对象通常作为程序中的存放配置信息的载体,因为它能保证其他对象读到一致的信息.例如在某个服务器程序中,该服务器的配置信息可能存放在数据库或文件中,这些配置数据由某个单例对象统一读取,服务进程中的其他对象如果要获取这些配置信息,只需访问该单例对象即可.这种方式极大地简化了在复杂环境下,尤其是多线程环境下的配置管理,但是随着应用场景的不同,也可能带来一些同步

浅谈Java编程中的单例设计模式_java

写软件的时候经常需要用到打印日志功能,可以帮助你调试和定位问题,项目上线后还可以帮助你分析数据.但是Java原生带有的System.out.println()方法却很少在真正的项目开发中使用,甚至像findbugs等代码检查工具还会认为使用System.out.println()是一个bug. 为什么作为Java新手神器的System.out.println(),到了真正项目开发当中会被唾弃呢?其实只要细细分析,你就会发现它的很多弊端.比如不可控制,所有的日志都会在项目上线后照常打印,从而降低运

【转载】JAVA序列化/反序列化与单例

本文转载自http://shift-alt-ctrl.iteye.com/blog/1842040   单例设计类:   Java代码   package com.test.singleton;      import java.io.IOException;   import java.io.ObjectStreamException;   import java.io.Serializable;         public class SingleTon implements Serial

《Java核心技术 卷Ⅱ 高级特性(原书第10版)》一2.4.4 序列化单例和类型安全的枚举

2.4.4 序列化单例和类型安全的枚举 在序列化和反序列化时,如果目标对象是唯一的,那么你必须加倍当心,这通常会在实现单例和类型安全的枚举时发生. 如果你使用Java语言的enum结构,那么你就不必担心序列化,它能够正常工作.但是,假设你在维护遗留代码,其中包含下面这样的枚举类型: 这种风格在枚举被添加到Java语言中之前是很普遍的.注意,其构造器是私有的.因此,不可能创建出超出Orientation.HORIZONTAL和Orientation.VERTICAL之外的对象.特别是,你可以使用=

java单例问题?

问题描述 N个客户机掉一个单例会不回使系统性能下降.java单例是多线程.我还是有点不明白这个, 解决方案 有同步,就会慢下来.没有,就不会,而且有可能会被HotSpot优化后,跑的更快.解决方案二:首先N个客户机掉一个单例并不意味着他们调用的是同一个对象,而单例更多的是每个客户机进入以后先实例化一个对象,然后存在于这个客户机访问的这个生命周期.你多线程访问同一个对象很不安全,如果其中有一个释放他的内存空间,那么所有的都得重新再去获得,这在应用中显然是不可能的!这是自己的见解,希望牛人提点!解决

【java设计模式】之 单例(Singleton)模式

1. 单例模式的定义         单例模式(Singleton Pattern)是一个比较简单的模式,其原始定义如下:Ensure a class has only one instance, and provide a global point of access to it. 即确保只有一个实例,而且自行实例化并向整个系统提供这个实例.单例模式的通用类如下图所示:         Singleton类称为单例类,通过使用private的构造函数确保了在一个应用中只产生一个实例,并且是自行

Effective java 第2版 - 笔记(01) 单例(Singleton)的枚举(enum)实现

直接上代码: 1 public enum Boss { 2 3 INSTANCE; 4 5 private String name; 6 7 public void doSomeThing() { 8 System.out.println(name + " is doing something now..."); 9 } 10 11 public String getName() { 12 return name; 13 } 14 15 public void setName(Stri