前言

單例模式，其核心目標是確保在程序運行的過程中，有且只有存在一個實例才能保證他們的邏輯正確性以及良好的效率。因此單例模式的實現思路就是確保一個類有且只有一個實例，并提供一個該實例的全局訪問點。
單例模式設計要點：

• 私有構造、析構
• 禁止賦值、拷貝
• 靜態私有成員：全局唯一實例
• 提供一個用于獲取全局唯一實例的接口，若實例不存在則創建。

除了上面提到的四點還要注意線程安全以及資源釋放的問題。

本文從最基本的懶漢式和餓漢式單例模式開始，循序漸進地討論單例模式形式的特點及變化過程

餓漢式

餓漢式單例模式的核心思路就是不管需不需要用到實例都要去創建實例。餓漢模式的實例在類產生時候就創建了，它的生存周期和程序一樣長。

對于餓漢模式而言，是線程安全的，因為在線程創建之前唯一的實例已經被創建好了。而且在程序的退出階段，類內唯一實例instance也會被銷毀，~CSingleton會被調用，資源可以正常被釋放。

//無延遲初始化
//多線程安全，資源自動釋放
class CSingleton
{
public:
    static CSingleton* getInstance();
private:
    CSingleton(){std::cout<<"創建了一個對象"<<std::endl;}
    ~CSingleton(){std::cout<<"銷毀了一個對象"<<std::endl;}
    CSingleton(const CSingleton&) 			 = delete;
    CSingleton& operator=(const CSingleton&) = delete;
    
    static CSingleton instance;  //將指針改為普通的變量
};
  
CSingleton CSingleton::instance;

CSingleton* CSingleton::getInstance()
{
    return &instance;
}
//測試代碼，后面不贅述
int main()
{
    std::cout << "Now we get the instance" << std::endl;
    std::thread t1([](){auto instance = CSingleton::getInstance();});
    std::thread t2([](){auto instance = CSingleton::getInstance();});
    std::thread t3([](){auto instance = CSingleton::getInstance();});

    t1.join();
    t2.join();
    t3.join();
    std::cout << "Now we destroy the instance" << std::endl;
    return 0;
}

測試結果：

餓漢式的缺點：

• 在程序啟動時立即創建單例對象，若單例類中包含耗時的初始化操作時，會增加程序的啟動時間
• 若有多個單例類分布在不同編譯單元，且這些單例類間存在依賴關系，那么在初始化時可能會有問題，因為C++標準不能保證不同編譯單元中靜態對象的初始化順序

懶漢式

與餓漢式單例模式相比，懶漢式的關鍵區別在于它延遲了單例實例的創建，即直到第一次被使用時才創建實例：

//延遲初始化
//多線程不安全，資源無法自動釋放
class CSingleton
{
public:
    static CSingleton* getInstance();

private:
    CSingleton(){std::cout<<"創建了一個對象"<<std::endl;}
    ~CSingleton(){std::cout<<"銷毀了一個對象"<<std::endl;}
    CSingleton(const CSingleton&) 			 = delete;
    CSingleton& operator=(const CSingleton&) = delete;
    
    static CSingleton* instance;  
};

CSingleton* CSingleton::instance; 
 
CSingleton* CSingleton::getInstance()
{
    if(nullptr == instance)
        instance = new CSingleton();
    return instance;
}

測試結果：

但是上述代碼有幾個缺點：

• 線程安全問題：多線程環境下不安全，可能會有多個單例實例被創建，這違反了單例模式的原則。
• 資源釋放問題：運行結束無法自動調用析構函數（因為單例對象建立在堆上，在程序結束時，指針變量被銷毀了，而它所指向的堆上的內存并沒有被銷毀），可能會導致資源泄漏。

為了解決線程安全的問題，下面討論加鎖的懶漢式單例模式：

懶漢式DCLP

為了讓懶漢式做到線程安全，我們首先會想到加鎖：

class CSingleton
{
public:
    ...
    static std::mutex mtx;

private:
    ...
};

CSingleton* CSingleton::instance;
 
std::mutex CSingleton::mtx;
 
CSingleton* CSingleton::getInstance()
{
	mtx.lock();    
    if(nullptr == instance)
    {
        instance = new CSingleton();
    }
    mtx.unlock();    
    return instance;
}

