c++ - 为什么 shared_ptr 和 weak_ptr 会这样工作？ (用于解决循环引用)

Question

我想了解 shared_ptr。经过研究，我知道weak_ptr可以解决shared_ptr中的循环引用问题，于是写了一些代码进行测试。

代码

class B;

class A
{
public:
    std::shared_ptr<B> _b;
    ~A() 
    {
        std::cout << "A dtor: " << _b.use_count() << std::endl; 
    }
};

class B
{
public:
    std::weak_ptr<A> _a;
    ~B() { std::cout << "B dtor: " << _a.use_count() << std::endl; }
};

int main()
{
    {
        std::shared_ptr<A> a(new A);
        std::shared_ptr<B> b(new B);

        std::cout << "a ref count: " << a.use_count() << std::endl;
        std::cout << "b ref count: " << b.use_count() << std::endl;

        a->_b = b;
        b->_a = a;

        std::cout << "a ref count: " << a.use_count() << std::endl;
        std::cout << "b ref count: " << b.use_count() << std::endl;
    }

    std::cin.get();

    return 0;
}

输出

a ref count: 1
b ref count: 1
a ref count: 1
b ref count: 2
A dtor: 1
B dtor: 0

我不知道为什么这段代码会这样工作。我认为“A dtor:2”和“B dtor:0”将是正确的结果。请给我答案。

Answer 1

b 在 a 之前被破坏(因为这里的破坏发生在构造的相反顺序)，这将它的 use_count 减 1。

• 构造 a - a use_count = 1

• 构造 b - b use_count = 1

• 将 b 分配给 A::b_ 成员 - b use_count = 2

• 将 a 分配给 B::a_ 成员 - a use_count = 1

• 销毁 b - b use_count = 1

• 销毁打印 1 作为 b 的 use_count 的 a