1. 程式人生 > 實用技巧 >設計模式(2) 單例模式

設計模式(2) 單例模式

  • 單例模式
  • 執行緒安全的Singleton
  • 會破壞Singleton的情況
  • 執行緒級Singleton

單例模式是幾個建立型模式中最獨立的一個,它的主要目標不是根據客戶程式呼叫生成一個新的例項,而是控制某個型別的例項數量只有一個。
GOF對單例的描述為:
Ensure a class only has one instance, and provide aglobal point of access to.
—Design Patterns : Elements of Reusable Object-Oriented Software

單例模式

單例模式的應用場景不必贅述,先來一個最簡單的實現方式:

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

這裡採用的是Lazy方式,也可以在靜態變數被建立的時候直接初始化例項。
這段程式碼已經可以滿足最初Singleton模式的設計要求,在大多數情況下可以很好地工作。但在多執行緒環境下這種實現方式是存在缺陷的,當多個執行緒幾乎同時呼叫Singleton類的Instance靜態屬性的時候,instance成員可能還沒有被例項化,因此它被建立了多次,而且最終Singleton類中儲存的是最後建立的那個例項,各個執行緒引用的物件不同。

執行緒安全的Singleton

為了保證多執行緒環境下instance例項只有一個,對程式碼進行了優化:

public class Singleton
{
    private static volatile Singleton instance;
    public static Singleton Instance()
    {
        if (instance == null)
        {
            lock (typeof(Singleton))
            {
                if (instance == null)
                {
                    instance = new Singleton();
                }
            }
        }
        return instance;
    }
}

相比最初的實現,改變的地方有這幾處:

  • instance使用volatile關鍵字修飾,它表示欄位可能被多個併發執行的執行緒修改。
  • 在例項化前lock Singleton型別,避免了多個執行緒同時例項化的問題。
  • 第一個if加在了lock之前,是為了避免每次呼叫都鎖定Singleton型別帶來的效率下降。
  • lock後再次判斷instance是否為空,是因為在高併發場景下,在第一個執行緒鎖定並例項化期間,仍然可能會有別的執行緒進入到第一層if內,這樣如果不再次判空,就會重複例項化。

會破壞Singleton的情況

有些情況會破壞Singleton的封裝,跳過“只能有一個例項”的限制,在實際應用中要注意規避。

  • 第一種情況就是實現ICloneable介面或繼承自其相關的子類,這樣客戶程式藉助ICloneable介面就可以跳過已經被隱藏起來的建構函式

  • 另外通過二進位制、Json之類序列化、反序列化的方式也可以產生新的物件。

執行緒級Singleton

前面討論的是執行緒安全的Singleton實現,但有時需要的是更細粒度的Singleton,比如執行緒級的Singleton,只要保證在一個執行緒內只有一個例項即可,這就類似Asp.NET Core 自帶的IOC提供的AddScope註冊方式,可以保證一個HttpContext內只有一個例項。

雖然Asp.NET Core提供類似的現成實現,但如果在非Web環境下也需要執行緒級的例項控制該怎麼辦呢? 結合C#提供的System.ThreadStaticAttribute可以完成

通過System.ThreadStaticAttribute可以將某個靜態變數限定為僅在本執行緒內部是靜態的。
實現如下:

public class ThreadSingleton
{
    private ThreadSingleton() { }

    [ThreadStatic] //instance只在當前執行緒內為靜態
    private static ThreadSingleton instance;
    public static ThreadSingleton Instance()
    {
        if (instance == null)
        {
            instance = new ThreadSingleton();
        }
        return instance;
    }
}

這裡再不需要執行緒鎖了,因為執行緒級的單例不需要考慮執行緒安全。
為了驗證實現的準確性,首先構造一個執行緒內執行的目標物件:

class Work
{
    public static IList<int> Log = new List<int>();

    /// <summary>
    /// 每個執行緒的執行部分
    /// </summary>
    public void Procedure()
    {
        ThreadSingleton s1 = ThreadSingleton.Instance();
        ThreadSingleton s2 = ThreadSingleton.Instance();

        //證明可以正常構造例項
        Assert.IsNotNull(s1);
        Assert.IsNotNull(s2);

        //驗證當前執行緒執行體內兩次獲取的是同一個例項
        Assert.AreEqual(s1.GetHashCode(), s2.GetHashCode());

        //記錄當前執行緒所使用物件的HashCode
        Log.Add(s1.GetHashCode());
    }
}

這個類會在每個執行緒內部執行,並驗證執行緒內多次獲取的Instance是同一個例項,並記錄這個例項的HashCode,以便與別的執行緒例項對比。
接下來開啟多個執行緒同時執行Procedure()方法:

[Test]
public void ThreadSingletonTest()
{
    int threadCount = 4;
    Thread[] threads = new Thread[threadCount];  //建立4個執行緒
    for (int i = 0; i < threadCount; i++)
    {
        ThreadStart work = new ThreadStart(new Work().Procedure);
        threads[i] = new Thread(work);
    }

    //執行執行緒
    foreach (var thread in threads)
    {
        thread.Start();
    }

    Thread.Sleep(10000);
    Assert.AreEqual(threadCount, Work.Log.Distinct().Count());
}

Work類的靜態變數Log中記錄了每個執行緒中例項的HashCode,這些HashCode彼此不相同,且與執行緒的數量一致,證明每個執行緒間的例項是不相同的。

參考書籍:
王翔著 《設計模式——基於C#的工程化實現及擴充套件》