C++ 单例模式

.select.

424人浏览 · 2026-03-20 15:18:59

.select. · 2026-03-20 15:18:59 发布

C++ 中的单例模式（Singleton Pattern）是一种创建型设计模式，它保证一个类仅有一个实例，并提供一个全局访问点。

在 C++ 中实现单例模式需要特别注意线程安全、懒加载（Lazy Initialization）以及资源销毁顺序等问题。随着 C++11 标准的普及，现代 C++ 实现单例模式已经变得非常简洁且安全。

1. 核心要素

要实现一个标准的单例类，通常需要遵循以下步骤：

私有化构造函数：防止外部通过 new 创建实例。
私有化拷贝构造函数和赋值运算符：防止实例被复制。
提供一个静态访问方法：通常命名为 getInstance()，用于获取唯一实例的引用或指针。
静态存储实例：在类内部维护唯一的实例对象。

2. 现代 C++ (C++11 及以后) 的最佳实践

自 C++11 起，标准保证了函数内静态局部变量（Magic Static）的初始化是线程安全的。这意味着我们不需要手动使用互斥锁（mutex）或双重检查锁定（DCLP），编译器会帮我们处理并发问题。

这是目前最推荐的实现方式（Meyers' Singleton）：

#include <iostream>

class Singleton {
public:
    // 获取唯一实例的静态方法
    static Singleton& getInstance() {
        // C++11 保证这里的初始化是线程安全的
        // 只有第一次调用时才会执行初始化
        static Singleton instance;
        return instance;
    }

    // 删除拷贝构造函数和赋值运算符，防止复制
    Singleton(const Singleton&) = delete;
    Singleton& operator=(const Singleton&) = delete;

    // 业务方法示例
    void doSomething() {
        std::cout << "Singleton is working..." << std::endl;
    }

private:
    // 私有构造函数
    Singleton() {
        std::cout << "Singleton constructed." << std::endl;
    }

    // 私有析构函数（可选，通常默认即可，但在某些复杂场景下可能需要显式定义）
    ~Singleton() {
        std::cout << "Singleton destroyed." << std::endl;
    }
};

int main() {
    // 获取实例
    Singleton& s1 = Singleton::getInstance();
    Singleton& s2 = Singleton::getInstance();

    // 验证地址是否相同
    std::cout << "Address s1: " << &s1 << std::endl;
    std::cout << "Address s2: " << &s2 << std::endl;

    s1.doSomething();

    return 0;
}

这种方式的优点：

线程安全：由 C++11 标准保证，无需手动加锁，性能开销极小。
懒加载：只有在第一次调用 getInstance() 时才会创建实例。
自动销毁：程序结束时，静态局部变量会自动调用析构函数，无需手动管理内存（避免了内存泄漏）。
代码简洁：相比旧式的指针实现，代码量大幅减少且不易出错。

3. 旧式实现（不推荐，但需了解）

在 C++11 之前，开发者常使用指针配合“双重检查锁定”（Double-Checked Locking Pattern, DCLP）来实现。这种方式在现代 C++ 中已不再推荐，因为容易写错且代码复杂。

主要问题：

如果不小心，容易出现多线程竞争条件。
需要手动管理内存（delete），否则会导致内存泄漏。
存在“静态初始化顺序故障”（Static Initialization Order Fiasco）的风险，如果单例依赖其他全局对象。

4. 关键注意事项

A. 线程安全

C++11 之前：必须手动使用 std::mutex 和原子操作来实现线程安全，非常繁琐且容易出错。
C++11 及之后：直接使用 static 局部变量即可，编译器底层会生成必要的栅栏指令和锁逻辑。

B. 内存泄漏

使用栈对象（即 static Singleton instance）的方式，对象存储在静态存储区，程序退出时会自动析构，不会泄漏。
如果使用 new Singleton() 返回指针且没有对应的 delete 机制（或者在析构顺序上处理不当），则可能导致内存泄漏。

C. 继承问题

单例模式通常不建议被继承。如果必须支持继承，需要将构造函数改为 protected，但这会破坏单例的严格性（子类可能有多个实例）。通常单例类会被声明为 final（C++11）以防止继承。

class Singleton final { 
    // ... 
};

D. 序列化与反序列化

如果单例对象需要序列化，反序列化时必须确保返回的是同一个实例，而不是创建新对象。这通常需要重载序列化库的特定钩子函数。

5. 单例模式的优缺点

优点：

严格控制实例数量：确保系统中只有一个实例，节省资源（如数据库连接池、配置管理器）。
全局访问点：方便在任何地方访问该实例。
延迟加载：只有在真正使用时才初始化，提高启动速度。

缺点：

全局状态：单例本质上是一个全局变量，可能导致代码耦合度高，难以进行单元测试（因为状态可能在测试间共享）。
隐藏依赖：调用者不需要通过构造函数注入依赖，使得依赖关系不明显。
并发压力：虽然 C++11 解决了初始化线程安全，但如果单例内部状态频繁被多线程修改，仍需内部同步机制。

总结

在现代 C++ 开发中，请始终使用基于“函数内静态局部变量”的实现方式（Meyers' Singleton）。它简洁、高效、线程安全且符合 RAII（资源获取即初始化）原则。除非你有极其特殊的理由（如需要在 main 函数之前初始化，这通常被视为坏味道），否则不要使用指针或复杂的锁机制来实现单例。