单例模式实例详解

在某些情况下,有些对象,我们只需要一个就可以了。比如,一台计算机上可以连好几个打印机,但是这个计算机上的打印程序只能有一个。再比如计算机的任务管理器,只能打开一个。简单说来,单例模式(也叫单件模式)的作用就是保证在整个应用程序的生命周期中,任何一个时刻,单例类的实例都只存在一个(当然也可以不存在)。

从上面的类图中可以看出,在单例类中有一个构造函数 Singleton,但是这个构造函数却是私有的,然后在里面还公开了一个 GetInstance()方法。单例模式保证一个类仅有一个实例,同时这个类还必须提供一个访问该类的全局访问点。

接下来定义一个Singleton类:

    public class Singleton
    {
        //定义一个私有的静态全局变量来保存该类的唯一实例 
        private static Singleton _singleton;

        /// <summary> 
        /// 构造函数必须是私有的 
        /// 这样在外部便无法使用 new 来创建该类的实例 
        /// </summary> 
        private Singleton()
        { }

        /// <summary> 
        /// 定义一个全局访问点 
        /// 设置为静态方法 
        /// 则在类的外部便无需实例化就可以调用该方法 
        /// </summary> 
        /// <returns></returns> 
        public static Singleton GetInstance()
        {
            //这里可以保证只实例化一次 
            //即在第一次调用时实例化 
            //以后调用便不会再实例化 
            if (_singleton == null)
            {
                _singleton = new Singleton();
            }
            return _singleton;
        }
    } 

然后测试一下:

    class Program
    {
        static void Main(string[] args)
        {
            Singleton one = Singleton.GetInstance();
            Singleton two = Singleton.GetInstance();
            if (one.Equals(two))
                Console.WriteLine("同一个实例");
            else
                Console.WriteLine("不是同一个实例");

            Console.Read();
        }
    }

输出结果为:同一个实例

或许,您会觉得单例模式就这么个东西啊,不就是保证只有一个实例嘛,也太简单了。如果您真这么想的话,那您就错了,因为要保证在整个应用程序生命周期中保证只有一个实例不是那么容易的,

下面就来看一种情况(这里先假设我的应用程序是多线程应用程序)

如果在一开始调用 GetInstance()时,是由两个线程同时调用的(这种情况是很常见的),注意是同时(或者是一个线程进入 if 判断语句后但还没有实例化 Singleton 时,第二个线程到达,此时 singleton 还是为 null)这样的话,两个线程均会进入 GetInstance(),就会让两个线程均通过 if 语句的条件判断,然后调用 new Singleton()了。这样的话,问题就出来了,因为有两个线程,所以会创建两个实例。

其实,这个是很好解决的,可以这样思考这个问题:

由于上面出现的问题中涉及到多个线程同时访问这个 GetInstance(),那么您可以先将一个线程锁定,然后等这个线程完成以后,再让其他的线程访问 GetInstance()中的 if 段语句,比如,有两个线程同时到达,如果 singleton != null 的话,那么上面提到的问题是不会存在的,因为已经存在这个实例了,这样的话,所有的线程都无法进入 if 语句块,也就是所有的线程都无法调用语句 new Singleton()了,这样还是可以保证应用程序生命周期中的实例只存在一个,但是如果此时的 singleton == null 的话,那么意味着这两个线程都是可以进入这个 if 语句块的,那么就有可能出现上面出现的单例模式中有多个实例的问题,此时,我可以让一个线程先进入 if 语句块,然后我在外面对这个 if 语句块加锁,对第二个线程呢,由于 if 语句进行了加锁处理,所以这个进程就无法进入 if 语句块而处于阻塞状态,当进入了 if 语句块的线程完成 new Singleton()后,这个线程便会退出 if 语句块,此时,第二个线程就从阻塞状态中恢复,即就可以访问 if 语句块了,但是由于前面的那个线程已近创建了 Singleton 的实例,所以 singleton != null ,此时,第二个线程便无法通过 if 语句的判断条件了,即无法进入 if 语句块了,这样便保证了整个生命周期中只存在一个实例,也就是只有第一个线程创建了 Singleton 实例,第二个线程则无法创建实例。

下面就来重新改进前面 Demo 中的 Singleton 类:

    public class Singleton
    {
        //定义一个私有的静态全局变量来保存该类的唯一实例 
        private static Singleton _singleton;

        //定义一个只读静态对象 
        //且这个对象是在程序运行时创建的 
        private static readonly object SyncObject = new object();

        /// <summary> 
        /// 构造函数必须是私有的 
        /// 这样在外部便无法使用 new 来创建该类的实例 
        /// </summary> 
        private Singleton()
        { }

        /// <summary> 
        /// 定义一个全局访问点 
        /// 设置为静态方法 
        /// 则在类的外部便无需实例化就可以调用该方法 
        /// </summary> 
        /// <returns></returns> 
        public static Singleton GetInstance()
        {
            //这里可以保证只实例化一次 
            //即在第一次调用时实例化 
            //以后调用便不会再实例化 

            //第一重 防止每次获取实例都要lock
            if (_singleton == null)
            {
                lock (SyncObject)
                {
                    //第二重
                    if (_singleton == null)
                    {
                        _singleton = new Singleton();
                    }
                }
            } 
            return _singleton;
        }
    } 

