1、.单例模式(Singleton Pattern)前面说提到的五种创建模式,主要解决的问题是如何创建对象,获得产品。而单例模式最要关心的则是对象创建的次数以及何时被创建。Singleton 模式可以是很简单的,它的全部只需要一个类就可以完成(看看这章可怜的 UML图) 。但是如果在“ 对象创建的次数以及何时被创建”这两点上较真起来,Singleton 模式可以相当的复杂,比头五种模式加起来还复杂,譬如涉及到 DCL 双锁检测( double checked locking)的讨论、涉及到多个类加载器(ClassLoader)协同时、涉及到跨 JVM(集群、远程 EJB 等)时、涉及到单例对象被销
2、毁后重建等。对于复杂的情况,本章中会涉及到其中一些1目的:希望对象只创建一个实例,并且提供一个全局的访问点。场景:Kerrigan 对于 Zerg 来说是个至关重要的灵魂人物,无数的 Drone、Zergling、Hydralisk可以被创造、被牺牲,但是 Kerrigan 得存在关系到 Zerg 在这局游戏中的生存,而且 Kerrigan 是不允许被多次创造的,必须有且只有一个虫族刀锋女王的实例存在,这不是游戏规则,但这是个政治问题。分析:如前面一样,我们还是尝试使用代码来描述访问 Kerrigan 的过程,看看下面的 UML 图,简单得我都不怎么好意思放上来占版面。图6.1 单例模式的 U
3、ML 图结构是简单的,只是我们还有一些小小的要求如下:1.最基本要求:每次从 getInstance()都能返回一个且唯一的一个 Kerrigan 对象。2.稍微高一点的要求:Kerrigan 很忙,很多人找,所以希望这个方法能适应多线程并发访问。3.再提高一点的要求:Zerg 是讲究公务员效率的社会,希望找 Kerrigan 的方法性能尽可能高。4.最后一点要求是 Kerrigan 自己提出的:体谅到 Kerrigan 太累,希望多些睡觉时间,因此Kerrigan 希望实现懒加载( Lazy Load) ,在需要的时候才被构造。5.原本打算说还提要处理多 ClassLoader、多 JVM
4、等情况,不过还是不要把情况考虑的太复杂了,暂且先放过作者吧(-_-#) 。我们第一次写的单例模式是下面这个样子的:Java 代码 /* * 实现单例访问 Kerrigan 的第一次尝试 */ public class SingletonKerriganA /* * 单例对象实例 */ private static SingletonKerriganA instance = null; public static SingletonKerriganA getInstance() if (instance = null) /line A instance = new SingletonKerrig
5、anA(); /line B return instance; 这个写法我们把四点需求从上往下检测,发现第二点的时候就出了问题,假设这样的场景:两个线程并发调用 SingletonKerriganA.getInstance(),假设线程一先判断完 instance 是否为null,既代码中的 line A 进入到 line B 的位置。刚刚判断完毕后,JVM 将 CPU 资源切换给线程二,由于线程一还没执行 line B,所以 instance 仍然是空的,因此线程二执行了 new SignletonKerriganA()操作。片刻之后,线程一被重新唤醒,它执行的仍然是 new Signlet
6、onKerriganA()操作,好了,问题来了,两个 Kerrigan 谁是李逵谁是李鬼?紧接着,我们做单例模式的第二次尝试:Java 代码 /* * 实现单例访问 Kerrigan 的第二次尝试 */ public class SingletonKerriganB /* * 单例对象实例 */ private static SingletonKerriganB instance = null; 比起第一段代码仅仅在方法中多了一个 synchronized 修饰符,现在可以保证不会出线程问题了。但是这里有个很大(至少耗时比例上很大)的性能问题。除了第一次调用时是执行了SingletonKerr
7、iganB 的构造函数之外,以后的每一次调用都是直接返回 instance 对象。返回对象这个操作耗时是很小的,绝大部分的耗时都用在 synchronized 修饰符的同步准备上,因此从性能上说很不划算。那继续把代码改成下面的样子: public synchronized static SingletonKerriganB getInstance() if (instance = null) instance = new SingletonKerriganB(); return instance; Java 代码 /* * 实现单例访问 Kerrigan 的第三次尝试 */ public cl
8、ass SingletonKerriganC /* * 单例对象实例 基本上,把 synchronized 移动到代码内部是没有什么意义的,每次调用 getInstance()还是要进行同步。同步本身没有问题,但是我们只希望在第一次创建 Kerrigan 实例的时候进行同步,因此我们有了下面的写法 双重锁定检查(DCL ) 。 */ private static SingletonKerriganC instance = null; public static SingletonKerriganC getInstance() synchronized (SingletonKerriganC.c
9、lass) if (instance = null) instance = new SingletonKerriganC(); return instance; Java 代码 /* * 实现单例访问 Kerrigan 的第四次尝试 */ public class SingletonKerriganD 看起来这样已经达到了我们的要求,除了第一次创建对象之外,其他的访问在第一个 if 中就返回了,因此不会走到同步块中。已经完美了吗?我们来看看这个场景:假设线程一执行到 instance = new SingletonKerriganD()这句,这里看起来是一句话,但实际上它并不是一个原子操作(原
10、子操作的意思就是这条语句要么就被执行 /* * 单例对象实例 */ private static SingletonKerriganD instance = null; public static SingletonKerriganD getInstance() if (instance = null) synchronized (SingletonKerriganD.class) if (instance = null) instance = new SingletonKerriganD(); return instance; 完,要么就没有被执行过,不能出现执行了一半这种情形) 。事实上高
11、级语言里面非原子操作有很多,我们只要看看这句话被编译后在 JVM 执行的对应汇编代码就发现,这句话被编译成8条汇编指令,大致做了3件事情:1.给 Kerrigan 的实例分配内存。2.初始化 Kerrigan 的构造器3.将 instance 对象指向分配的内存空间(注意到这步 instance 就非 null 了) 。但是,由于 Java 编译器允许处理器乱序执行(out-of-order) ,以及 JDK1.5之前 JMM(Java Memory Medel)中 Cache、寄存器到主内存回写顺序的规定,上面的第二点和第三点的顺序是无法保证的,也就是说,执行顺序可能是1-2-3也可能是1-
12、3-2,如果是后者,并且在3执行完毕、2未执行之前,被切换到线程二上,这时候 instance 因为已经在线程一内执行过了第三点,instance 已经是非空了,所以线程二直接拿走 instance,然后使用,然后顺理成章地报错,而且这种难以跟踪难以重现的错误估计调试上一星期都未必能找得出来,真是一茶几的杯具啊。DCL 的写法来实现单例是很多技术书、教科书(包括基于 JDK1.4以前版本的书籍)上推荐的写法,实际上是不完全正确的。的确在一些语言(譬如 C 语言)上 DCL 是可行的,取决于是否能保证2 、3 步的顺序。在 JDK1.5之后,官方已经注意到这种问题,因此调整了 JMM、具体化了
13、volatile 关键字,因此如果 JDK 是1.5或之后的版本,只需要将 instance 的定义改成“private volatile static SingletonKerriganD instance = null;”就可以保证每次都去 instance 都从主内存读取,就可以使用 DCL 的写法来完成单例模式。当然 volatile 或多或少也会影响到性能,最重要的是我们还要考虑 JDK1.42以及之前的版本,所以本文中单例模式写法的改进还在继续。代码倒越来越复杂了,现在先来个返璞归真,根据 JLS(Java Language Specification)中的规定,一个类在一个 Cl
14、assLoader 中只会被初始化一次,这点是 JVM 本身保证的,那就把初始化实例的事情扔给 JVM 好了,代码被改成这样:Java 代码 /* * 实现单例访问 Kerrigan 的第五次尝试 */ public class SingletonKerriganE 好吧,如果这种写法是完美的话,那前面那么几大段话就是作者在消遣各位读者。这种写法不会出现并发问题,但是它是饿汉式的,在 ClassLoader 加载类后 Kerrigan 的实例就会第一时间被创建,饿汉式的创建方式在一些场景中将无法使用:譬如 Kerrigan 实例的创建是依赖参数或者配置文件的,在 getInstance()之前
15、必须调用某个方法设置参数给它,那样这种单例写法就无法使用了。再来看看下面这种我觉得能应对较多场景的单例写法: /* * 单例对象实例 */ private static SingletonKerriganE instance = new SingletonKerriganE(); public static SingletonKerriganE getInstance() return instance; Java 代码 /* * 实现单例访问 Kerrigan 的第六次尝试 */ public class SingletonKerriganF 这种写法仍然使用 JVM 本身机制保证了线程安全
16、问题;由于 SingletonHolder 是私有的,除了 getInstance()之外没有办法访问它,因此它是懒汉式的;同时读取实例的时候不会进行同步,没有性能缺陷;也不依赖 JDK 版本。其他单例模式的写法还有很多,如使用本地线程(ThreadLocal)来处理并发以及保证一个线程内一个单例的实现、GoF 原始例子中使用注册方式应对单例类需要需要继承时的实现、使用指定类加载器去应对多 ClassLoader 环境下的实现等等。我们做开发设计工作的时,应当既要考虑到需求可能出现的扩展与变化,也应当避免“幻影需求”导致无谓的提升设计、实现复杂度,最终反而带来工期、性能和稳定性的损失。设计不足
17、与设计过度都是危害,所以说没有最好的单例模式,只有最合适的单例模式。到这里为止,单例模式本身就先告一段落了,最后在介绍从其他途径屏蔽构造单例对象的方 private static class SingletonHolder /* * 单例对象实例 */ static final SingletonKerriganF INSTANCE = new SingletonKerriganF(); public static SingletonKerriganF getInstance() return SingletonHolder.INSTANCE; 法:1.直接 new 单例对象2.通过反射构造单
18、例对象3.通过序列化构造单例对象。对于第一种情况,一般我们会加入一个 private 或者 protected 的构造函数,这样系统就不会自动添加那个 public 的构造函数了,因此只能调用里面的 static 方法,无法通过 new 创建对象。对于第二种情况,反射时可以使用 setAccessible 方法来突破 private 的限制,我们需要做到第一点工作的同时,还需要在在 ReflectPermission(“suppressAccessChecks“)权限下使用安全管理器(SecurityManager)的 checkPermission 方法来限制这种突破。一般来说,不会真的去做这些事情,都是通过应用服务器进行后台配置实现。对于第三种情况,如果单例对象有必要实现 Serializable 接口(很少出现) ,则应当同时实现readResolve()方法来保证反序列化的时候得到原来的对象。基于上述情况,将单例模式增加两个方法:Java 代码 /* * 能应对大多数情况的单例实现 */ public class SingletonKerrigan implements Serializable private static class SingletonHolder /* * 单例对象实例 */