关于java:这9个单例被破坏的事故现场你遇到过几个-评论区见

9次阅读

共计 18601 个字符,预计需要花费 47 分钟才能阅读完成。

1 通用单例写法带来的弊病

咱们看到的单例模式通用写法,个别就是饿汉式单例的规范写法。饿汉式单例写法在类加载的时候立刻初始化,并且创立单例对象。它相对线程平安,在线程还没呈现之前就实例化了,不可能存在拜访平安问题。饿汉式单例还有另外一种写法,代码如下。


// 饿汉式动态代码块单例模式
public class HungryStaticSingleton {
    private static final HungryStaticSingleton instance;
    
    static {instance = new HungryStaticSingleton();
    }

    private HungryStaticSingleton(){}

    public static HungryStaticSingleton getInstance(){return  instance;}
}

这种写法应用动态代码块的机制,非常简单也容易了解。饿汉式单例模式实用于单例对象较少的状况。这样写能够保障相对线程平安,执行效率比拟高。然而它的毛病也很显著,就是所有对象类在加载的时候就实例化。这样一来,如果零碎中有大批量的单例对象存在,而且单例对象的数量也不确定,则零碎初始化时会造成大量的内存节约,从而导致系统内存不可控。也就是说,不论对象用或不必,都占着空间,节约了内存,有可能占着内存又不应用。那有没有更优的写法呢?咱们持续剖析。

2 还原线程毁坏单例的事故现场

为了解决饿汉式单例写法可能带来的内存节约问题,于是呈现了懒汉式单例的写法。懒汉式单例写法的特点是单例对象在被应用时才会初始化。懒汉式单例写法的简略实现 LazySimpleSingleton 如下。


// 懒汉式单例模式在内部须要应用的时候才进行实例化
public class LazySimpleSingletion {
    // 动态块,公共内存区域
    private static LazySimpleSingletion instance;

    private LazySimpleSingletion(){}

    public  static LazySimpleSingletion getInstance(){if(instance == null){instance = new LazySimpleSingletion();
        }
        return instance;
    }
}

但这样写又带来了一个新的问题,如果在多线程环境下,则会呈现线程平安问题。先来模仿一下,编写线程类 ExectorThread。

public class ExectorThread implements Runnable{
    @Override
    public void run() {LazySimpleSingleton singleton = LazySimpleSingleton.getInstance();
        System.out.println(Thread.currentThread().getName() + ":" + singleton);
    }
}

编写客户端测试代码如下。

public class LazySimpleSingletonTest {public static void main(String[] args) {Thread t1 = new Thread(new ExectorThread());
        Thread t2 = new Thread(new ExectorThread());
        t1.start();
        t2.start();
        System.out.println("End");
    }
}

咱们重复屡次运行程序上的代码,发现会有肯定概率呈现两种不同后果,有可能两个线程获取的对象是统一的,也有可能两个线程获取的对象是不统一的。下图是两个线程获取的对象不统一的运行后果。

下图是两个线程获取的对象统一的后果。

显然,这意味着下面的单例存在线程安全隐患。那么这个后果是怎么产生的呢?咱们来剖析一下,如下图所示,如果两个线程在同一时间同时进入 getInstance() 办法,则会同时满足 if(null == instance) 条件,创立两个对象。如果两个线程都持续往下执行前面的代码,则有可能后执行的线程的后果笼罩先执行的线程的后果。如果打印动作产生在笼罩之前,则最终失去的后果就是统一的;如果打印动作产生在笼罩之后,则失去两个不一样的后果。

当然,也有可能没有产生并发,齐全失常运行。上面通过调试形式来更粗浅地了解一下。这里教大家一种新技能,用线程模式调试,手动控制线程的执行程序来跟踪内存的变动。先把 ExectorThread 类打上断点,如下图所示。

单击右键点击断点,切换为 Thread 模式,如下图所示。

而后把 LazySimpleSingleton 类也打上断点,同样标记为 Thread 模式,如下图所示。

切换回客户端测试代码,同样也打上断点,同时改为 Thread 模式,如下图所示。

