設計模式學習（一）單例模式的幾種實現方式

来源:https://www.cnblogs.com/paw5zx/p/18081803
-Advertisement-
Play Games

目錄前言餓漢式懶漢式懶漢式DCLP局部靜態式（Meyers' Singleton）單例模板參考文章 前言 單例模式，其核心目標是確保在程式運行的過程中，有且只有存在一個實例才能保證他們的邏輯正確性以及良好的效率。因此單例模式的實現思路就是確保一個類有且只有一個實例，並提供一個該實例的全局訪問點。 單 ...


目錄

前言

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

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

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

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

餓漢式

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

對於餓漢模式而言，是線程安全的，因為線上程創建之前唯一的實例已經被創建好了。而且在程式的退出階段，類內唯一實例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++ 單例模式


您的分享是我們最大的動力!

-Advertisement-
Play Games
更多相關文章
  • HarmonyOS 與 ArkTS | ForEach 迴圈渲染 + List 實現滑動視頻列表
    Android 輔助功能 -搶紅包(三) 本篇文章繼續講述輔助功能. 主要通過監聽通知欄紅包消息,來跳轉聊天頁面,並自動回覆對方"謝謝". 上篇文章我們講述了監聽notification, 跳轉聊天界面. 具體可查看: Android 輔助功能 -搶紅包(二) 1: 使用monitor抓取id. 打 ...
  • 一文搞懂：viewpoint與rem、百分比、px
    基礎與面試題：viewpoint 與 rem、百分比高度、px 一、定義 ​ 一個表總結： 名稱 定義 使用示例 viewpoint 是指用戶在網頁上實際可見和可交互的區域，通常指的是瀏覽器視窗或移動設備的屏幕尺寸。 width：100vw；height：100vh rem （root em）是相對 ...
  • 什麼是HTTP? HTTP 和 HTTPS 的區別?
    這裡給大家分享我在網上總結出來的一些知識，希望對大家有所幫助 一、HTTP HTTP (HyperText Transfer Protocol)，即超文本運輸協議，是實現網路通信的一種規範 在電腦和網路世界有，存在不同的協議，如廣播協議、定址協議、路由協議等等...... 而HTTP是一個傳輸協議 ...
  • 8.7K+ Star！快速搭建個人線上工具箱
    it-tools —— 一個為開發人員提供方便的線上工具集合的開源項目，包含了加密、轉換器、Web、開發、圖片和視頻等十幾種工具，功能齊全，部署方便。 ...
  • 【前端Vue】Vue3+Pinia小兔鮮電商項目第1篇：認識Vue3,1. Vue3組合式API體驗【附代碼文檔】
    所有主要的瀏覽器都內置了一個XML解析器，用於訪問和操作XML XML 解析器 在訪問XML文檔之前，必須將其載入到XML DOM對象中 所有現代瀏覽器都有一個內置的XML解析器，可以將文本轉換為XML DOM對象 解析文本字元串 以下示例將一個文本字元串解析為XML DOM對象，並使用JavaSc ...
  • Tailwind CSS 使用指南
    0x01 概述 （1）簡介 Tailwind CSS 官網：https://www.tailwindcss.cn/ Tailwind CSS 是一個 CSS 框架，使用初級“工具”類創建佈局 如 Bootstrap 等傳統 CSS 框架，其使用的類通常與組件直接相關；然而，Tailwind 則採用了 ...
  • 說說如何在Vue項目中應用TypeScript？
    這裡給大家分享我在網上總結出來的一些知識，希望對大家有所幫助 一、前言 與link類似 在VUE項目中應用typescript，我們需要引入一個庫vue-property-decorator， 其是基於vue-class-component庫而來，這個庫vue官方推出的一個支持使用class方式來開 ...
  • 設計模式學習（一）單例模式補充——單例模式析構
    目錄前言無法調用析構函數的原因改進方法內嵌回收類智能指針局部靜態變數參考文章 前言 在《單例模式學習》中提到了，在單例對象是通過new關鍵字動態分配在堆上的情況下，當程式退出時，不會通過C++的RAII機制自動調用其析構函數。本文討論一下這種現象的原因以及解決方法。 無法調用析構函數的原因 在DCL ...
