详解 Python 的垃圾回收机制：引用计数与分代回收

Python的垃圾回收机制主要通过引用计数和分代回收协同工作。引用计数即时回收无引用对象，实现高效内存管理，但无法处理循环引用；分代回收则通过将对象按存活时间分为三代，定期检测并清除循环引用，弥补引用计数的不足。两者结合，既保证了内存释放的及时性，又解决了复杂场景下的内存泄露问题，构成了Python高效且健壮的内存管理机制。

Python 的垃圾回收机制主要通过两种方式协同工作：引用计数和分代回收。引用计数负责即时回收不再被引用的对象，而分代回收则作为补充，专门处理那些引用计数无法解决的循环引用问题，并优化了对不同生命周期对象的回收效率。理解这两者如何协作，对于写出高效且内存友好的 Python 代码至关重要。

讲到 Python 的内存管理，这玩意儿其实挺有意思的，它不像 C++ 那样需要你事无巨细地去

delete

核心思想是引用计数。每一个 Python 对象都有一个

ob_refcnt

del x

但引用计数不是万能药。它有个致命的弱点：循环引用。想象一下，对象 A 引用了对象 B，同时对象 B 又引用了对象 A。即使外部已经没有任何变量指向 A 或 B，它们的引用计数也永远不会归零，因为它们互相指着对方。这就形成了一个“死循环”，内存就这么被它们占着，泄露了。

立即学习“Python免费学习笔记（深入）”；

为了解决这个难题，Python 引入了分代回收（Generational GC）。这套机制就像是给对象分了“辈分”，或者说“年龄段”。新创建的对象，我们称之为“零代”对象。如果它们经历了几次垃圾回收周期后依然“健在”，就会被晋升到“一代”，再之后是“二代”。Python 的 GC 认为，活得越久的对象，越可能继续活下去，所以对老一代对象的检查频率会低很多，这样就减少了不必要的开销。

分代回收的核心工作是检测并打破循环引用。它会定期检查那些可能存在循环引用的对象集合。具体来说，GC 会遍历这些对象，尝试暂时“断开”它们之间的引用，然后看看哪些对象的引用计数真的能归零。那些归零的，就是循环引用中的垃圾，可以被回收了。这个过程通常会涉及到一个“标记-清除”算法的变种。

所以，你看，Python 的垃圾回收不是单一的机制，而是一个巧妙的组合拳。引用计数负责日常的、高频的回收，而分代回收则作为“特种部队”，专门处理那些引用计数搞不定的硬骨头——循环引用，同时还兼顾了效率。这种设计，在我看来，既保证了内存的及时释放，又解决了复杂场景下的内存泄露问题，相当聪明。

Python 引用计数是如何工作的？它有什么局限性？

Python 的引用计数机制，说白了就是每个对象内部维护一个整数，记录有多少个“指针”指向它。当你创建一个对象，比如

x = [1, 2, 3]

y = x

y

x = None

x

这种方式的优点是显而易见的：即时性。内存几乎是即时释放的，不会像某些带有全局 GC 的语言那样，需要等到某个不确定的时机才进行回收，这对于一些实时性要求较高的应用来说，是很有利的。而且，它的实现相对简单，开销也比较可预测。

但它并非没有缺点，甚至可以说是致命的。最主要、最让人头疼的就是循环引用。试想一下，如果你有两个对象

a

b

a

b

b

a

a

b

a

b

b

a

此外，性能开销也是一个考量点。每次引用创建或销毁，都需要对引用计数进行原子操作（加一或减一）。在高并发或多线程环境下，这可能引入额外的锁机制，增加一些性能负担。不过，CPython 对此做了很多优化，比如针对小整数和字符串的缓存，以及一些内部优化，来减少这些开销。但循环引用的问题，单靠引用计数是无解的，这也就是为什么我们需要分代回收来“擦屁股”。

燕雀Logo

为用户提供LOGO免费设计在线生成服务

下载

Python 的分代回收机制是如何弥补引用计数的不足的？