在开始 Debug 之后,咱们会看到 Debug 控制台能够自在切换 Thread 的运行状态,如下图所示。

通过一直切换线程,并观测其内存状态,咱们发现在线程环境下 LazySimpleSingleton 被实例化了两次。有时候失去的运行后果可能是两个雷同的对象,实际上是被前面执行的线程笼罩了,咱们看到了一个假象,线程安全隐患仍旧存在。那么,如何优化代码,使得懒汉式单例模式在线程环境下平安呢?来看上面的代码,给 getInstance() 办法加上 synchronized 关键字,使这个办法变成线程同步办法。


public class LazySimpleSingletion {
    // 动态块,公共内存区域
    private static LazySimpleSingletion instance;

    private LazySimpleSingletion(){}

    public synchronized static LazySimpleSingletion getInstance(){if(instance == null){instance = new LazySimpleSingletion();
        }
        return instance;
    }
}

咱们再来调试。当执行其中一个线程并调用 getInstance() 办法时,另一个线程在调用 getInstance() 办法,线程的状态由 RUNNING 变成了 MONITOR,呈现阻塞。直到第一个线程执行完,第二个线程才复原到 RUNNING 状态持续调用 getInstance() 办法,如下图所示。

这样,通过应用 synchronized 就解决了线程平安问题。

3 双重查看锁单例写法闪亮退场

在上一节中,咱们通过调试的形式完满地展示了 synchronized 监督锁的运行状态。然而,如果在线程数量剧增的状况下,用 synchronized 加锁,则会导致少量线程阻塞,从而导致程序性能大幅降落。就好比是地铁进站限流,在寒风刺骨的冬天,所有人都在站前广场转圈圈,用户体验很不好,如下图所示。

那有没有方法优化一下用户体验呢?其实能够让所有人先进入进站大厅,而后增设一些进站闸口,这样用户体验变好了,进站效率也进步了。当然,在现实生活中可能会受到很多硬性条件的限度,然而在虚拟世界中是齐全能够实现的。其实这就叫作双重查看,在进站门安检一次,进入大厅后在闸口检票处再查看一次,如下图所示。

咱们来革新一下代码,创立 LazyDoubleCheckSingleton 类。


public class LazyDoubleCheckSingleton {
    private volatile static LazyDoubleCheckSingleton instance;
    private LazyDoubleCheckSingleton(){}

    public static LazyDoubleCheckSingleton getInstance(){synchronized (LazyDoubleCheckSingleton.class) {if (instance == null) {instance = new LazyDoubleCheckSingleton();
            }
        }
        return instance;
    }
}

这样写就解决问题了吗?目测发现,其实这跟 LazySimpleSingletion 的写法并无差别,还是会大规模阻塞。那咱们把判断条件往上提一级呢?


public class LazyDoubleCheckSingleton {
    private volatile static LazyDoubleCheckSingleton instance;
    private LazyDoubleCheckSingleton(){}

    public static LazyDoubleCheckSingleton getInstance(){if (instance == null) {synchronized (LazyDoubleCheckSingleton.class) {instance = new LazyDoubleCheckSingleton();
              }
        }
        return instance;
    }
}

在运行代码后,还是会存在线程平安问题。运行后果如下图所示。

这是什么起因导致的呢?其实如果两个线程在同一时间都满足 if(instance == null) 条件,则两个线程都会执行 synchronized 块中的代码,因而,还是会创立两次。再优化一下代码。


public class LazyDoubleCheckSingleton {
    private volatile static LazyDoubleCheckSingleton instance;
    private LazyDoubleCheckSingleton(){}

    public static LazyDoubleCheckSingleton getInstance(){
        // 查看是否要阻塞
        if (instance == null) {synchronized (LazyDoubleCheckSingleton.class) {
                // 查看是否要从新创立实例
                if (instance == null) {instance = new LazyDoubleCheckSingleton();
                    // 指令重排序的问题
                }
            }
        }
        return instance;
    }
}

咱们进行断点调试,如下图所示。

