C++单例类实现咨询：当前方案是否高效符合最佳实践？

问题背景 #

我正在开发一款业余OpenGL引擎，其中日志、性能分析等系统采用了多个单例类，并在引擎及依赖该引擎的应用中静态使用这些类。我希望通过静态Init函数控制单例的初始化时机，当前实现如下：

当前实现代码 #

Log.h

#pragma once
#include <assert.h>

class Log {

public:

    static Log& Init() {
        if (!s_Instance)
            s_Instance = new Log();

        return *s_Instance;
    }

    static Log& Get() {
        assert(s_Instance, "Logger not initialised!");
        return *s_Instance;
    }

    // 禁用拷贝与移动构造
    Log(const Log&) = delete;
    Log(Log&&) = delete;

    // 禁用拷贝与移动赋值
    Log& operator=(const Log&) = delete;
    Log& operator=(Log&&) = delete;

private:
    Log() {}
    static Log* s_Instance;
};

Log.cpp

#include "Log.h"

Log* Log::s_Instance = nullptr;

我想知道：是采用局部静态变量的单例方案更好，还是当前方案已满足我的需求？

方案对比与结论 #

1. 当前手动初始化方案的优劣势 #

• 优势：完全满足你控制初始化时机的核心需求——必须主动调用Init()才能创建实例，Get()会断言未初始化的情况，能确保日志系统在你指定的引擎启动阶段就绪，避免其他静态对象依赖未初始化的单例。此外，你可以通过添加Shutdown()函数手动释放实例，控制资源回收时机。
• 劣势：
  • 线程不安全：Init()中的if (!s_Instance)是非原子操作，多线程环境下可能导致多个实例被创建；
  • 内存泄漏风险：如果不手动调用delete，程序结束时堆上的实例不会触发析构函数，对于日志类影响不大，但对持有文件句柄、GPU资源的单例会有问题；
  • 代码相对繁琐，需要维护静态指针和额外的初始化/销毁逻辑。

如果要保留当前方案，建议补充线程安全处理，比如加互斥锁：

// Log.h 新增
#include <mutex>

class Log {
    // ... 现有代码 ...
    static void Shutdown() {
        std::lock_guard<std::mutex> lock(s_Mutex);
        delete s_Instance;
        s_Instance = nullptr;
    }

private:
    // ... 现有代码 ...
    static std::mutex s_Mutex;
};

// Log.cpp 新增
std::mutex Log::s_Mutex;

2. 局部静态变量单例方案 #

该方案的核心实现为：

class Log {
public:
    static Log& Get() {
        static Log instance;
        return instance;
    }

    // 禁用拷贝与移动逻辑（同当前方案）
    Log(const Log&) = delete;
    Log(Log&&) = delete;
    Log& operator=(const Log&) = delete;
    Log& operator=(Log&&) = delete;

private:
    Log() {}
};

• 优势：
  • 线程安全：C++11及以后标准中，局部静态变量的初始化是线程安全的，无需额外加锁；
  • 无内存泄漏：程序结束时会自动调用实例的析构函数，资源能正常回收；
  • 代码极简，不需要维护静态指针和Init()函数。
• 劣势：无法主动控制初始化时机——实例会在第一次调用Get()时自动初始化，如果你需要在程序启动早期（比如其他静态对象初始化前）就启动日志系统，这个方案无法满足。

最终选择 #

• 若控制初始化时机是硬性需求：当前方案更适合你，但一定要补充线程安全处理；
• 若初始化时机无需严格控制：推荐使用局部静态变量方案，它更简洁、安全，能避免很多潜在问题。

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