C#中的单例模式

一般的，设计模式中用到单例模式，代码通常会如下：

public sealed class Singleton
{
    private static Singleton instance=null;

    private Singleton()
    {
    }

    public static Singleton Instance
    {
        get
        {
            if (instance==null)
            {
                instance = new Singleton();
            }
            return instance;
        }
    }
}

代码比较简单，用到一个公有的静态属性和一个私有的静态字段。并且把构造函数设为私有，防止该类被实例化。

但上述代码在多线程情况下并不可靠。有一种情况下。2个线程在get的时候，都检测到instance==null，因此各自创建了一个Singleton对象，破坏了单例的原则。

因此改进后的代码就是加锁。

public sealed class Singleton
{
    private static Singleton instance = null;
    private static readonly object padlock = new object();

    Singleton()
    {
    }

    public static Singleton Instance
    {
        get
        {
            lock (padlock)
            {
                if (instance == null)
                {
                    instance = new Singleton();
                }
                return instance;
            }
        }
    }
}

加锁之后，多线程的操作也变的同步了，同一时间只能有获得锁的那个线程才能创建对象。这保证了对象的唯一，但是这个会损耗性能。

因为每次get的时候，都会加锁，因此可以把代码修改一下，如果对象已经存在了，就不需要加锁来创建对象。代码修改如下：

public sealed class Singleton
{
    private static volatile Singleton instance = null;
    private static readonly object padlock = new object();

    Singleton()
    {
    }

    public static Singleton Instance
    {
        get
        {
            if (instance == null)
            {
                lock (padlock)
                {
                    if (instance == null)
                    {
                        instance = new Singleton();
                    }
                }
            }
            return instance;
        }
    }
}

仔细看一下，就会发现，上述代码中，有2次检测instance == null，因此也成为双重检测。注意，由于Java中内存模型的问题，上述双重检测代码，对Java不一定有效。

在C#代码中，考虑下面的场景，有2个线程A,B

1.A线程进入get

2.A线程检测到instance==null

3.A线程获得锁

4.A线程实例化一个对象

5.B线程进入get

6.B线程检测是否instance==null

问题出现在第4,5,6步骤。

当第4步执行的时候，很有可能出现这种情况，CLR为Singleton对象在托管堆上分配了空间，并且让instance指向了这个空间，然后再去调用Singleton的构造函数。而漏洞就在这里，线程B可能未等到线程A运行完Singleton的构造函数，就进入get检测instance！=null，认为对象不是null，然后就直接返回instance，而此时，instance指向的值还在初始化呢，这就可能导致线程B得到的对象是没完全初始化成功的，可能引起代码错误。当然，这种错误的可能性非常少见，但还是会有一定的概率。

因此，上述代码中instance变量加了一个关键字volatile，加它的作用，是为了访问这个instance的时候，确保instance分配了空间并且初始化完成了（volatile确保该字段在任何时间呈现的都是最新的值）。

如果不使用volatile关键字，也可以将instance = new Singleton();语句替换成Interlocked.Exchange(ref instance,new Singleton())。

在C#中，对于实现单例模式，更为推崇的方法是使用静态变量初始化。

有些设计模式的书中，避免使用静态初始化的原因之一是C++ 规范在静态变量的初始化顺序方面留下了一些多义性。幸运的是，.NET Framework 通过其变量初始化处理方法解决了这种多义性：

public sealed class Singleton
{
   private static readonly Singleton instance = new Singleton();
   
   private Singleton(){}

   public static Singleton Instance
   {
      get 
      {
         return instance; 
      }
   }
}

CLR保证了静态字段初始化操作总是线程安全的，无论多少线程同时访问该类，类中的静态字段只可能被初始化一次（每个应用程序域）。

这是因为，类中的静态字段的初始化，是由类的静态构造函数完成的，C#编译器检测到类中有静态字段后，会为该类生产一个静态构造函数（可以从IL代码中看到.cctor方法），也就是说下面代码是等价的：

class SomeType{
    Static int x = 5;
    }

等价于

class SomeType
{
    Static int x;
    Static SomeType()
    {
        x = 5;
    }
}

因此上述的instance只会初始化一次。保证了单例。这种方法使用了CLR的特性，对于其他语言并不保证，是.NET平台上推崇的一种实现singleton的方式。

上述实现方法有个不足在于不能延迟加载对象，如果Singleton中还有其他静态字段，引用该静态字段的时候，会导致Singleton被创建了。因此，可以在该类中再嵌套一个类来实现延迟加载。如下：

public sealed class Singleton
{
    private Singleton()
    {
    }

    public static Singleton Instance { get { return Nested.instance; } }
        
    private class Nested
    {
        internal static readonly Singleton instance = new Singleton();
    }
}

上述代码，只有当访问Instance属性的时候，才会触发Nested类的静态字段，从而初始化一个Singleton对象，因此实现了延迟加载，但是设计比较复杂，不推荐使用。

在.NET4.0中，还有一种更优雅的方法实现延迟加载，即使用Lazy<T>对象。

public sealed class Singleton
{
    private static readonly Lazy<Singleton> lazy =
        new Lazy<Singleton>(() => new Singleton());
    
    public static Singleton Instance { get { return lazy.Value; } }

    private Singleton()
    {
    }
}

可以参考之前总结的文章http://cnn237111.blog.51cto.com/2359144/1213187

参考：

http://csharpindepth.com/Articles/General/Singleton.aspx#unsafe

http://msdn.microsoft.com/en-us/library/ff650316.aspx

http://mcwilling.blog.163.com/blog/static/1950971712013357359564/

NET4.0面向对象编程漫谈基础篇.金旭亮