当第一个线程调用 getInstance() 办法时,第二个线程也能够调用。当第一个线程执行到 synchronized 时会上锁,第二个线程就会变成 MONITOR 状态,呈现阻塞。此时,阻塞并不是基于整个 LazyDoubleCheckSingleton 类的阻塞,而是在 getInstance() 办法外部的阻塞,只有逻辑不太简单,对于调用者而言感觉不到。

4 看似完满的动态外部类单例写法

双重查看锁单例写法尽管解决了线程平安问题和性能问题,然而只有用到 synchronized 关键字总是要上锁,对程序性能还是存在肯定影响的。难道就真的没有更好的计划吗?当然有。咱们能够从类初始化的角度思考,看上面的代码,采纳动态外部类的形式。


// 这种模式兼顾饿汉式单例写法的内存节约问题和 synchronized 的性能问题
// 完满地屏蔽了这两个毛病
public class LazyStaticInnerClassSingleton {
    // 应用 LazyInnerClassGeneral 的时候,默认会先初始化外部类
    // 如果没应用,则外部类是不加载的
    private LazyStaticInnerClassSingleton(){}
    // 每一个关键字都不是多余的,static 是为了使单例的空间共享,保障这个办法不会被重写、重载
    private static LazyStaticInnerClassSingleton getInstance(){
        // 在返回后果之前,肯定会先加载外部类
        return LazyHolder.INSTANCE;
    }

    // 利用了 Java 自身的语法特点,默认不加载外部类
    private static class LazyHolder{private static final LazyStaticInnerClassSingleton INSTANCE = new LazyStaticInnerClassSingleton();
    }

}

这种形式兼顾了饿汉式单例写法的内存节约问题和 synchronized 的性能问题。外部类肯定要在办法调用之前被初始化,奇妙地防止了线程平安问题。因为这种形式比较简单,就不再一步步调试。然而,“金无足赤,人无完人”,单例模式亦如此。这种写法就真的完满了吗?

5 还原反射毁坏单例的事故现场

咱们来看一个事故现场。大家有没有发现,下面介绍的单例模式的构造方法除了加上 private 关键字,没有做任何解决。如果应用反射来调用其构造方法,再调用 getInstance() 办法,应该有两个不同的实例。当初来看客户端测试代码,以 LazyStaticInnerClassSingleton 为例。


    public static void main(String[] args) {
        try{
            // 如果有人歹意用反射毁坏
            Class<?> clazz = LazyStaticInnerClassSingleton.class;

            // 通过反射获取公有的构造方法
            Constructor c = clazz.getDeclaredConstructor(null);
            // 强制拜访
            c.setAccessible(true);

            // 暴力初始化
            Object o1 = c.newInstance();
            
            // 调用了两次构造方法,相当于“new”了两次,犯了原则性谬误
            Object o2 = c.newInstance();

            System.out.println(o1 == o2);
        }catch (Exception e){e.printStackTrace();
        }
    }
        

运行后果如下图所示。

显然,内存中创立了两个不同的实例。那怎么办呢?咱们来做一次优化。咱们在其构造方法中做一些限度,一旦呈现多次重复创立,则间接抛出异样。优化后的代码如下。


public class LazyStaticInnerClassSingleton {
    // 应用 LazyInnerClassGeneral 的时候,默认会先初始化外部类
    // 如果没应用,则外部类是不加载的
    private LazyStaticInnerClassSingleton(){if(LazyHolder.INSTANCE != null){throw new RuntimeException("不容许创立多个实例");
        }
    }
    // 每一个关键字都不是多余的,static 是为了使单例的空间共享,保障这个办法不会被重写、重载
    private static LazyStaticInnerClassSingleton getInstance(){
        // 在返回后果之前,肯定会先加载外部类
        return LazyHolder.INSTANCE;
    }

    // 利用了 Java 自身的语法特点,默认不加载外部类
    private static class LazyHolder{private static final LazyStaticInnerClassSingleton INSTANCE = new LazyStaticInnerClassSingleton();
    }

}

再运行客户端测试代码,后果如下图所示。