上面的就是改进后的代码,可以看到在类中有定义了一个静态的只读对象  SyncObject,这里需要说明的是,为何还要创建一个 SyncObject 静态只读对象呢?由于提供给 lock 关键字的参数必须为基于引用类型的对象,该对象用来定义锁的范围,所以这个引用类型的对象总不能为 null 吧,而一开始的时候,Singleton 为 null ,所以是无法实现加锁的,所以必须要再创建一个对象即 SyncObject 来定义加锁的范围。还有要解释一下的就是在 GetInstance()中,我为什么要在 if 语句中使用两次判断 singleton == null ,这里涉及到一个名词 Double-Check Locking ,也就是双重检查锁定,

为何要使用双重检查锁定呢?

考虑这样一种情况,就是有两个线程同时到达,即同时调用 GetInstance(),此时由于 singleton == null ,所以很明显,两个线程都可以通过第一重的 singleton == null ,进入第一重 if 语句后,由于存在锁机制,所以会有一个线程进入 lock 语句并进入第二重 singleton == null ,而另外的一个线程则会在 lock 语句的外面等待。而当第一个线程执行完 new  Singleton()语句后,便会退出锁定区域,此时,第二个线程便可以进入 lock 语句块,此时,如果没有第二重 singleton == null 的话,那么第二个线程还是可以调用 new  Singleton()语句,这样第二个线程也会创建一个 Singleton 实例,这样也还是违背了单例模式的初衷的,所以这里必须要使用双重检查锁定。细心的朋友一定会发现,如果我去掉第一重 singleton == null ,程序还是可以在多线程下完好的运行的,考虑在没有第一重 singleton == null 的情况下,当有两个线程同时到达,此时,由于 lock 机制的存在,第一个线程会进入 lock 语句块,并且可以顺利执行 new Singleton(),当第一个线程退出 lock 语句块时, singleton 这个静态变量已不为 null 了,所以当第二个线程进入 lock 时,还是会被第二重 singleton == null 挡在外面,而无法执行 new Singleton(),

所以在没有第一重 singleton == null 的情况下,也是可以实现单例模式的?那么为什么需要第一重 singleton == null 呢?

这里就涉及一个性能问题了,因为对于单例模式的话,new Singleton()只需要执行一次就 OK 了,而如果没有第一重 singleton == null 的话,每一次有线程进入 GetInstance()时,均会执行锁定操作来实现线程同步,这是非常耗费性能的,而如果我加上第一重 singleton == null 的话,那么就只有在第一次,也就是 singleton ==null 成立时的情况下执行一次锁定以实现线程同步,而以后的话,便只要直接返回 Singleton 实例就 OK 了而根本无需再进入 lock 语句块了,这样就可以解决由线程同步带来的性能问题了。

 

懒汉式单例

何为懒汉式单例呢,可以这样理解,单例模式呢,其在整个应用程序的生命周期中只存在一个实例,懒汉式呢,就是这个单例类的这个唯一实例是在第一次使用 GetInstance()时实例化的,如果您不调用 GetInstance()的话,这个实例是不会存在的,即为 null形象点说呢,就是你不去动它的话,它自己是不会实例化的,所以可以称之为懒汉。其实呢,我上面介绍的 Demo 中是使用的懒汉式单例。

 

饿汉式单例

到这里来理解懒汉式单例的话,就容易多了,懒汉式单例由于人懒,所以其自己是不会主动实例化单例类的唯一实例的,而饿汉式的话,则刚好相反,其由于肚子饿了,所以到处找东西吃,人也变得主动了很多,所以根本就不需要别人来催他实例化单例类的为一实例,其自己就会主动实例化单例类的这个唯一类。

在 C# 中,可以用特殊的方式实现饿汉式单例,即使用静态初始化来完成饿汉式单例模式

    public class Singleton
    {
        private static readonly Singleton _singleton = new Singleton();

        private Singleton()
        { }

        public static Singleton GetInstance()
        {
            return _singleton;
        }
    } 

要先在这里提一下的是使用静态初始化的话,无需显示地编写线程安全代码,C# 与 CLR 会自动解决前面提到的懒汉式单例类时出现的多线程同步问题。上面的饿汉式单例类中可以看到,当整个类被加载的时候,就会自行初始化 singleton 这个静态只读变量。而非在第一次调用 GetInstance()时再来实例化单例类的唯一实例,所以这就是一种饿汉式的单例类。

posted @ 2016-07-29 16:47  bky_xiaozhu  阅读(785)  评论(0编辑  收藏  举报