多线程C++中Singleton实例的Mutex锁正确放置方式

数据老陈

2026-6-30

问题

我正基于《Head First 设计模式》一书中的Java示例，实现C线程安全Singleton模式。我知晓自C11起，静态局部变量的初始化具备线程安全性，但对静态类方法中mutex锁的放置位置存在疑问：锁应在调用getInstance()之前还是之后添加？我认为应该在调用之后，因为ChocolateBoilerSingleton::getInstance()本身是线程安全的，希望了解其他观点。相关代码如下：

#include <mutex>
class ChocolateBoilerSingleton
{

public:

    ChocolateBoilerSingleton(const ChocolateBoilerSingleton&) = delete;
    ChocolateBoilerSingleton& operator=(const ChocolateBoilerSingleton&) = delete;

    static void fill()
    {
        auto& instance = ChocolateBoilerSingleton::getInstance();
        std::lock_guard<std::mutex> lock(instance.m_mtx);
        if (instance.isEmpty())
        {
            instance.m_empty = false;
            instance.m_boiled = false;
        }
    }

    static void boil()
    {
        auto& instance = ChocolateBoilerSingleton::getInstance();
        std::lock_guard<std::mutex> lock(instance.m_mtx);
        if (!instance.isEmpty() && !instance.isBoiled())
        {
            instance.m_boiled = true;
        }
    }

    static void drain()
    {
        auto& instance = ChocolateBoilerSingleton::getInstance();
        std::lock_guard<std::mutex> lock(instance.m_mtx);
        if (!instance.isEmpty() && instance.isBoiled())
        {
            instance.m_empty = true;
        }
    }

public:
    static ChocolateBoilerSingleton& getInstance()
    {
        static ChocolateBoilerSingleton instance;
        return instance;
    }
    bool isBoiled() const
    {
        return this->m_boiled;
    }

    bool isEmpty() const
    {
        return this->m_empty;
    }

    // Data --------------------
private:

    ChocolateBoilerSingleton() :
        m_mtx(),
        m_empty(true),
        m_boiled(false)
    {}
    std::mutex m_mtx;
    bool m_empty;
    bool m_boiled;

};

 int main()
{
    ChocolateBoilerSingleton::fill();
    ChocolateBoilerSingleton::boil();
    ChocolateBoilerSingleton::drain();
}

分析与解答

你的判断完全正确，锁确实应该放在getInstance()调用之后，核心原因如下：

getInstance()本身无需额外锁保护：C++11及以后的标准明确规定，函数内部的静态局部变量初始化过程是线程安全的——只会由一个线程完成实例初始化，其他线程会自动阻塞直到初始化完成。这意味着获取单例实例的过程本身没有线程安全问题，提前加锁只会增加不必要的锁竞争，拖低并发性能。
锁的作用是保护实例状态的并发修改：fill()、boil()、drain()这些方法的核心是修改单例内部的m_empty、m_boiled状态变量，这些变量的读写不是原子操作，多线程并发修改会导致数据竞争和逻辑错误。你当前代码中，先获取实例，再用实例内部的std::mutex通过lock_guard包裹临界区代码，能保证同一时间只有一个线程执行状态判断和修改的逻辑，这是正确的线程安全做法。

如果强行把锁放在getInstance()调用之前，会带来两个明显问题：

无意义的性能损耗：所有调用静态方法的线程都会先竞争同一把锁（比如全局mutex），哪怕只是获取实例，完全浪费了C++11静态初始化的线程安全特性。
潜在死锁风险：如果使用全局mutex，若单例初始化过程中调用了其他需要锁的方法，很容易触发死锁；而用实例内部的mutex，只有在实例完全初始化后才会被使用，从根源避免了这种风险。

另外补充一个细节优化建议：你当前在锁内调用isEmpty()、isBoiled()是安全的，因为lock_guard保证了整个检查+修改流程的原子性。但如果在锁外单独调用这些状态方法，会存在数据竞争——因为其他线程可能正在修改对应的状态变量。如果需要单独暴露状态查询接口，建议要么把查询逻辑也放到锁内，要么将m_empty、m_boiled声明为std::atomic<bool>。

内容的提问来源于stack exchange，提问作者sam