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

来源: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
  • UOS 開啟 VisualStudio 遠程調試 .NET 應用之旅
    前言 在我們開發過程中基本上不可或缺的用到一些敏感機密數據，比如SQL伺服器的連接串或者是OAuth2的Secret等，這些敏感數據在代碼中是不太安全的，我們不應該在源代碼中存儲密碼和其他的敏感數據，一種推薦的方式是通過Asp.Net Core的機密管理器。 機密管理器 在 ASP.NET Core ...
  • C# - 能否讓 SortedSet.RemoveWhere 內傳入的委托非同步執行
    新改進提供的Taurus Rpc 功能，可以簡化微服務間的調用，同時可以不用再手動輸出模塊名稱，或調用路徑，包括負載均衡，這一切，由框架實現並提供了。新的Taurus Rpc 功能，將使得服務間的調用，更加輕鬆、簡約、高效。 ...
  • 順序棧的介面程式
    順序棧的介面程式 目錄順序棧的介面程式頭文件創建順序棧入棧出棧利用棧將10進位轉16進位數驗證 頭文件 #include <stdio.h> #include <stdbool.h> #include <stdlib.h> 創建順序棧 // 指的是順序棧中的元素的數據類型，用戶可以根據需要進行修改 ...
  • mORMot2 獲取數據集1
    前言 整理這個官方翻譯的系列，原因是網上大部分的 tomcat 版本比較舊，此版本為 v11 最新的版本。 開源項目 從零手寫實現 tomcat minicat 別稱【嗅虎】心有猛虎，輕嗅薔薇。 系列文章 web server apache tomcat11-01-官方文檔入門介紹 web serv ...
  • 萬字長文總結與剖析C語言關鍵字 -- <<C語言深度解剖>>
    C總結與剖析:關鍵字篇 -- <<C語言深度解剖>> 目錄C總結與剖析:關鍵字篇 -- <<C語言深度解剖>>程式的本質:二進位文件變數1.變數:記憶體上的某個位置開闢的空間2.變數的初始化3.為什麼要有變數4.局部變數與全局變數5.變數的大小由類型決定6.任何一個變數,記憶體賦值都是從低地址開始往高地 ...
  • 【Flink入門修煉】2-3 Flink Checkpoint 原理機制
    如果讓你來做一個有狀態流式應用的故障恢復，你會如何來做呢？ 單機和多機會遇到什麼不同的問題？ Flink Checkpoint 是做什麼用的？原理是什麼？ ...
  • C++ 多級繼承與多重繼承：代碼組織與靈活性的平衡
    C++ 多級繼承 多級繼承是一種面向對象編程（OOP）特性，允許一個類從多個基類繼承屬性和方法。它使代碼更易於組織和維護，並促進代碼重用。 多級繼承的語法 在 C++ 中，使用 : 符號來指定繼承關係。多級繼承的語法如下： class DerivedClass : public BaseClass1 ...
  • 圖文結合手把手教你創建SpringCloud項目
    前言 什麼是SpringCloud？ Spring Cloud 是一系列框架的有序集合，它利用 Spring Boot 的開發便利性簡化了分散式系統的開發，比如服務註冊、服務發現、網關、路由、鏈路追蹤等。Spring Cloud 並不是重覆造輪子，而是將市面上開發得比較好的模塊集成進去，進行封裝，從 ...
  • 類模板的常見用法
    class_template 類模板和函數模板的定義和使用類似，我們已經進行了介紹。有時，有兩個或多個類，其功能是相同的，僅僅是數據類型不同。類模板用於實現類所需數據的類型參數化 template<class NameType, class AgeType> class Person { publi ...
  • system-v IPC共用記憶體通信
    目錄system v IPC簡介共用記憶體需要用到的函數介面shmget函數--獲取對象IDshmat函數--獲得映射空間shmctl函數--釋放資源共用記憶體實現思路註意 system v IPC簡介 消息隊列、共用記憶體和信號量統稱為system v IPC(進程間通信機制)，V是羅馬數字5，是UNI ...
所有分類