分代回收（Generational GC）在 Python 里扮演的角色，就像是引用计数的“备用方案”或者“高级清洁工”。它存在的根本目的，就是为了解决引用计数无法处理的循环引用问题。当然，它还有个附带的好处，就是能更高效地管理那些生命周期不同的对象。

Python 把对象分成了三个“代”（generation）：0代、1代和2代。所有新创建的对象都从0代开始。每次运行分代回收时，只会检查特定代的对象。

它的基本思想是基于“弱代假说”（weak generational hypothesis）：大多数对象都是短命的，而活得越久的对象，越有可能继续活下去。

所以，GC 会更频繁地检查0代对象。如果一个0代对象在一次GC扫描中幸存下来，它就会被“晋升”到1代。同样，1代对象在扫描中幸存，就会晋升到2代。2代是最高代，GC 对它的扫描频率最低。这样做的原因是，短命对象很快就会被回收，而长命对象则不太可能在每次GC中都成为垃圾，减少了不必要的检查，从而提高了效率。

当分代回收启动时（通常是0代对象数量达到某个阈值时），它会执行一个标记-清除（Mark-and-Sweep）的变种算法。具体步骤大概是这样：

1. 标记阶段（Mark）：GC 会从根对象（比如全局变量、调用栈中的对象）开始，遍历所有可达对象。它会暂时忽略这些对象之间的引用计数，而是通过一个特殊的标记位来标记所有“活着”的对象。
2. 解除循环引用（Unmark & Re-count）：这是关键一步。GC 会遍历所有参与分代回收的对象，暂时性地将它们之间的引用计数减去它们内部引用的数量。例如，如果A引用B，B引用A，GC会假装这些内部引用不存在，重新计算它们的引用计数。
3. 清除阶段（Sweep）：经过第二步的调整后，那些引用计数仍然为零的对象，就是真正的垃圾（包括那些陷入循环引用的）。GC 会将它们回收。那些引用计数不为零的对象，会恢复它们原有的引用计数，并被晋升到下一代。

通过这种方式，分代回收成功地识别并清理了那些引用计数机制无能为力的循环引用，确保了内存的有效管理。它不是替代引用计数，而是作为一种强有力的补充，让 Python 的内存管理体系更加健壮。

何时需要手动干预 Python 的垃圾回收？

通常情况下，Python 的垃圾回收机制工作得很好，我们作为开发者很少需要直接去干预它。它自己会根据内部阈值和启发式算法来决定何时启动引用计数清理或分代回收。但总有一些特殊场景，你可能会觉得“嗯，这里我得插一手”。

最常见的场景，可能就是当你处理大量短期存在的大对象时。比如，你正在进行一个大数据处理任务，在某个阶段会创建大量临时的数据结构，它们占用内存巨大，但在某个计算步骤完成后就完全没用了。如果这些对象恰好没有形成循环引用，理论上引用计数会及时清理。但如果它们在短时间内产生并迅速消失，或者你希望在某个关键点立即释放内存，而不是等待GC自动触发，这时你可能会考虑手动调用

gc.collect()

另一个考虑手动干预的场景是内存敏感型应用。例如，一个嵌入式系统或者一个需要长时间运行、内存占用极其严格的服务。在这种情况下，你可能希望在某个空闲时段或特定操作完成后，主动触发一次全面的垃圾回收，以确保内存被最大限度地释放，避免因为累积的垃圾导致性能下降或内存溢出。

还有一种比较少见但值得注意的情况是，当你发现你的程序存在难以追踪的内存泄露，并且怀疑是复杂的循环引用导致时。虽然分代回收会处理大部分循环引用，但如果你的应用逻辑非常复杂，对象生命周期难以预测，或者你正在使用一些 C 扩展，可能导致 Python 解释器无法完全追踪所有引用，这时手动触发

gc.collect()

gc.set_debug()

当然，手动干预不是万能药。过度频繁地调用

gc.collect()

memory_profiler