shared_ptr的循环引用

发布时间 2023-06-21 18:09:44作者: 乐swap火
class Controller {
 public:
  Controller() = default;

  ~Controller() {
    std::cout << "in ~Controller" << std::endl;
  }

  class SubController {
   public:
    SubController() = default;

    ~SubController() {
      std::cout << "in ~SubController" << std::endl;
    }

    std::shared_ptr<Controller> controller_;
  };

  std::shared_ptr<SubController> sub_controller_;
};

int main() {
  auto controller = std::make_shared<Controller>();
  auto sub_controller = std::make_shared<Controller::SubController>();

  controller->sub_controller_ = sub_controller;
  sub_controller->controller_ = controller;
  return 0;
}

以上代码执行后析构函数不会被调用,因为两个类的引用计数都是2,原理是,当shared_ptr超过作用域时,引用计数-1,如果引用计数等于0,就会调用指向的对象的析构函数,释放内存。

这里的步骤为:

 先调用包含sub_controller的 shared_ptr析构函数,内部引用计数-1,2-1=1,所以不会调用sub_controller析构

然后调用包含controller的 shared_ptr析构函数,内部引用计数-1,2-1=1,所以不会调用sub_controller析构

正确的做法是使用weak_ptr

class Controller {
 public:
  Controller() = default;

  ~Controller() {
    std::cout << "in ~Controller" << std::endl;
  }

  class SubController {
   public:
    SubController() = default;

    ~SubController() {
      std::cout << "in ~SubController" << std::endl;
    }

    std::weak_ptr<Controller> controller_;
  };

  std::shared_ptr<SubController> sub_controller_;
};

了解weak_ptr知道,他不会导致引用计数增加

改成weak_ptr后的变成:

输出

 具体步骤:

 先调用包含sub_controller的 shared_ptr析构函数,内部引用计数-1,2-1=1,所以不会调用sub_controller析构

然后调用包含controller的 shared_ptr析构函数,内部引用计数-1,1-1=0,调用controller析构,编译器在controller析构函数执行的时候还会调用成员类的析构,也就是std::shared_ptr<SubController> sub_controller_;

此时它的引用计数是1,1-1=0,调用SubController析构函数

1.调用controller析构

 

执行完controller后又调用了sub_controller shared_ptr智能指针的析构(又是一样的步骤,引用计数--,然后是否调用指向对象的析构函数...)

 

ps:环境vs2013,各个编译器实现细节可能都是不一致的,但是思想是差不多是这样子