如何强制Python对象的垃圾回收顺序？含pybind11场景需求

纯Python方式 #

你之前的测试用了全局变量，这会导致解释器在模块退出时的销毁顺序不受引用链控制——全局命名空间的变量清理顺序是解释器内部决定的，所以b._guard = a没生效。要实现预期顺序，可从以下两个角度处理：

1. 改用局部作用域+引用绑定 #

把对象放到局部函数中，通过子对象持有祖父对象的强引用，让引用计数机制自然控制销毁顺序：

class A:
    def __del__(self):
        print("A.__del__")

class B:
    def __del__(self):
        print("B.__del__")

def main():
    a = A()  # 祖父对象
    b = B()  # 子对象
    b._guard = a  # 子对象持有祖父的强引用

if __name__ == "__main__":
    main()

运行后会先输出B.__del__，再输出A.__del__——局部作用域退出时，b的引用先被回收，其__del__执行后，a的引用计数才降到0，触发销毁。

2. 全局变量场景：手动显式销毁 #

如果必须用全局变量，可通过手动del强制指定顺序：

a = A()
b = B()
b._guard = a

# 先销毁子对象，再销毁祖父
del b
del a

这样会严格按照del的顺序触发__del__方法。

pybind11方式 #

针对你提到的祖父-父-子结构，即使祖父和子无直接创建关联，也可以通过py::keep_alive建立子对象到祖父对象的引用绑定，确保祖父存活至子对象销毁。

假设你的C++结构如下：

class Grandfather {};
class Father {};
class Child {};

Father* Grandfather::create_father() { return new Father(); }
Child* Father::create_child(Grandfather* gf) { return new Child(); }

在pybind11绑定中，给子对象的创建方法添加py::keep_alive，让返回的子对象持有传入的祖父对象引用：

#include <pybind11/pybind11.h>
namespace py = pybind11;

PYBIND11_MODULE(example, m) {
    py::class_<Grandfather>(m, "Grandfather")
        .def(py::init<>())
        .def("create_father", &Grandfather::create_father, py::return_value_policy::take_ownership);

    py::class_<Father>(m, "Father")
        .def("create_child", [](Father* self, Grandfather* gf) {
            Child* child = self->create_child(gf);
            // 将祖父对象的引用绑定到子对象上
            return py::cast(child, py::return_value_policy::take_ownership, py::cast(gf));
        }, py::keep_alive<1, 2>()); 
    // 1代表返回的Child对象，2代表传入的Grandfather参数，确保Child持有Grandfather的引用

    py::class_<Child>(m, "Child");
}

这样，只要子对象还存在，祖父对象的引用计数就不会降到0，必然在子对象销毁后才会被回收。

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