【设计模式】单件模式

news2025/3/28 6:44:17

七、单件模式

单件(Singleton) 模式也称单例模式/单态模式，是一种创建型模式，用于创建只能产生 一个对象实例 的类。该模式比较特殊，其实现代码中没有用到设计模式中经常提起的抽象概念，而是使用了一种比较特殊的语法结构（私有的构造函数）实现类的定义。
该模式比较好理解，也比较常用，但要设计得好并不容易，有许多细节需要把握，本章将详细探讨。

7.1 单件类的基本概念和实现

在一个软件中，往往存在一些比较特殊的类，希望在整个软件中只存在该类的一个对象（实例）。以闯关打斗类游戏为例，策划要求游戏中有一些配置选项，能够对游戏的声音大小、图像质量等进行配置，为此，要创建一个游戏配置相关的类 GameConfig，代码如下：

// 游戏配置相关类
class GameConfig {
    // …待增加
};

为了使用该类，需要创建该类相关的对象，于是，可以通过下面的代码创建一个类对象：

GameConfig g_config1;

当然，还可以创建该类的另外一个对象，甚至还可以创建更多的该类对象：

GameConfig g_config2;

但从项目需求来讲，整个游戏中只应该存在一个 GameConfig 类对象（对象可以在栈上创建也可以用 new 在堆上创建），该对象相当于一个全局的 GameConfig 类对象，统管游戏的配置。创建多个 GameConfig 类对象可能会造成混乱或程序逻辑不正确（也可能造成性能问题）。

单件类的设计原则

C++ 软件开发专家 Scott Meyers 曾经说过：“要使接口或者类型易于正确使用，难以错误使用。” 因此，保证类的单一实例化应该由类的设计者实现，而非依赖使用者的自律。

单件类的实现代码

// 游戏配置相关类
class GameConfig {
private:
    GameConfig() {};
    GameConfig(const GameConfig& tmpobj);
    GameConfig& operator=(const GameConfig& tmpobj);
    ~GameConfig() {};

public:
    static GameConfig* getInstance() {
        if (m_instance == nullptr) {
            m_instance = new GameConfig();
        }
        return m_instance;
    }

private:
    static GameConfig* m_instance;  // 指向本类对象的指针
};

GameConfig* GameConfig::m_instance = nullptr;  // 类外初始化静态成员变量

关键设计点

私有构造函数：禁止在类外部创建对象（包括栈和堆）。

GameConfig* g_gc = new GameConfig;  // 非法
GameConfig gc;                      // 非法

静态工厂方法：通过 getInstance() 创建唯一实例，首次调用时初始化。

禁止拷贝和赋值：

GameConfig g_gc3(*g_gc);   // 非法（拷贝构造）
(*g_gc2) = (*g_gc);       // 非法（拷贝赋值）

私有析构函数：禁止外部手动释放对象。
```
delete g_gc2;  // 非法
```

7.2 单件类在多线程中可能导致的问题

若多个线程同时调用 getInstance()，可能导致 多次实例化。例如：

线程 1 执行 if (m_instance == nullptr) 后被挂起。
线程 2 同样通过条件判断并创建实例。
线程 1 恢复后再次创建实例，导致两个对象存在。

解决方案 1：加锁

static GameConfig* getInstance() {
    std::lock_guard<std::mutex> gcguard(my_mutex);  // 加锁
    if (m_instance == nullptr) {
        m_instance = new GameConfig();
    }
    return m_instance;
}

缺点：每次调用都需加锁，影响性能（仅首次初始化需要保护）。

解决方案 2：双重锁定（Double-Check Locking）

static GameConfig* getInstance() {
    if (m_instance == nullptr) {  // 第一重检查（无锁）
        std::lock_guard<std::mutex> lock(m_mutex);  // 加锁
        if (m_instance == nullptr) {  // 第二重检查（加锁后）
            m_instance = new GameConfig();
        }
    }
    return m_instance;
}

潜在问题：内存访问重排序可能导致未初始化的对象被使用（需结合 std::atomic 和内存栅栏解决）。

7.3 饿汉式与懒汉式

单件类的初始化方式分为两种：

饿汉式（Eager Initialization）

特点：程序启动时立即创建实例，线程安全。

class GameConfig {
    static GameConfig* m_instance = new GameConfig();  // 类外直接初始化
};

缺点：可能提前消耗资源（即使未使用）。

懒汉式（Lazy Initialization）

特点：首次调用 getInstance() 时创建实例，延迟加载。

class GameConfig {
    static GameConfig* getInstance() {
        if (m_instance == nullptr) {
            m_instance = new GameConfig();
        }
        return m_instance;
    }
};

缺点：多线程下需额外处理同步问题。

7.4 单件类对象内存释放问题

单件对象的生命周期通常与程序一致，但可通过以下方式手动释放：

方案 1：手动调用释放函数

class GameConfig {
public:
    static void freeInstance() {
        if (m_instance != nullptr) {
            delete m_instance;
            m_instance = nullptr;
        }
    }
};

方案 2：嵌套类自动释放（Garbo 模式）

class GameConfig {
private:
    class Garbo {
    public:
        ~Garbo() {
            if (GameConfig::m_instance != nullptr) {
                delete GameConfig::m_instance;
                GameConfig::m_instance = nullptr;
            }
        }
    };

    static Garbo garboobj;  // 静态嵌套类对象
};

GameConfig::Garbo GameConfig::garboobj;  // 类外初始化

原理：静态对象 garboobj 的析构函数会在程序结束时自动调用，释放单件对象。

7.5 单件类定义、UML 图及另外一种实现方法

单件模式定义

意图：保证一个类仅有一个实例，并提供全局访问点。

UML 图

另一种实现：返回局部静态变量引用

class GameConfig {
private:
    GameConfig() {};
    ~GameConfig() {};

public:
    static GameConfig& getInstance() {
        static GameConfig instance;  // 局部静态变量
        return instance;
    }
};