Python 垃圾回收机制：引用计数、标记-清除与分代回收详解

拾光

发布时间：2026-10-16| 3人浏览过

原创

本文深入解析Python的垃圾回收（GC）机制，重点介绍以引用计数为主、标记-清除和分代收集为辅的核心策略。详细阐述引用计数的实时释放原理、解决循环引用的标记-清除算法流程，以及通过分代回收优化性能的设计思想，帮助开发者理解Python内存管理的底层逻辑。

Python 的垃圾回收（GC）模块主要依赖引用计数来跟踪和回收垃圾对象；同时引入“标记-清除”算法以解决容器对象可能产生的循环引用问题；并通过分代回收机制，以空间换时间的方式进一步提高垃圾回收的效率。

总体而言，Python 采用“引用计数”为主（具备实时性，一旦对象引用计数归零，内存即被释放），“标记-清除”与“分代收集”两种机制为辅的综合策略。

1. 引用计数

系统为每一个对象维护一个引用计数器。当一个对象的引用被创建或复制时，该对象的引用计数器加 1；当一个对象的引用被销毁时，计数器值减 1。当计数器的值为 0 时，意味着该对象已不再被使用，其占用的内存可以被释放。

2. 标记-清除

“标记-清除”机制的出现解决了循环引用问题。该机制仅关注那些可能产生循环引用的对象，在 Python 中，循环引用通常发生在容器（container）对象之间，即那些能够在内部持有其他对象的对象（例如：list、dict、class 等）。这使得该方法带来的额外开销仅依赖于容器对象的数量。

原理：

首先将集合中对象的引用计数复制一份副本，用于寻找 root object 集合（该集合中的对象是不能被回收的）。当成功找到 root object 集合后，将当前的内存链表一分为二：一条链表维护 root object 集合，称为 root 链表；另一条链表维护剩余的对象，称为 unreachable 链表。

在标记过程中，如果发现当前位于 unreachable 链表且可能存在被 root 链表中对象直接或间接引用的对象，则将其从 unreachable 链表移至 root 链表。当标记完成后，unreachable 链表中剩余的所有对象即为垃圾对象，后续的垃圾回收操作只需限制在 unreachable 链表中进行即可。

缺点：

该机制所带来的额外操作开销与需要回收的内存块数量成正比。