至此,自认为最优雅的单例模式写法便功败垂成了。然而,下面看似完满的单例写法还是值得斟酌的。在构造方法中抛出异样,显然不够优雅。那么有没有比动态外部类更优雅的单例写法呢?

6 更加优雅的枚举式单例写法问世

枚举式单例写法能够解决下面的问题。首先来看枚举式单例的规范写法,创立 EnumSingleton 类。


public enum EnumSingleton {
    INSTANCE;
    private Object data;
    public Object getData() {return data;}
    public void setData(Object data) {this.data = data;}
    public static EnumSingleton getInstance(){return INSTANCE;}
}

而后看客户端测试代码。


public class EnumSingletonTest {public static void main(String[] args) {
        try {
            EnumSingleton instance1 = null;

            EnumSingleton instance2 = EnumSingleton.getInstance();
            instance2.setData(new Object());

            FileOutputStream fos = new FileOutputStream("EnumSingleton.obj");
            ObjectOutputStream oos = new ObjectOutputStream(fos);
            oos.writeObject(instance2);
            oos.flush();
            oos.close();

            FileInputStream fis = new FileInputStream("EnumSingleton.obj");
            ObjectInputStream ois = new ObjectInputStream(fis);
            instance1 = (EnumSingleton) ois.readObject();
            ois.close();

            System.out.println(instance1.getData());
            System.out.println(instance2.getData());
            System.out.println(instance1.getData() == instance2.getData());

        }catch (Exception e){e.printStackTrace();
        }
    }
}

最初失去运行后果,如下图所示。

咱们没有对代码逻辑做任何解决,但运行后果和预期一样。那么枚举式单例写法如此神奇,它的神秘之处体现在哪里呢?上面通过剖析源码来揭开它的神秘面纱。
首先下载一个十分好用的 Java 反编译工具 Jad,在解压后配置好环境变量(这里不做具体介绍),就能够应用命令行调用了。找到工程所在的 Class 目录,复制 EnumSingleton.class 所在的门路,如下图所示。

而后切换到命令行,切换到工程所在的 Class 目录,输出命令 jad 并输出复制好的门路,在 Class 目录下会多出一个 EnumSingleton.jad 文件。关上 EnumSingleton.jad 文件,咱们惊奇地发现有如下代码。


static 
{INSTANCE = new EnumSingleton("INSTANCE", 0);
    $VALUES = (new EnumSingleton[] {INSTANCE});
}

原来,枚举式单例写法在动态代码块中就对 INSTANCE 进行了赋值,是饿汉式单例写法的实现。至此,咱们还能够试想,序列化是否毁坏枚举式单例写法呢?无妨再来看一下 JDK 源码,还是回到 ObjectInputStream 的 readObject0() 办法。


private Object readObject0(boolean unshared) throws IOException {
            ...

            case TC_ENUM:
                return checkResolve(readEnum(unshared));

            ...
}

咱们看到,在 readObject0() 中调用了 readEnum() 办法,readEnum() 办法的代码实现如下。


private Enum<?> readEnum(boolean unshared) throws IOException {if (bin.readByte() != TC_ENUM) {throw new InternalError();
    }

    ObjectStreamClass desc = readClassDesc(false);
    if (!desc.isEnum()) {throw new InvalidClassException("non-enum class:" + desc);
    }

    int enumHandle = handles.assign(unshared ? unsharedMarker : null);
    ClassNotFoundException resolveEx = desc.getResolveException();
    if (resolveEx != null) {handles.markException(enumHandle, resolveEx);
    }

    String name = readString(false);
    Enum<?> result = null;
    Class<?> cl = desc.forClass();
    if (cl != null) {
        try {@SuppressWarnings("unchecked")
            Enum<?> en = Enum.valueOf((Class)cl, name);
            result = en;
        } catch (IllegalArgumentException ex) {throw (IOException) new InvalidObjectException(
                "enum constant" + name + "does not exist in" +
                cl).initCause(ex);
        }
        if (!unshared) {handles.setObject(enumHandle, result);
        }
    }

    handles.finish(enumHandle);
    passHandle = enumHandle;
    return result;
}

