标记-清除算法通过可达性分析识别循环引用：从GC Roots出发遍历并标记所有可达对象，未被标记的不可达对象（即使彼此引用）在清除阶段被统一回收。
标记-清除算法识别并处理循环引用，靠的不是“看引用计数”，而是“看是否可达”。只要一组对象彼此引用，但**从根（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 开始遍历，发现根本找不到这两个对象 → 它们不会被标记 → 清除阶段释放其内存。循环引用被无声打破。
