静态unique_ptr成员引发内存泄漏问题及解决方案咨询

问题场景 #

我定义了类A（声明于A.hpp）：

class A
{
public:
   static B& getB();
private:
   A();
   static std::unique_ptr<B> m_b;
};

类B同样声明于A.hpp：

class B
{};

在A.cpp中，静态成员A::m_b的定义为：

std::unique_ptr<B> A::m_b = std::unique_ptr<B>(new B());

getB()方法的实现：

B& A::getB()
{
   if (!m_b)
   {
      m_b= std::unique_ptr<B>(new B());
   }
   return *m_b;
}

存在这样的问题：另一个静态变量X在m_b完成初始化前调用了getB()，流程如下：

1. 调用getB()时，m_b仍为nullptr，因此创建一个新的B实例并赋值给m_b；
2. 随后A::m_b的初始化代码执行，将m_b重新赋值为新的B实例；
3. 步骤1中分配的内存未被释放，引发内存泄漏。

内存泄漏原因 #

C++中全局/静态变量的初始化分为两个阶段：零初始化和动态初始化。A::m_b作为类的静态成员，本质是全局变量，会先被零初始化为nullptr。

当另一个静态变量X的动态初始化代码调用A::getB()时，m_b还未执行自身的动态初始化逻辑。此时getB()判断m_b为nullptr，会给它赋值一个持有新B实例的unique_ptr。

之后进入A::m_b的动态初始化阶段，这是对m_b对象的直接构造初始化（而非赋值操作），会直接覆盖掉之前getB()中赋值的unique_ptr对象。原来的unique_ptr被覆盖后，它的析构函数没有机会执行，导致它持有的B实例内存无法被释放，最终引发内存泄漏。

最优解决方案 #

使用局部静态变量的懒汉模式，这是C++11及以后标准下最简洁、安全的实现方式，彻底规避静态变量初始化顺序问题，同时天然线程安全。

修改方案 #

1. 首先修改A.hpp，移除静态成员m_b的声明：

class B {};

class A
{
public:
   static B& getB();
private:
   A();
   // 移除 static std::unique_ptr<B> m_b;
};

2. 然后修改A.cpp中的getB()实现，用局部静态变量存储B实例：

B& A::getB()
{
   static B instance; // 第一次调用getB()时初始化，仅初始化一次
   return instance;
}

方案优势 #

• 彻底解决跨编译单元静态变量初始化顺序问题：局部静态变量仅在函数第一次被调用时才初始化，不受全局变量初始化顺序影响
• C++11及以后标准保证局部静态变量的初始化是线程安全的，无需额外加锁
• 无需使用unique_ptr，从根源上避免了智能指针被覆盖导致的内存泄漏
• 代码简洁，没有冗余的全局静态成员定义

特殊场景适配（如需动态分配） #

如果B的构造必须使用动态分配（比如类是抽象类、需要控制生命周期等），也可以用局部静态的unique_ptr实现：

B& A::getB()
{
   static std::unique_ptr<B> instance = std::make_unique<B>();
   return *instance;
}

同样需要移除类中static std::unique_ptr<B> m_b;的声明，以及A.cpp中对应的全局静态成员定义。

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