由上可知,枚举类型其实通过类名和类对象找到一个惟一的枚举对象。因而,枚举对象不可能被类加载器加载屡次。那么反射是否能毁坏枚举式单例写法的单例对象呢?来看客户端测试代码。


public static void main(String[] args) {
    try {
        Class clazz = EnumSingleton.class;
        Constructor c = clazz.getDeclaredConstructor();
        c.newInstance();}catch (Exception e){e.printStackTrace();
    }
}

运行后果如下图所示。

后果中报出的是 java.lang.NoSuchMethodException 异样,意思是没找到无参的构造方法。此时,关上 java.lang.Enum 的源码,查看它的构造方法,只有一个 protected 类型的构造方法,代码如下。


protected Enum(String name, int ordinal) {
    this.name = name;
    this.ordinal = ordinal;
}

再来做一个这样的测试。


public static void main(String[] args) {
    try {
        Class clazz = EnumSingleton.class;
        Constructor c = clazz.getDeclaredConstructor(String.class,int.class);
        c.setAccessible(true);
        EnumSingleton enumSingleton = (EnumSingleton)c.newInstance("Tom",666);

    }catch (Exception e){e.printStackTrace();
    }
}

运行后果如下图所示。

这时,谬误曾经非常明显了,“Cannot reflectively create enum objects”,即不能用反射来创立枚举类型。咱们还是习惯性地想来看下 JDK 源码,进入 Constructor 的 newInstance() 办法。


public T newInstance(Object ... initargs)
    throws InstantiationException, IllegalAccessException,
           IllegalArgumentException, InvocationTargetException
{if (!override) {if (!Reflection.quickCheckMemberAccess(clazz, modifiers)) {Class<?> caller = Reflection.getCallerClass();
            checkAccess(caller, clazz, null, modifiers);
        }
    }
    if ((clazz.getModifiers() & Modifier.ENUM) != 0)
        throw new IllegalArgumentException("Cannot reflectively create enum objects");
    ConstructorAccessor ca = constructorAccessor; 
    if (ca == null) {ca = acquireConstructorAccessor();
    }
    @SuppressWarnings("unchecked")
    T inst = (T) ca.newInstance(initargs);
    return inst;
}

从上述代码能够看到,在 newInstance() 办法中做了强制性的判断,如果修饰符是 Modifier.ENUM 枚举类型,则间接抛出异样。这岂不是和动态外部类单例写法的解决形式有殊途同归之妙?对,然而咱们在构造方法中写逻辑解决可能存在未知的危险,而 JDK 的解决是最官网、最权威、最稳固的。因而,枚举式单例写法也是 Effective Java 一书中举荐的一种单例模式写法。
到此为止,咱们是不是曾经十分清晰明了呢?JDK 枚举的语法特殊性及反射也为枚举保驾护航,让枚举式单例写法成为一种更加优雅的实现。

7 还原反序列化毁坏单例的事故现场

一个单例对象创立好后,有时候须要将对象序列化而后写入磁盘,当下次应用时再从磁盘中读取对象并进行反序列化,将其转化为内存对象。反序列化后的对象会从新分配内存,即从新创立。如果序列化的指标对象为单例对象,则违反了单例模式的初衷,相当于毁坏了单例,来看一段代码。


// 反序列化毁坏了单例模式
public class SeriableSingleton implements Serializable {
    // 序列化就是把内存中的状态通过转换成字节码的模式
    // 从而转换为一个 I / O 流,写入其余中央(能够是磁盘、网络 I /O)// 内存中的状态会被永恒保留下来

    // 反序列化就是将曾经长久化的字节码内容转换为 I / O 流
    // 通过 I / O 流的读取,进而将读取的内容转换为 Java 对象
    // 在转换过程中会从新创建对象
    public  final static SeriableSingleton INSTANCE = new SeriableSingleton();
    private SeriableSingleton(){}

    public static SeriableSingleton getInstance(){return INSTANCE;}
}

