C++智能指针std::shared_ptr循环引用坑

前言

        本章对智能指针std::shared_ptr是如何形成循环引用做出说明。智能指针的循环引用会导致内存得不到正确的释放。

示意图

 代码

#include<memory>

// 定义两个类
class B;
class A
{
    public:
    std::shared_ptr<B> pointer;        // 指向B类的智能指针对象
};

class B
{
    public:
    std::shared_ptr<A> pointer;        // 指向A类的智能指针对象
};

int main()
{
    // 定义两A、B两个类的智能指针对象
    std::shared_ptr pA = std::make_shared<A>();
    std::shared_ptr pB = std::make_shared<B>();
    
    // 此时智能指针pA和pB的引用计数都是1
    // ---
    pA -> pointer = pB;                // 将pB赋值给pA的成员对象B类智能指针。此时，pB引用计数为2
    
    pB -> pointer = pA;                // 将pA赋值给pB的成员对象A类智能指针。此时，pA引用计数为2
   
    return 0;
}

        当函数结束，智能指针pA,pB生命周期结束，引用计数各 -1 ，所以pA，pB各自指向的内存不会被释放，造成内存泄漏。

        如果不循环指向

...
    std::shared_ptr pA = std::make_shared<A>();    // pA引用计数 1
    std::shared_ptr pB = std::make_shared<B>();    // pB引用计数 1
    pA -> pointer = pB;                           // pB引用计数 2
 ...

        当生命周期结束，pB 引用计数-1，为1，不会被释放。pA 引用计数 -1 ，为0，pA指向的空间将会被释放，pA指向的A对象中的成员B智能指针对象poninter 生命周期也将会结束，引用计数再-1，所以pB指向的空间也会被释放。所以shared_ptr只有循环引用时才会产生内存泄漏风险。