1. 单例是什么?
单例模式:是一种创建型设计模式,目的是保证全局一个类只有一个实例对象,分为懒汉式和饿汉式。所谓懒汉式,类似于懒加载,需要的时候才会触发初始化实例对象。而饿汉式正好相反,项目启动,类加载的时候,就会创建初始化单例对象。
前面说过单例模式以及如何破坏单例模式,我们一般情况尽可能阻止单例模式被破坏,于是各种序列化,反射,以及克隆的手段,我们都需要考虑进来,最终的代码如下:
import java.io.Serializable;public class Singleton implements Serializable { private static int num = 0; // valitile禁止指令重排 private volatile static Singleton singleton; // 禁止多次反射调用构造器 private Singleton() { synchronized (Singleton.class) { if (num == 0) { num++; } else { throw new RuntimeException("Don't use this method"); } } } public static Singleton getSingleton() { if (singleton == null) { synchronized (Singleton.class) { if (singleton == null) { singleton = new Singleton(); } } } return singleton; } // 禁止序列化的时候,重新生成对象 private Object readResolve() { return singleton; }}
前面提过破坏序列化的四种方式:
- 没有将构造器私有化,可以直接调用。
- 反射调用构造器
- 实现了
cloneable
接口 - 序列化与反序列化
2. 枚举的单例可以被破坏么?
但是突然想到一个问题,一般都说枚举的方式实现单例比较好,较为推荐。真的是这样么?这样真的是安全的么?
那我们就试试,看看各种手段,能不能破坏它的单例。首先我们来写一个单例枚举类:
public enum SingletonEnum { INSTANCE; public SingletonEnum getInstance(){ return INSTANCE; }}
在命令行执行以下的命令看上面的枚举类编译之后到底是什么东西?
javac SingletonEnum.java javap SingletonEnum
public final class singleton.SingletonEnum extends java.lang.Enum<singleton.SingletonEnum> { public static final singleton.SingletonEnum INSTANCE; public static singleton.SingletonEnum[] values(); public static singleton.SingletonEnum valueOf(java.lang.String); public singleton.SingletonEnum getInstance(); static {};}
可以看出,实际上,编译后的代码是继承于Enum
类的,并且是泛型。用final
修饰,其实也是类,那就是不可以被继承原因。而且INSTANCE
也是final
修饰的,也是不可变的。但是这样看,上面的都是public
方法。那构造方法呢?没有被重写成为private
么?
要是没有重写的话,那就很容易破坏单例啊!我们使用javap -p SingletonEnum
看看结果:
可以看出确实构造函数已经被私有化,那么外部就不能直接调用到构造方法了。那其他方法呢?我们试试放射调用构造器:
import java.io.*;import java.lang.reflect.Constructor;import java.lang.reflect.InvocationTargetException;public class SingletonTests { public static void main(String[] args) throws IllegalAccessException, InvocationTargetException, InstantiationException, NoSuchMethodException { SingletonEnum singleton1 = SingletonEnum.INSTANCE; SingletonEnum singleton2 = SingletonEnum.INSTANCE; System.out.println(singleton1.hashCode()); System.out.println(singleton2.hashCode()); Constructor<SingletonEnum> constructor = null; constructor = SingletonEnum.class.getDeclaredConstructor(); constructor.setAccessible(true); SingletonEnum singleton3 = constructor.newInstance(); System.out.println(singleton1 == singleton3); }}
执行结果如下:
692404036692404036Exception in thread "main" java.lang.NoSuchMethodException: singleton.SingletonEnum.<init>() at java.lang.Class.getConstructor0(Class.java:3082) at java.lang.Class.getDeclaredConstructor(Class.java:2178) at singleton.SingletonTests.main(SingletonTests.java:15)
咦,怎么回事?反射失败了???
看起来报错是getDeclaredConstructor()
失败了,那我们看看到底有哪些构造器:
public static void main(String[] args) throws IllegalAccessException, InvocationTargetException, InstantiationException, NoSuchMethodException { Constructor<SingletonEnum>[] constructor = null; constructor = (Constructor<SingletonEnum>[]) SingletonEnum.class.getDeclaredConstructors(); for(Constructor<SingletonEnum> singletonEnumConstructor:constructor){ System.out.println(singletonEnumConstructor); } }
执行结果如下,发现只有一个构造器,里面参数是String
和int
,所以啊,反射调用无参数构造器肯定也是如此。
private singleton.SingletonEnum(java.lang.String,int)
毕竟它是继承于Enum
的,那我猜想它大概也只有这个方法,验证以下,打开源码:
public abstract class Enum<E extends Enum<E>> implements Comparable<E>, Serializable { private final String name; public final String name() { return name; } private final int ordinal; public final int ordinal() { return ordinal; } protected Enum(String name, int ordinal) { = name; this.ordinal = ordinal; }
可以看出,这里面只有两个属性:name
和ordinal
,构造器被重写了,正是String
和int
,验证了我们的猜想,也就是没有办法使用无参数构造器来构造出破坏单例的对象。那要是我们使用有参数构造呢?试试!!!
import java.io.*;import java.lang.reflect.Constructor;import java.lang.reflect.InvocationTargetException;public class SingletonTests { public static void main(String[] args) throws IllegalAccessException, InvocationTargetException, InstantiationException, NoSuchMethodException { SingletonEnum singleton1 = SingletonEnum.INSTANCE; SingletonEnum singleton2 = SingletonEnum.INSTANCE; System.out.println(singleton1.hashCode()); System.out.println(singleton2.hashCode()); Constructor<SingletonEnum> constructor = null; constructor = SingletonEnum.class.getDeclaredConstructor(String.class,int.class);//其父类的构造器 constructor.setAccessible(true); SingletonEnum singleton3 = constructor.newInstance("INSTANCE",0); System.out.println(singleton1 == singleton3); }}
结果呢?还是一样的报错,这是什么东东?
692404036692404036Exception in thread "main" java.lang.IllegalArgumentException: Cannot reflectively create enum objects at java.lang.reflect.Constructor.newInstance(Constructor.java:417) at singleton.SingletonTests.main(SingletonTests.java:18)
看起来意思是不能反射创建enum对象,啥?这错误一看,就是Constructor.newInstance()
417行抛出来的,我们看看:
@CallerSensitive 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; // read volatile if (ca == null) { ca = acquireConstructorAccessor(); } @SuppressWarnings("unchecked") T inst = (T) ca.newInstance(initargs); return inst; }
原来反射的源代码中,枚举类型的已经被限制了,一旦调用就会抛出异常,那这条路走不通了,也就证明了反射无法破坏枚举的单例。new
对象更是行不通了。
那clone
呢?打开Enum
的源码我们里面就断了这个念头,这里面的clone()
方法,已经被final
修饰了,不能被子类重写,一调用就抛出异常。所以clone
这条路也不可能破坏枚举的单例模式。
protected final Object clone() throws CloneNotSupportedException { throw new CloneNotSupportedException(); }
那序列化呢?如果我们序列化之后,再反序列化,会出现什么情况?
import java.io.*;import java.lang.reflect.InvocationTargetException;public class SingletonTests { public static void main(String[] args) throws Exception, InvocationTargetException, InstantiationException, NoSuchMethodException { SingletonEnum singleton1 = SingletonEnum.getInstance(); ObjectOutputStream objectOutputStream = new ObjectOutputStream(new FileOutputStream("file")); objectOutputStream.writeObject(singleton1); File file = new File("file"); ObjectInputStream objectInputStream = new ObjectInputStream(new FileInputStream(file)); SingletonEnum singleton2 = (SingletonEnum) objectInputStream.readObject(); System.out.println(singleton1.hashCode()); System.out.println(singleton2.hashCode()); }}
上面的代码执行之后,结果如下:
16276740701627674070
说明序列化反序列化回来之后,其实是同一个对象!!!所以无法破坏单例模式。为什么呢?我们来分析一下源码!!!
先看看序列化的时候,实际上调用的是ObjectOutputStream.writeObject(Object obj)
writerObject()Object obj
方法里面调用了writeObject0(obj,false)
,writeObject0(obj,false)
里面看到枚举类型的序列化写入:
writeEnum(Enum
里面是怎么序列化的呢?
private void writeEnum(Enum<?> en, ObjectStreamClass desc, boolean unshared) throws IOException { // 标识是枚举类型 bout.writeByte(TC_ENUM); ObjectStreamClass sdesc = desc.getSuperDesc(); // 类型描述 writeClassDesc((sdesc.forClass() == Enum.class) ? desc : sdesc, false); handles.assign(unshared ? null : en); // 将名字写入name() writeString((), false); }
看起来序列化的时候,是用名字写入序列化流中,那反序列化的时候呢?是怎么操作的呢?
public final Object readObject() throws IOException, ClassNotFoundException { return readObject(Object.class); }
里面调用的是另外一个readObject()
方法,readObject()
方法其实是调用了readObject0(type,false)
。
看到反序列化的时候,枚举类型的时候,是怎么实现的呢?里面有一个readEnum()
:
我们来看看readEnum()
,里面其实里面是先读取了名字name
,再通过名字Enum.valueOf()
获取枚举。
所以上面没有使用反射,还是获取了之前的对象,综上所述,枚举的序列化和反序列化并不会影响单例模式。
3. 总结一下
经过上面一顿分析,枚举不可以直接调用构造函数,不可以反射破坏单例模式,因为内部实现阻止了,实现clone
接口也不可以,这个方法已经设置为final
。序列化和反序列化的时候,内部没有使用反射去实现,而是查找之前的对象,直接返回,所以还是同一个对象。
这样一来,怪不得《effective java》里面推荐这个写法,既简洁,还能够防止各种破坏,还有不用的理由么?