单例模式简介以及C++版本的实现

it2026-01-21  10

    本篇博文主要内容参考 C++的单例模式一文,在此,为原作者耐心细致的分析讲解,表示感谢。本文将结合此篇文章,给出自己做实验后的理解以及代码,作为今天学习的小结。

    单例模式,它的意图是保证一个类仅拥有一个实例,并在对外提供一个全局访问点,该实例被所有模块共享。这种模式的应用范围很广,比如系统日志输出,操作系统的窗口管理器,PC连接的键盘等等。

    单例模式是一种设计模式,它的具体实现和各种语言特性有关,这里主要介绍在C++上面的实现,测试平台为Win7 64位,VS2010开发环境。

    根据参考博文中的例子,在此先列举一下各种实现策略,以下均以CSingleton为类名来举例。

    1. 使用一个全局对象,比如就叫CSingleton g_instance,优点是访问方便,缺点是不能保证此类对象唯一,除了全局对象外,还能够创建CSingleton的局部实例。

    2. 使用类的静态成员变量,此变量为私有的静态成员指针,如static CSingleton1 *m_pInstance;此时,需要考虑让类自己在合适的时候释放掉此成员指针所指向的内容。

    3. 使用类的静态成员变量,此变量为私有的静态成员,如static CSingleton1 m_pInstance;

 

在给出代码前,要说明几个知识点:

     1. 类的静态成员(包括 成员变量和成员函数),属于类自身,所有实例对象均共享同一副本。

     2. 静态成员初始化操作在进入main函数之前,就已经分配空间并且完成初始化。静态成员变量必须在类体外初始化,通过类似 CSingleton1* CSingleton::m_pInstance = NULL的方式来定义初始化数值。如果不初始化,那么此成员就不会被分配空间,也就不会在类中存在

     4. 静态成员在程序退出main函数后,会转到CRT类函数的清理中,完成程序静态变量、类的析构函数等资源释放的调用,具体细节就无需考虑,只需要知道退出main函数还需要做清理工作就行。

     3. 声明在类内部的类,成为嵌套类,它一般用来声明只在类内部使用的类。如果一定要在外部使用,需要加域解析符::

 

    好了,基本铺垫完成,开始码代码,先从简单开始。

    静态类变量方式,起先可以是类的成员变量,但需要在外部进行初始化,不优雅。其实,在类的静态成员函数中声明静态局部类变量,是一种更简洁的方法。

class CSingleton { private: CSingleton() //构造函数是私有的 { } CSingleton(const CSingleton &); CSingleton & operator = (const CSingleton &); public: static CSingleton & GetInstance() { static CSingleton instance; //局部静态变量 return instance; } };