编写客户端测试代码。


    public static void main(String[] args) {
        SeriableSingleton s1 = null;
        SeriableSingleton s2 = SeriableSingleton.getInstance();

        FileOutputStream fos = null;
        try {fos = new FileOutputStream("SeriableSingleton.obj");
            ObjectOutputStream oos = new ObjectOutputStream(fos);
            oos.writeObject(s2);
            oos.flush();
            oos.close();

            FileInputStream fis = new FileInputStream("SeriableSingleton.obj");
            ObjectInputStream ois = new ObjectInputStream(fis);
            s1 = (SeriableSingleton)ois.readObject();
            ois.close();

            System.out.println(s1);
            System.out.println(s2);
            System.out.println(s1 == s2);

        } catch (Exception e) {e.printStackTrace();
        }
    }
        

运行后果如下图所示。

从运行后果能够看出,反序列化后的对象和手动创立的对象是不统一的,被实例化了两次,违反了单例模式的设计初衷。那么,如何保障在序列化的状况下也可能实现单例模式呢?其实很简略,只须要减少 readResolve() 办法即可。优化后的代码如下。


public class SeriableSingleton implements Serializable {public  final static SeriableSingleton INSTANCE = new SeriableSingleton();
    private SeriableSingleton(){}

    public static SeriableSingleton getInstance(){return INSTANCE;}
    private  Object readResolve(){return  INSTANCE;}
}

再看运行后果,如下图所示。

大家肯定会想:这是什么起因呢?为什么要这样写?看上去很神奇的样子,也让人有些费解。不如一起来看 JDK 的源码实现以理解分明。进入 ObjectInputStream 类的 readObject() 办法,代码如下。


public final Object readObject()
    throws IOException, ClassNotFoundException
{if (enableOverride) {return readObjectOverride();
    }

    int outerHandle = passHandle;
    try {Object obj = readObject0(false);
        handles.markDependency(outerHandle, passHandle);
        ClassNotFoundException ex = handles.lookupException(passHandle);
        if (ex != null) {throw ex;}
        if (depth == 0) {vlist.doCallbacks();
        }
        return obj;
    } finally {
        passHandle = outerHandle;
        if (closed && depth == 0) {clear();
        }
    }
}

能够看到,在 readObject() 办法中又调用了重写的 readObject0() 办法。进入 readObject0() 办法,源码如下。


private Object readObject0(boolean unshared) throws IOException {
            ...

            case TC_OBJECT:
                return checkResolve(readOrdinaryObject(unshared));

            ...
}

咱们看到 TC_OBJECT 中调用了 ObjectInputStream 的 readOrdinaryObject() 办法,源码如下。


private Object readOrdinaryObject(boolean unshared)
    throws IOException
{if (bin.readByte() != TC_OBJECT) {throw new InternalError();
    }

    ObjectStreamClass desc = readClassDesc(false);
    desc.checkDeserialize();

    Class<?> cl = desc.forClass();
    if (cl == String.class || cl == Class.class
            || cl == ObjectStreamClass.class) {throw new InvalidClassException("invalid class descriptor");
    }

    Object obj;
    try {obj = desc.isInstantiable() ? desc.newInstance() : null;} catch (Exception ex) {throw (IOException) new InvalidClassException(desc.forClass().getName(),
            "unable to create instance").initCause(ex);
    }

    ...

    return obj;
}

咱们发现调用了 ObjectStreamClass 的 isInstantiable() 办法,而 isInstantiable() 办法的源码如下。


boolean isInstantiable() {requireInitialized();
    return (cons != null);
}

上述代码非常简单,就是判断一下构造方法是否为空。如果构造方法不为空,则返回 true。这意味着只有有无参构造方法就会实例化。
这时候其实还没有找到加上 readResolve() 办法就能够防止单例模式被毁坏的真正起因。再回到 ObjectInputStream 的 readOrdinaryObject() 办法,持续往下看源码。


