C++局部静态变量依赖问题：析构时调用已销毁的静态Mutex

你遇到的是C++中局部静态对象和函数内静态变量的析构顺序问题——MyAllocator的析构晚于Logger::Writef里的静态Mutex，导致析构时调用Writef会访问已销毁的锁。下面是几个实用的解决办法：

1. 把Mutex改成类静态成员（全局存储期） #

把Mutex从函数内的静态变量移到Logger的类静态成员，让它在全局初始化阶段就完成构造，这样它的析构会晚于所有局部静态对象（包括GetAllocator里的allocator）。

代码示例：

class Logger {
private:
    static Mutex s_mutex; // 类静态成员，全局存储期
public:
    static void Writef(const char* fmt, ...) {
        s_mutex.Lock();
        static char buffer[4096];
        // 格式化输出、写入日志的逻辑
        s_mutex.Unlock();
    }
};

// 在.cpp实现文件中定义静态成员
Mutex Logger::s_mutex;

2. 动态分配Mutex，永不释放 #

既然程序退出时操作系统会回收所有内存，那可以把Mutex动态分配，永远不手动释放，这样它就不会被销毁，自然不存在析构顺序的问题。

代码示例：

Logger::Writef(const char* fmt, ...) {
    static char buffer[4096];
    static Mutex* mutex = new Mutex(); // 只分配一次，不delete

    mutex->Lock();
    // 格式化输出、写入日志的逻辑
    mutex->Unlock();
}

3. 把泄漏报告移到主动调用的函数中 #

不要在MyAllocator的析构函数里输出泄漏信息，而是在main函数结束前主动调用一个报告方法，这时候所有静态对象都还处于有效状态。

代码示例：

class MyAllocator {
public:
    // 新增主动报告泄漏的方法
    void ReportMemoryLeaks() {
        m_Logger->Writef("%u Leak(s) Total", m_LeakCount);
    }
    // ... 其他原有方法
};

// 在main函数末尾主动调用
int main() {
    // 你的程序逻辑
    GetAllocator()->ReportMemoryLeaks();
    return 0;
}

4. 强制调整初始化顺序 #

通过主动触发Logger静态成员的初始化，确保Mutex在MyAllocator之前构造。比如给Logger加一个空的静态方法，在构造allocator前调用：

代码示例：

class Logger {
private:
    static Mutex s_mutex;
public:
    // 空方法，仅用于触发静态成员初始化
    static void EnsureMutexReady() {}
    
    static void Writef(const char* fmt, ...) {
        s_mutex.Lock();
        static char buffer[4096];
        // 格式化输出逻辑
        s_mutex.Unlock();
    }
};

Mutex Logger::s_mutex;

MyAllocator* GetAllocator() {
    Logger::EnsureMutexReady(); // 先触发Mutex初始化
    static MyAllocator allocator;
    return &allocator;
}

这样Mutex会在allocator构造前完成初始化，析构时也会晚于allocator，避免访问已销毁的对象。

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