标记-清除算法如何处理循环引用？

标记-清除算法通过“可达性分析”而非“引用计数”来精准识别和回收循环引用——只要一组对象（如A↔B）彼此强引用，但完全脱离GC Roots（如栈变量、静态字段、常量等程序活跃入口）的引用链，它们就会在标记阶段被跳过、在清除阶段被一并回收，整个过程无需拆解循环或干预引用关系；这一机制已被Java、Python、PHP、JavaScript等主流语言广泛采用，真正实现了对内存中“幽灵循环”的静默、高效、可靠清理。

标记-清除算法识别并处理循环引用，靠的不是“看引用计数”，而是“看是否可达”。只要一组对象彼此引用，但**从根（GC Roots）出发完全无法到达它们**，那它们就会被标记为垃圾，在清除阶段一并回收。

核心判断依据：可达性，而非引用计数

循环引用的对象（比如 A→B、B→A）往往引用计数不为 0，但标记-清除根本不依赖这个数字。它只关心：这些对象能不能从程序正在使用的“活入口”出发，顺着引用链走到。

这些“活入口”就是 GC Roots，例如：

• 正在执行的方法栈中的局部变量
• 类的静态字段引用的对象
• 常量池中引用的对象
• JNI（本地方法）持有的引用

如果 A 和 B 都不在任何 GC Root 的引用路径上，哪怕它们互相拉着对方，也照样被标记为不可达 → 清除。

实际处理过程分两步走

标记阶段：GC 从所有 GC Roots 出发，深度或广度优先遍历所有能访问到的对象，并打上“存活”标记。A 和 B 若未被任何 Root 连通，就不会被标记。

清除阶段：扫描整个堆内存，把所有没被打标记的对象所占空间直接回收。A 和 B 就在这批被清掉的对象里。

注意：这个过程不需要拆解循环、也不需要修改引用关系——只要不可达，就清理，干净利落。

哪些语言/环境用它解决循环引用

这不是理论方案，而是广泛落地的机制：

• Java：使用可达性分析（本质是标记-清除或其变种），天然解决循环引用问题
• Python：对容器类型（list/dict/tuple/类实例等）启用标记-清除，专门补引用计数的短板
• PHP：在引用计数基础上增加周期性标记-清除扫描，检测并回收循环引用组
• JavaScript（现代引擎）：V8 等已弃用纯引用计数，主用标记-清除（或三色标记等优化版）处理闭包、DOM 引用等复杂循环场景

一个典型例子（PHP/Python 风格）

假设：

$a = new Test();<br>$b = new Test();<br>$a->ref = $b;<br>$b->ref = $a;<br>unset($a, $b);

此时 $a 和 $b 已脱离作用域，不再被任何全局变量或栈帧持有。标记阶段从 Root 开始遍历，发现根本找不到这两个对象 → 它们不会被标记 → 清除阶段释放其内存。循环引用被无声打破。

今天关于《标记-清除算法如何处理循环引用？》的内容就介绍到这里了，是不是学起来一目了然！想要了解更多关于的内容请关注golang学习网公众号！