但是要注意，加鎖和解鎖的操作是需要時間的，上述方法在多線程的情況下，每次調用都會浪費時間在上鎖和解鎖上，導致效率下降。其實我們真正需要的，只是在instance 初始化時上鎖保證線程安全，即只有getInstance()第一次被調用時上鎖才是必要的。若在程序中，getInstance()被調用了n次，那么只有第一次調用鎖是起真正作用的，其余n-1次做操作都是沒必要的。

所以要想改進上述問題，我們在加鎖之前先判個空，當判斷結果為真（即instance還沒有被初始化），才進行加鎖操作，然后再次檢查instance是否為空。

//雙檢查鎖模式DCLP
CSingleton* CSingleton::getInstance()
{
	if (nullptr == instance)
	{
		mtx.lock();   
	    if(nullptr == instance)
	    {
	        instance = new CSingleton();
	    }
	    mtx.unlock(); 
	}
    return instance;
}

第二次檢查必不可少，這是因為在第一次檢查instance 和加鎖之間，可能會有別的線程對instance 進行初始化。

測試結果：

但是遺憾的是，這種方法其實也不是線程安全的，具體原因可見：補充-指令重排

其實，使用了DCLP的懶漢式單例模式不但線程不安全，而且無法通過RAII機制調用析構函數釋放相關資源。具體原因可見：補充-單例模式析構

為了解決線程安全問題和資源釋放問題，Scott Meyers提出了局部靜態變量形式的單例模式。

局部靜態式（Meyers' Singleton）

這種形式的單例模式使用函數中的局部靜態變量來代替類中的靜態成員指針：

//延遲初始化
//多線程安全，資源自動釋放
class CSingleton
{
private:
    CSingleton() {std::cout << "創建了一個對象" << std::endl;}
    ~CSingleton() {std::cout << "銷毀了一個對象" << std::endl;}
    CSingleton(const CSingleton&)            = delete;
    CSingleton& operator=(const CSingleton&) = delete;
public:
    static CSingleton& getInstance() 
    {
        static CSingleton instance;
        return instance;
    }
};

//測試代碼
int main()
{
    std::cout << "Now we get the instance" << std::endl;
    std::thread t1([](){auto& instance = CSingleton::getInstance();});
    std::thread t2([](){auto& instance = CSingleton::getInstance();});
    std::thread t3([](){auto& instance = CSingleton::getInstance();});

    t1.join();
    t2.join();
    t3.join();
    std::cout << "Now we destroy the instance" << std::endl;
    return 0;
}

測試結果：

對于線程安全問題：在C++11及更高版本中，靜態局部變量的初始化是線程安全的。即當多個線程同時首次訪問局部靜態變量，編譯器可以保證其初始化代碼僅執行一次，防止了任何可能的競態條件或重復初始化。

對于資源釋放問題：代碼中局部靜態變量instance的生命周期開始于第一次調用getInstance方法時，終止于程序結束時。在程序的退出階段局部靜態變量instance被銷毀，~CSingleton被調用，確保了資源的正確釋放。

單例模板

在大型項目中，如果有多個類都被設計為要具有單例行為，那么為了方便這些類的創建，我們可以將單例屬性封裝為一個模板類，在需要時繼承這個模板基類，這樣這些子類就可以繼承它的單例屬性。

因為這種單例模式是基于靜態局部變量的，所以它是多線程安全的而且是可以正常進行資源釋放的：

template <typename T>
class CSingleton 
{
protected:
    CSingleton(){std::cout<<"創建了一個對象"<<std::endl;}
    ~CSingleton(){std::cout<<"銷毀了一個對象"<<std::endl;}
    CSingleton(const CSingleton&)            = delete;
    CSingleton& operator=(const CSingleton&) = delete;

public:
    static T& getInstance() 
    {
        static T instance;
        return instance;
    }
};

//使用模板
class MyClass : public CSingleton<MyClass>
{
    friend class CSingleton<MyClass>;
private:
    MyClass(){std::cout<<"this is MyClass construct"<<std::endl;}
    ~MyClass(){std::cout<<"this is MyClass destruct"<<std::endl;}
public:
    void dosomething()
    {
        std::cout<<"dosomething"<<std::endl;
    }
};

測試結果：

這種形式使用了奇異遞歸模板模式（Curiously Recurring Template Pattern, CRTP）。在使用時要注意，子類需要將自己作為模板參數傳遞給CSingleton模板進行模板類實例化，用做基類；同時需要將基類聲明為友元，這樣才能在通過CSingleton<T>::getInstance()方法創建MyClass唯一實例時，調用到MyClass的私有構造函數。

參考文章

1.C++ 單例模式