設計模式學習(一)單例模式的幾種實現方式

来源: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
更多相關文章
  • Android 輔助功能 -搶紅包(三) 本篇文章繼續講述輔助功能. 主要通過監聽通知欄紅包消息,來跳轉聊天頁面,並自動回覆對方"謝謝". 上篇文章我們講述了監聽notification, 跳轉聊天界面. 具體可查看: Android 輔助功能 -搶紅包(二) 1: 使用monitor抓取id. 打 ...
  • 基礎與面試題:viewpoint 與 rem、百分比高度、px 一、定義 ​ 一個表總結: 名稱 定義 使用示例 viewpoint 是指用戶在網頁上實際可見和可交互的區域,通常指的是瀏覽器視窗或移動設備的屏幕尺寸。 width:100vw;height:100vh rem (root em)是相對 ...
  • 這裡給大家分享我在網上總結出來的一些知識,希望對大家有所幫助 一、HTTP HTTP (HyperText Transfer Protocol),即超文本運輸協議,是實現網路通信的一種規範 在電腦和網路世界有,存在不同的協議,如廣播協議、定址協議、路由協議等等...... 而HTTP是一個傳輸協議 ...
  • it-tools —— 一個為開發人員提供方便的線上工具集合的開源項目,包含了加密、轉換器、Web、開發、圖片和視頻等十幾種工具,功能齊全,部署方便。 ...
  • 所有主要的瀏覽器都內置了一個XML解析器,用於訪問和操作XML XML 解析器 在訪問XML文檔之前,必須將其載入到XML DOM對象中 所有現代瀏覽器都有一個內置的XML解析器,可以將文本轉換為XML DOM對象 解析文本字元串 以下示例將一個文本字元串解析為XML DOM對象,並使用JavaSc ...
  • 0x01 概述 (1)簡介 Tailwind CSS 官網:https://www.tailwindcss.cn/ Tailwind CSS 是一個 CSS 框架,使用初級“工具”類創建佈局 如 Bootstrap 等傳統 CSS 框架,其使用的類通常與組件直接相關;然而,Tailwind 則採用了 ...
  • 這裡給大家分享我在網上總結出來的一些知識,希望對大家有所幫助 一、前言 與link類似 在VUE項目中應用typescript,我們需要引入一個庫vue-property-decorator, 其是基於vue-class-component庫而來,這個庫vue官方推出的一個支持使用class方式來開 ...
  • 目錄前言無法調用析構函數的原因改進方法內嵌回收類智能指針局部靜態變數參考文章 前言 在《單例模式學習》中提到了,在單例對象是通過new關鍵字動態分配在堆上的情況下,當程式退出時,不會通過C++的RAII機制自動調用其析構函數。本文討論一下這種現象的原因以及解決方法。 無法調用析構函數的原因 在DCL ...
一周排行
    -Advertisement-
    Play Games
  • 隨著Aspire發佈preview5的發佈,Microsoft.Extensions.ServiceDiscovery隨之更新, 服務註冊發現這個屬於老掉牙的話題解決什麼問題就不贅述了,這裡主要講講Microsoft.Extensions.ServiceDiscovery(preview5)以及如何 ...
  • 概述:通過使用`SemaphoreSlim`,可以簡單而有效地限制非同步HTTP請求的併發量,確保在任何給定時間內不超過20個網頁同時下載。`ParallelOptions`不適用於非同步操作,但可考慮使用`Parallel.ForEach`,儘管在非同步場景中謹慎使用。 對於併發非同步 I/O 操作的數量 ...
  • 1.Linux上安裝Docken 伺服器系統版本以及內核版本:cat /etc/redhat-release 查看伺服器內核版本:uname -r 安裝依賴包:yum install -y yum-utils device-mapper-persistent-data lvm2 設置阿裡雲鏡像源:y ...
  • 概述:WPF界面綁定和渲染大量數據可能導致性能問題。通過啟用UI虛擬化、非同步載入和數據分頁,可以有效提高界面響應性能。以下是簡單示例演示這些優化方法。 在WPF中,當你嘗試綁定和渲染大量的數據項時,性能問題可能出現。以下是一些可能導致性能慢的原因以及優化方法: UI 虛擬化: WPF提供了虛擬化技術 ...
  • 引言 上一章節介紹了 TDD 的三大法則,今天我們講一下在單元測試中模擬對象的使用。 Fake Fake - Fake 是一個通用術語,可用於描述 stub或 mock 對象。 它是 stub 還是 mock 取決於使用它的上下文。 也就是說,Fake 可以是 stub 或 mock Mock - ...
  • 為.net6在CentOS7上面做準備,先在vmware虛擬機安裝CentOS 7.9 新建CentOS764位的系統 因為CentOS8不更新了,所以安裝7;簡單就一筆帶過了 選擇下載好的操作系統的iso文件,下載地址https://mirrors.aliyun.com/centos/7.9.20 ...
  • 經過前面幾篇的學習,我們瞭解到指令的大概分類,如:參數載入指令,該載入指令以 Ld 開頭,將參數載入到棧中,以便於後續執行操作命令。參數存儲指令,其指令以 St 開頭,將棧中的數據,存儲到指定的變數中,以方便後續使用。創建實例指令,其指令以 New 開頭,用於在運行時動態生成並初始化對象。方法調用指... ...
  • LiteDB 是一個輕量級的嵌入式 NoSQL 資料庫,其設計理念與 MongoDB 類似,但它是完全使用 C# 開發的,因此與 C# 應用程式的集成非常順暢。與 SQLite 相比,LiteDB 提供了 NoSQL(即鍵值對)的數據存儲方式,並且是一個開源且免費的項目。它適用於桌面、移動以及 We ...
  • 1 開源解析和拆分文檔 第三方的工具去對文件解析拆分,去將我們的文件內容給提取出來,並將我們的文檔內容去拆分成一個小的chunk。常見的PDF word mark down, JSON、HTML。都可以有很好的一些模塊去把這些文件去進行一個東西去提取。 優勢 支持豐富的文檔類型 每種文檔多樣化選擇 ...
  • OOM是什麼?英文全稱為 OutOfMemoryError(記憶體溢出錯誤)。當程式發生OOM時,如何去定位導致異常的代碼還是挺麻煩的。 要檢查OOM發生的原因,首先需要瞭解各種OOM情況下會報的異常信息。這樣能縮小排查範圍,再結合異常堆棧、heapDump文件、JVM分析工具和業務代碼來判斷具體是哪 ...