    静态类指针方式:这种方式实现,因为有分配空间,所以需要考虑的东西比较多。参考C++的单例模式一文中的代码,下面给出经过亲身实践后,无内存泄露的代码。重要的地方,都写上了注释,便于大家理解。

// singlethon.cpp : 定义控制台应用程序的入口点。 #include <iostream> #include <Windows.h> using namespace std;   //用于开启CRT 内存泄露检测问题 #define _CRTDBG_MAP_ALLOC #include <stdlib.h> #include <crtdbg.h>   //多线程保护锁类 class Lock { private: CRITICAL_SECTION m_cs; // 封装临界区 Lock(){}; Lock(const Lock&){}; Lock& operator=(const Lock&){};   public: Lock(CRITICAL_SECTION cs):m_cs(cs) { InitializeCriticalSection(&m_cs); }   void StartLock() { EnterCriticalSection(&m_cs); }   void StopLock() { // 离开临界区 //LeaveCriticalSection(&m_cs); }   ~Lock() { // 离开临界区 放在这里 貌似更好点 LeaveCriticalSection(&m_cs);   // 临界区不用的时候,进行销毁释放占用资源 DeleteCriticalSection(&m_cs); } };   //自己仿照参考,实现一个单例模式 class Singlethon { //内嵌类,只能在Singlethon中使用,无法直接在外部使用 class CGarbo //唯一的作用,在析构函数中,删除Singlethon的实例 { public: CGarbo() { cout << "constructor CGarbo"<<endl; } ~CGarbo() { if(Singlethon::m_pInstance) { cout << "execute CGarbo destructor function"<<endl; delete Singlethon::m_pInstance; } } };   private: Singlethon(){cout << "constructor Singlethon "<<endl;}; //禁止直接声明 Singlethon single; Singlethon(const Singlethon&){}; //禁止间接声明 Singlethon single2(*(Singlethon::GetInstance())); // 或者 Singlethon single2 = (*(Singlethon::GetInstance())); Singlethon& operator=(const Singlethon&){}; //禁止赋值操作 Singlethon single;single = *(Singlethon::GetInstance()); static Singlethon* m_pInstance; static CGarbo Garbo; //静态成员变量,程序结束时,系统自动调用它的析构函数 static CRITICAL_SECTION cs;   public: static Singlethon* GetInstance();   ~Singlethon() { cout << "execute Singlethon destructor function"<<endl; //不能在这里释放自身,因为CGarbox的析构函数会先于自身析构执行,而它在执行时,会调用 delete Singlethon::m_pInstance; //这会触发Singlethon自身的析构函数,而这里,再一次调用 delete Singlethon::m_pInstance,这就造成无限循环 //最终会报错堆栈溢出的错误 #if 0 if(Singlethon::m_pInstance) delete Singlethon::m_pInstance; Singlethon::m_pInstance = NULL; #endif } };   //以下三句话,缺一不可 Singlethon::CGarbo Singlethon::Garbo; Singlethon* Singlethon::m_pInstance = NULL;   Singlethon* Singlethon::GetInstance() { if (NULL == m_pInstance) { Lock lock(cs); lock.StartLock(); if (NULL == m_pInstance) { m_pInstance = new Singlethon; } lock.StopLock(); } //正常退出或者异常抛出,这里都会自动调用lock的析构函数,因为lock的作用域是局部的   return m_pInstance; }   int main() { //开启CRT内存泄露检测功能 _CrtSetDbgFlag ( _CRTDBG_ALLOC_MEM_DF | _CRTDBG_LEAK_CHECK_DF );   Singlethon* p1 = Singlethon::GetInstance(); Singlethon* p2 = Singlethon::GetInstance(); if ( p1 == p2) { cout << "单例模式测试成功!!"<<endl; } else { cout << "单例模式测试失败!!"<<endl; }   return 0; }

上述代码有几个地方要详细解析一下:

1. 在释放类的时候,如果类中有动态变量成员,一般要先释放其中的内容,然后在调用析构函数释放类本身的空间。类似的,比如在vector<int*> array,如果直接array.clear,其中,分配的内存空间就会泄露,正确的方法是,先释放掉分配的内容,然后清空空间。

for (vector<void *>::iterator it = v.begin(); it != v.end(); it ++) if (NULL != *it) { delete *it; *it = NULL; } v.clear();

2. 上述代码定义了一个锁类,封装了临界区的相关操作,作为资源管理类,内部有临界区变量,作为多线程安全的保证。局部资源管理类变量使得,当异常发生时,也能调用析构函数,释放临界区资源

3. 在进行判断时,判断了两次,提高效率。因为该方法调用第一次就产生实例,而pInstance == NULL 大部分情况下都为false,如果只判断一次,那么每次获取实例前都需要加锁,效率太低。

4. 定义一个嵌套类,和对应的静态局部变量,这样,当整个单例释放之前,就可以通过它来找到单例指针,然后delete掉他,这样就不会有内存泄露发送了。

5. 使用CRT类函数的内存泄露检测功能,方便查看调试。

    文章的最后,给出测试结果图:

   

    OK!

    读者可以在各个构造和析构函数中间加上端点,也可以尝试注释掉CGarbo的析构函数调试,看看有没有内存泄露。

    好久没有更新文章,这段时间工作很忙,忙不可怕,可怕的是没有目的、没用动机的忙。

 

    版权声明:本文为博主原创文章,欢迎转载,转载请注明出处,谢谢。

转载于:https://www.cnblogs.com/cherishui/p/4818059.html

相关资源:C++实现的单例模式代码
最新回复(0)