简述环状引用问题及其解决方案

两个shared_ptr指针所指向对象的数据成员中，如果含有指向对方对象的share_ptr指针则会产生环状引用。通过例子来解释：

class A{

public:

      shared_ptr<B> bptr;

      ~A(){cout<<"~A()"<<endl;}

};

class B{

public:

      shared_ptr<A> aptr;

      ~B(){cout<<"~B()"<<endl;}

};

int main(){

      shared_ptr<A> a(new A());

      shared_ptr<B> b(nwe B());

      a->bptr=b;

      b->aptr=a;

}

 

• 程序中通过new创建了一个类A的对象和一个类B的对象并通过shared_ptr指向它们，之后通过指向另一个对象的智能指针对自身的数据成员ptr进行赋值，因此两个对象的引用计数都为2.
• 当程序退出时，main函数中创建的智能指针由于生命周期结束，其所指向对象的引用计数减1，但是由于环状引用，对象内部的智能指针的生命周期都不会结束，两个对象的引用计数始终为1.
• 具体来讲，就是对象A中的智能指针bptr只有在对象A析构之后才会结束其生命周期，从而将对象B的引用计数降为0；二对象A并不会被销毁，因为对象A销毁的条件是指向A的智能指针的引用计数降为0，而对象B指向A的智能指针只有在B对象析构后才会结束其生命周期，从而将对象A的引用计数降为0.
• 因此上述逻辑就成了一个死结，就好像两个人大家都就揪着对方的头发，并且叫嚣着只要对方松手自己就松手，但是两个人谁也不愿意首先让步，结果这两个人始终保持着同样的姿势，除非某一方实在坚持不住放弃了。
• 程序中不存在某个对象坚持不住首先主动释放的情况，因此必须处理环状引用的问题。解决环状引用问题的钥匙就是weak_ptr，因为weak_ptr不会增加对象的引用计数。

class A{

public:

      weak_ptr<B> bptr;

      ~A(){cout<<"~A()"<<endl;}

};

class B{

public:

      weak_ptr<A> aptr;

      ~B(){cout<<"~B()"<<endl;}

};

int main(){

      shared_ptr<A> a(new A());

      shared_ptr<B> b(nwe B());

      a->bptr=b;

      b->aptr=a;

}

• 将类中的智能指针类型有shared_ptr改为weak_ptr，在main函数中初始化两个智能指针时会将对象的引用计数加1，但是对类中的数据成员进行赋值时不会增加对象的引用计数。程序退出时，main函数中创建的两个智能指针生命周期结束，对象的引用计数由1减为0，对象空间释放。