private Object readOrdinaryObject(boolean unshared)
    throws IOException
{if (bin.readByte() != TC_OBJECT) {throw new InternalError();
    }

    ObjectStreamClass desc = readClassDesc(false);
    desc.checkDeserialize();

    Class<?> cl = desc.forClass();
    if (cl == String.class || cl == Class.class
            || cl == ObjectStreamClass.class) {throw new InvalidClassException("invalid class descriptor");
    }

    Object obj;
    try {obj = desc.isInstantiable() ? desc.newInstance() : null;} catch (Exception ex) {throw (IOException) new InvalidClassException(desc.forClass().getName(),
            "unable to create instance").initCause(ex);
    }

    ...

    if (obj != null &&
        handles.lookupException(passHandle) == null &&
        desc.hasReadResolveMethod())
    {Object rep = desc.invokeReadResolve(obj);
        if (unshared && rep.getClass().isArray()) {rep = cloneArray(rep);
        }
        if (rep != obj) {if (rep != null) {if (rep.getClass().isArray()) {filterCheck(rep.getClass(), Array.getLength(rep));
                } else {filterCheck(rep.getClass(), -1);
                }
            }
            handles.setObject(passHandle, obj = rep);
        }
    }

    return obj;
}

在判断无参构造方法是否存在之后,又调用了 hasReadResolveMethod() 办法,源码如下。


boolean hasReadResolveMethod() {requireInitialized();
    return (readResolveMethod != null);
}

上述代码的逻辑非常简单,就是判断 readResolveMethod 是否为空,如果不为空,则返回 true。那么 readResolveMethod 是在哪里被赋值的呢?通过全局查找晓得,在公有办法 ObjectStreamClass() 中对 readResolveMethod 进行了赋值,源码如下。


readResolveMethod = getInheritableMethod(cl, "readResolve", null, Object.class);
        

下面的逻辑其实就是通过反射找到一个无参的 readResolve() 办法,并且保留下来。再回到 ObjectInputStream 的 readOrdinaryObject() 办法,持续往下看,如果 readResolve() 办法存在,则调用 invokeReadResolve() 办法,代码如下。


Object invokeReadResolve(Object obj)
    throws IOException, UnsupportedOperationException
{requireInitialized();
    if (readResolveMethod != null) {
        try {return readResolveMethod.invoke(obj, (Object[]) null);
        } catch (InvocationTargetException ex) {Throwable th = ex.getTargetException();
            if (th instanceof ObjectStreamException) {throw (ObjectStreamException) th;
            } else {throwMiscException(th);
                throw new InternalError(th); 
            }
        } catch (IllegalAccessException ex) {throw new InternalError(ex);
        }
    } else {throw new UnsupportedOperationException();
    }
}

能够看到,在 invokeReadResolve() 办法中用反射调用了 readResolveMethod 办法。
通过 JDK 源码剖析能够看出,尽管减少 readResolve() 办法返回实例解决了单例模式被毁坏的问题,然而实际上单例对象被实例化了两次,只不过新创建的对象没有被返回而已。如果创建对象的动作产生频率放慢,则意味着内存调配开销也会随之增大,难道真的就没方法从根本上解决问题吗?其实,枚举式单例写法也是可能防止这个问题产生的,因为它在类加载的时候就曾经创立好了所有的对象。

8 还原克隆毁坏单例的事故现场

假如有这样一个场景,如果克隆的指标对象恰好是单例对象,那会不会使单例对象被毁坏呢?当然,咱们在已知的状况下必定不会这么干,但如果产生了意外怎么办?无妨来批改一下代码。


@Data
public class ConcretePrototype implements Cloneable {private static  ConcretePrototype instance = new ConcretePrototype();

    private ConcretePrototype(){}

    public static ConcretePrototype getInstance(){return instance;}

    @Override
    public ConcretePrototype clone() {
        try {return (ConcretePrototype)super.clone();} catch (CloneNotSupportedException e) {e.printStackTrace();
            return null;
        }
    }
    
}

咱们把构造方法私有化,并且提供 getInstance() 办法。编写客户端测试代码如下。


    public static void main(String[] args) {
        // 创立原型对象
        ConcretePrototype prototype = ConcretePrototype.getInstance();

        // 复制原型对象
        ConcretePrototype cloneType = prototype.clone();

        System.out.println("原型对象和克隆对象比拟:" + (prototype == cloneType));

}

