引用计数是 Python 内存管理的基础，但它有一个无法回避的先天缺陷：无法自动解决循环引用。当一个或多个对象互相持有对方的引用，形成闭环时，即使外界已经不再使用这些对象，它们的引用计数也永远不会降为 0，从而导致内存无法被回收，造成 内存泄漏。
循环引用是怎么产生的？
最常见的场景是对象之间相互引用。例如，一个节点对象持有另一个节点的引用，另一个节点又持有前一个节点的引用：
class Node:
def __init__(self, value):
self.value = value
self.next = None
a = Node(1)
b = Node(2)
a.next = b
b.next = a # 形成循环引用
del a
del b # 此时两个对象的引用计数各为 1（互相持有），无法回收类似的问题也出现在父子关系、双向链表、树结构中带父节点引用的场景，以及更隐蔽的闭包和异常追踪中。
缺陷的本质
引用计数只管“是否还有人在用我”，却不知道“我们之间互相用着，实际上外部已经不需要我们了”。这种孤立的引用环会一直占用内存，直到程序结束。对于长时间运行的服务（如 Web 后端、数据处理流水线），内存泄漏会逐渐累积，最终导致内存耗尽、性能下降甚至崩溃。
Python 的解决方式：垃圾回收器
为了弥补引用计数的不足，Python 引入了基于标记-清除和分代回收的循环垃圾回收器（gc 模块）。它会定期扫描对象图，找出不再被外部访问的循环引用并清除。具体原理将在下一节展开。
开发者需要留意的地方
虽然有 GC 兜底，但仍然有一些“坑”值得注意：
del方法的陷阱：GC 无法回收实现了del且处于循环引用中的对象（因为它不知道回收顺序），这类对象会被放到gc.garbage中，永远不会被回收。应尽量避免在互相引用的对象上定义del。- 手动解除循环：在明确知道对象已完成使命时，最好显式地断开引用（如设为
None），这能立刻让内存回收，避免依赖 GC 的惰性扫描。 - 弱引用的使用：在某些场景（如缓存、观察者模式），可以使用
weakref模块创建弱引用，它不会增加引用计数，从而从设计上避免循环引用。
理解循环引用及其缺陷，是写出内存高效、长期稳定运行 Python 程序的关键一步。