单例模式——C++（线程安全）_c++ 函数返回静态变量线程安全-优快云博客

本文深入探讨了单例模式中的懒汉模式与饿汉模式，详细解释了两种模式下如何保证线程安全，特别是在多线程环境下如何通过加锁机制解决实例创建的竞争条件问题。此外，还介绍了如何正确地管理和释放单例对象的实例。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

一、懒汉模式：即第一次调用该类实例的时候才产生一个新的该类实例，并在以后仅返回此实例。

需要用锁，来保证其线程安全性：原因：多个线程可能进入判断是否已经存在实例的if语句，从而non thread safety.

使用double-check来保证thread safety.但是如果处理大量数据时，该锁才成为严重的性能瓶颈。

1、静态成员实例的懒汉模式：

 1 class Singleton
 2 {
 3 private:
 4     static Singleton* m_instance;
 5     Singleton(){}
 6 public:
 7     static Singleton* getInstance();
 8 };
 9 
10 Singleton* Singleton::getInstance()
11 {
12     if(NULL == m_instance)
13     {
14         Lock();//借用其它类来实现，如boost
15         if(NULL == m_instance)
16         {
17             m_instance = new Singleton;
18         }
19         UnLock();
20     }
21     return m_instance;
22 }

2、内部静态实例的懒汉模式

这里需要注意的是，C++0X以后，要求编译器保证内部静态变量的线程安全性，可以不加锁。但C++ 0X以前，仍需要加锁。

 1 class SingletonInside
 2 {
 3 private:
 4     SingletonInside(){}
 5 public:
 6     static SingletonInside* getInstance()
 7     {
 8         Lock(); // not needed after C++0x
 9         static SingletonInside instance;
10         UnLock(); // not needed after C++0x
11         return instance; 
12     }
13 };

二、饿汉模式：即无论是否调用该类的实例，在程序开始时就会产生一个该类的实例，并在以后仅返回此实例。

由静态初始化实例保证其线程安全性，WHY？因为静态实例初始化在程序开始时进入主函数之前就由主线程以单线程方式完成了初始化，不必担心多线程问题。

故在性能需求较高时，应使用这种模式，避免频繁的锁争夺。

 1 class SingletonStatic
 2 {
 3 private:
 4     static const SingletonStatic* m_instance;
 5     SingletonStatic(){}
 6 public:
 7     static SingletonStatic* getInstance()
 8     {
 9         return m_instance;
10     }
11 };
12 
13 //外部初始化 before invoke main
14 const SingletonStatic* SingletonStatic::m_instance = new SingletonStatic;

m_pInstance指向的空间什么时候释放呢？更严重的问题是，该实例的析构函数什么时候执行？

如果在类的析构行为中有必须的操作，比如关闭文件，释放外部资源，那么上面的代码无法实现这个要求。我们需要一种方法，正常的删除该实例。

可以在程序结束时调用GetInstance()，并对返回的指针掉用delete操作。这样做可以实现功能，但不仅很丑陋，而且容易出错。因为这样的附加代码很容易被忘记，而且也很难保证在delete之后，没有代码再调用GetInstance函数。

一个妥善的方法是让这个类自己知道在合适的时候把自己删除，或者说把删除自己的操作挂在操作系统中的某个合适的点上，使其在恰当的时候被自动执行。

我们知道，程序在结束的时候，系统会自动析构所有的全局变量。事实上，系统也会析构所有的类的静态成员变量，就像这些静态成员也是全局变量一样。利用这个特征，我们可以在单例类中定义一个这样的静态成员变量，而它的唯一工作就是在析构函数中删除单例类的实例。如下面的代码中的CGarbo类（Garbo意为垃圾工人）：

class CSingleton

{

//其他成员

public:

static CSingleton* GetInstance();

private:

CSingleton(){};

static CSingleton * m_pInstance;

class CGarbo //它的唯一工作就是在析构函数中删除CSingleton的实例

{

public:

~CGarbo()

{

if( CSingleton::m_pInstance )

delete CSingleton::m_pInstance;

}

Static CGabor Garbo; //定义一个静态成员，程序结束时，系统会自动调用它的析构函数

}；

类CGarbo被定义为CSingleton的私有内嵌类，以防该类被在其他地方滥用。

程序运行结束时，系统会调用CSingleton的静态成员Garbo的析构函数，该析构函数会删除单例的唯一实例。

使用这种方法释放单例对象有以下特征：

在单例类内部定义专有的嵌套类；

在单例类内定义私有的专门用于释放的静态成员；

利用程序在结束时析构全局变量的特性，选择最终的释放时机；

使用单例的代码不需要任何操作，不必关心对象的释放。

具体代码如下：

#include <iostream>>

using namespace std;

class Singleton

{

public:

    static Singleton *GetInstance();

private:

    Singleton()

    {

        cout << "Singleton ctor" << endl;

    }

    ~Singleton()

    {

        cout << "Singleton dtor" << endl;

    }

    static Singleton *m_pInstance;

    class Garbo

    {

    public:

        ~Garbo()

        {

            if (Singleton::m_pInstance)

            {

                cout << "Garbo dtor" << endl;

                delete Singleton::m_pInstance;

            }

        }

    };

    static Garbo garbo;

};

Singleton::Garbo Singleton::garbo;  // 一定要初始化，不然程序结束时不会析构garbo

Singleton *Singleton::m_pInstance = NULL;

Singleton *Singleton::GetInstance()

{

    if (m_pInstance == NULL)

        m_pInstance = new Singleton;

    return m_pInstance;

}

int main()

{

    Singleton *p1 = Singleton::GetInstance();

    Singleton *p2 = Singleton::GetInstance();

    if (p1 == p2)

        cout << "p1 == p2" << endl;

    return 0;

}

输出结果如下：

Singleton ctor

p1 == p2

Garbo dtor

Singleton dtor