运行后果如下图所示。

从运行后果来看,的确创立了两个不同的对象。实际上避免克隆毁坏单例对象的解决思路非常简单,禁止克隆便可。要么咱们的单例类不实现 Cloneable 接口,要么咱们重写 clone() 办法,在 clone() 办法中返回单例对象即可,具体代码如下。


    @Override
    public ConcretePrototype clone() {return instance;}

9 容器式单例写法解决大规模生产单例的问题

尽管枚举式单例写法更加优雅,然而也会存在一些问题。因为它在类加载时将所有的对象初始化都放在类内存中,这其实和饿汉式单例写法并无差别,不适宜大量创立单例对象的场景。接下来看注册式单例模式的另一种写法,即容器式单例写法,创立 ContainerSingleton 类。


public class ContainerSingleton {private ContainerSingleton(){}
    private static Map<String,Object> ioc = new ConcurrentHashMap<String,Object>();
    public static Object getBean(String className){synchronized (ioc) {if (!ioc.containsKey(className)) {
                Object obj = null;
                try {obj = Class.forName(className).newInstance();
                    ioc.put(className, obj);
                } catch (Exception e) {e.printStackTrace();
                }
                return obj;
            } else {return ioc.get(className);
            }
        }
    }
}

容器式单例写法实用于须要大量创立单例对象的场景,便于管理,但它是非线程平安的。到此,注册式单例写法介绍结束。再来看 Spring 中的容器式单例写法的源码。


public abstract class AbstractAutowireCapableBeanFactory extends AbstractBeanFactory
      implements AutowireCapableBeanFactory {
   /** Cache of unfinished FactoryBean instances: FactoryBean name --> BeanWrapper */
   private final Map<String, BeanWrapper> factoryBeanInstanceCache = new ConcurrentHashMap<>(16);
...
}

从下面代码来看,存储单例对象的容器其实就是一个 Map。

9 附彩蛋:ThreadLocal 线程单例

最初赠送大家一个彩蛋,线程单例实现 ThreadLocal。ThreadLocal 不能保障其创立的对象是全局惟一的,但能保障在单个线程中是惟一的,是线程平安的。上面来看代码。


public class ThreadLocalSingleton {
    private static final ThreadLocal<ThreadLocalSingleton> threadLocalInstance =
            new ThreadLocal<ThreadLocalSingleton>(){
                @Override
                protected ThreadLocalSingleton initialValue() {return new ThreadLocalSingleton();
                }
            };
    private ThreadLocalSingleton(){}

    public static ThreadLocalSingleton getInstance(){return threadLocalInstance.get();
    }
}

客户端测试代码如下。


public static void main(String[] args) {System.out.println(ThreadLocalSingleton.getInstance());
    System.out.println(ThreadLocalSingleton.getInstance());
    System.out.println(ThreadLocalSingleton.getInstance());
    System.out.println(ThreadLocalSingleton.getInstance());
    System.out.println(ThreadLocalSingleton.getInstance());

    Thread t1 = new Thread(new ExectorThread());
    Thread t2 = new Thread(new ExectorThread());
    t1.start();
    t2.start();
    System.out.println("End");
}

运行后果如下图所示。

由上可知,在主线程中无论调用多少次,获取的实例都是同一个,都在两个子线程中别离获取了不同的实例。那么,ThreadLocal 是如何实现这样的成果的呢?咱们晓得,单例模式为了达到线程平安的目标,会给办法上锁,以工夫换空间。ThreadLocal 将所有对象全副放在 ThreadLocalMap 中,为每个线程都提供一个对象,实际上是以空间换工夫来实现线程隔离的。

本文为“Tom 弹架构”原创,转载请注明出处。技术在于分享,我分享我高兴!
如果本文对您有帮忙,欢送关注和点赞;如果您有任何倡议也可留言评论或私信,您的反对是我保持创作的能源。关注微信公众号『Tom 弹架构』可获取更多技术干货!

正文完
 0