一周排行
    -Advertisement-
    Play Games
  • （開源）都進來！簡單易懂、功能強大的許可權+可視化流程管理系統
    1、預覽地址：http://139.155.137.144:9012 2、qq群:801913255 一、前言 隨著網路的發展，企業對於信息系統數據的保密工作愈發重視，不同身份、角色對於數據的訪問許可權都應該大相徑庭。 列如 1、不同登錄人員對一個數據列表的可見度是不一樣的，如數據列、數據行、數據按鈕 ...
  • 設計模式-C#實現簡單工廠模式
    前言 上一篇文章寫瞭如何使用RabbitMQ做個簡單的發送郵件項目，然後評論也是比較多，也是準備去學習一下如何確保RabbitMQ的消息可靠性，但是由於時間原因，先來說說設計模式中的簡單工廠模式吧！ 在瞭解簡單工廠模式之前，我們要知道C#是一款面向對象的高級程式語言。它有3大特性，封裝、繼承、多態。 ...
  • Nodify學習 一：介紹與使用
    Nodify學習 一：介紹與使用 - 可樂_加冰 - 博客園 (cnblogs.com) Nodify學習 二：添加節點 - 可樂_加冰 - 博客園 (cnblogs.com) 介紹 Nodify是一個WPF基於節點的編輯器控制項，其中包含一系列節點、連接和連接器組件，旨在簡化構建基於節點的工具的過程 ...
  • 使用C#/.NET解析Wiki百科數據實現獲取歷史上的今天
    創建一個webapi項目做測試使用。 創建新控制器，搭建一個基礎框架，包括獲取當天日期、wiki的請求地址等 創建一個Http請求幫助類以及方法，用於獲取指定URL的信息 使用http請求訪問指定url，先運行一下，看看返回的內容。內容如圖右邊所示，實際上是一個Json數據。我們主要解析 大事記 部 ...
  • .NET科普：.NET簡史、.NET Standard以及C#和.NET Framework之間的關係
    最近在不少自媒體上看到有關.NET與C#的資訊與評價，感覺大家對.NET與C#還是不太瞭解，尤其是對2016年6月發佈的跨平臺.NET Core 1.0，更是知之甚少。在考慮一番之後，還是決定寫點東西總結一下，也回顧一下.NET的發展歷史。 首先，你沒看錯，.NET是跨平臺的，可以在Windows、 ...
  • Nodify學習 二：添加節點
    Nodify學習 一：介紹與使用 - 可樂_加冰 - 博客園 (cnblogs.com) Nodify學習 二：添加節點 - 可樂_加冰 - 博客園 (cnblogs.com) 添加節點（nodes） 通過上一篇我們已經創建好了編輯器實例現在我們為編輯器添加一個節點 添加model和viewmode ...
  • 論如何直接用EF Core實現創建更新時間、用戶審計，自動化樂觀併發、軟刪除和樹形查詢（上）
    前言 資料庫併發，數據審計和軟刪除一直是數據持久化方面的經典問題。早些時候，這些工作需要手寫複雜的SQL或者通過存儲過程和觸發器實現。手寫複雜SQL對軟體可維護性構成了相當大的挑戰，隨著SQL字數的變多，用到的嵌套和複雜語法增加，可讀性和可維護性的難度是幾何級暴漲。因此如何在實現功能的同時控制這些S ...
  • C# 使用模式匹配的好處,因為好用所以推薦~
    類型檢查和轉換：當你需要檢查對象是否為特定類型，並且希望在同一時間內將其轉換為那個類型時，模式匹配提供了一種更簡潔的方式來完成這一任務，避免了使用傳統的as和is操作符後還需要進行額外的null檢查。 複雜條件邏輯：在處理複雜的條件邏輯時，特別是涉及到多個條件和類型的情況下，使用模式匹配可以使代碼更 ...
  • 推薦一種批量判斷文件是否存在的快速辦法
    在日常開發中，我們經常需要和文件打交道，特別是桌面開發，有時候就會需要載入大批量的文件，而且可能還會存在部分文件缺失的情況，那麼如何才能快速的判斷文件是否存在呢？如果處理不當的，且文件數量比較多的時候，可能會造成卡頓等情況，進而影響程式的使用體驗。今天就以一個簡單的小例子，簡述兩種不同的判斷文件是否... ...
  • 論如何直接用EF Core實現創建更新時間、用戶審計，自動化樂觀併發、軟刪除和樹形查詢（中）
    前言 資料庫併發，數據審計和軟刪除一直是數據持久化方面的經典問題。早些時候，這些工作需要手寫複雜的SQL或者通過存儲過程和觸發器實現。手寫複雜SQL對軟體可維護性構成了相當大的挑戰，隨著SQL字數的變多，用到的嵌套和複雜語法增加，可讀性和可維護性的難度是幾何級暴漲。因此如何在實現功能的同時控制這些S ...
所有分類