Python垃圾回收机制深度解析：原理、标记清除与分代回收

唐可

发布时间：2026-10-12| 5人浏览过

原创

本文深入解析Python垃圾回收机制，涵盖引用计数、标记清除及分代回收三大核心原理。详细阐述栈区与堆区内存管理、循环引用导致的内存泄漏问题，以及通过分代回收优化性能的空间换时间策略，帮助开发者理解内存自动释放与效率平衡。

一、什么是垃圾回收机制

垃圾回收机制（简称GC）是Python解释器内置的一种自动化管理功能。

作为一种动态存储管理技术，它能够自动识别并释放那些不再被程序引用的对象所占用的内存空间。

二、为什么需要垃圾回收机制

在程序运行过程中，系统会不断申请大量的内存空间以支持各种操作。

如果这些无用的内存空间得不到及时清理，将导致内存溢出（即内存不足），进而引发程序崩溃。

手动管理内存是一项极其复杂且容易出错的工作，而垃圾回收机制将程序员从繁琐的内存管理中解放出来。

三、垃圾回收机制的核心原理

1. 引用计数法

引用计数是指变量名与变量值之间的关联次数，Python通过跟踪这一计数来识别并回收垃圾数据。

直接引用

通过变量名直接指向变量值的方式称为直接引用。

x = 18  #18被引用了一次,计数为1
y = x   #18被引用加1次,计数为2
z = y   #18被引用加1次,计数为3
print(id(x))  #140725488808736
print(id(y))  #140725488808736
print(id(z))  #140725488808736

间接引用

容器对象（如列表、字典等）对其中元素的引用属于间接引用。

x = 18                 #18被引用一次,计数为1
li = [1,2,x]           #通过列表引用,计数加1,为2
dic = {'age': x}       #通过字典引用, 计数加1,为3
print(id(x))           #140725486514976
print(id(li[2]))       #140725486514976 列表引用,计数4
print(id(dic['age']))  #140725486514976 字典引用,计数5

2. 栈区与堆区的内存分布

栈区主要存放变量名与变量值内存地址之间的映射关系。

堆区则用于存放变量值实际的数据内容。

3. 原理总结

直接引用是指从栈区出发，直接定位到堆区中对应的内存地址。

间接引用是指从栈区出发，先引用到容器对象，再通过容器进一步访问才能到达最终内存地址的过程。

四、标记清除算法

1. 循环引用问题（交叉引用）

#我们先定义列表
l1=[0]  # 列表1被引用一次，列表1的引用计数变为1   
l2=[1]  # 列表2被引用一次，列表2的引用计数变为1   

#将列表加入另一个列表
l1.append(l2)  # 把列表2追加到l1中作为第二个元素，列表2的引用计数变为2
l2.append(l1)  # 把列表1追加到l2中作为第二个元素，列表1的引用计数变为2

#解除比变量名"l1"和"l2"与值的对应关系
del l1
del l2

2. 循环引用导致的后果

当值不再被任何变量名关联时，其引用计数并不会归零。

这导致这些对象虽然应该被回收，却因引用计数不为0而无法被回收，造成内存浪费。

3. 解决方法：标记-清除算法

容器对象之间相互引用极易产生循环引用，标记-清除算法正是为了解决这一问题而设计。

当应用程序可用内存空间耗尽时，标记-清除机制会暂停整个程序的运行，随后执行先标记、后清除的操作。

标记阶段：从栈区出发，凡是能通过直接或间接引用找到对应堆区内容的对象均标记为存活；无法找到的则视为非存活。具体而言，遍历所有“GC Roots”对象（栈区中的所有内容或线程均可作为GC Roots），将所有可直接或间接访问到的对象标记为存活，其余标记为非存活对象，准备清除。
清除阶段：遍历堆中的所有对象，将那些未被标记为存活的对象全部清理掉。