深入解析 PHP 垃圾回收机制：从引用计数到循环垃圾回收

咖啡半糖

发布时间：2026-10-15| 3人浏览过

原创

PHP 内存管理的核心在于 zval 容器与引用计数机制。本文将深入解析这一基础结构如何工作，以及如何通过 PHP 7.3+ 引入的循环垃圾回收（GC）算法解决循环引用导致的内存泄漏问题。

一、理解 zval 变量容器

在 PHP 中，所有变量都存储在一个名为 zval 的变量容器中。zval 不仅包含变量的类型和实际值，还包含两个关键的控制字节：

is_ref：一个布尔值，标识该变量是否属于引用集合。它帮助引擎区分普通变量和用户自定义引用变量。
refcount：引用计数，表示指向该 zval 变量容器的变量个数。

所有的符号（变量名）存储在符号表中，每个符号都有其对应的作用域（Scope），包括主脚本作用域以及函数或方法的作用域。

二、生成与查看 zval 状态

当一个变量被赋值时，PHP 会为其生成一个新的 zval 容器。为了直观观察引用计数的变化，我们可以借助 Xdebug 扩展提供的 xdebug_debug_zval() 函数。首先确认环境是否已安装 Xdebug：

第1步：检查 Xdebug 安装状态

可通过以下两种方式验证：

使用 phpinfo() 函数查看当前 PHP 配置页面中是否存在 Xdebug 模块信息。
在命令行执行 php -m，检查输出列表中是否包含 xdebug。

安装确认后，我们可以通过代码观察 zval 的基本状态。例如，创建一个字符串变量：

$a = "new string";
xdebug_debug_zval('a');

输出结果为：

a:(refcount=1, is_ref=0)string 'new string' (length=10)

此时 refcount 为 1，表示只有一个变量 $a 指向该容器，且未启用引用标志。

三、引用计数的增加与减少

第2步：理解变量赋值对引用的影响

将变量赋值给另一个变量时，如果只是简单赋值 $b = $a，并不会创建新的 zval 容器，而是让 $b 指向同一个容器，此时引用计数会增加。但若使用引用运算符 &，则会明确建立引用关系。

$a = "new string";
$b = $a; // $b 指向同一 zval，refcount 增加
$xdebug_debug_zval( 'a' );

$c = &$a; // 显式建立引用
$xdebug_debug_zval( 'a' );

结果展示：

a:(refcount=1, is_ref=0)string 'new string' (length=10)
a:(refcount=2, is_ref=1)string 'new string' (length=10)

第3步：释放引用以减少计数

使用 unset() 可以移除一个变量名，从而减少其指向的 zval 容器的引用计数。当引用计数降为 0 且无其他引用时，容器将被销毁并释放内存。

$a = "new string";
$c = &$a;
xdebug_debug_zval( 'a' ); // refcount=2

unset($c);                 // 移除 $c，refcount 减 1
xdebug_debug_zval( 'a' ); // refcount=1

四、复合类型与数组的处理

对于数组（array）和对象（object），它们的成员或属性会存储在各自的符号表中，这意味着每个元素可能拥有独立的 zval 容器。

第4步：分析数组中的 zval 结构

创建一个包含多个元素的数组时，数组本身是一个容器，其内部的每个字符串元素也是独立的 zval 容器。

$a = array( 'meaning' => 'life', 'number' => '42' );
xdebug_debug_zval( 'a' );

输出显示：

a:(refcount=2, is_ref=0)
array (size=2)
  'meaning' => (refcount=1, is_ref=0)string 'life' (length=4)
  'number' => (refcount=1, is_ref=0)string '42' (length=2)

第5步：增加复合类型的引用

可以通过引用赋值让数组中的不同元素指向同一个数据容器，从而增加特定元素的引用计数。

$a = array( 'meaning' => 'life', 'number' => 42 );
$a['life'] = &$a['meaning']; // 'life' 现在引用 'meaning' 的容器
xdebug_debug_zval( 'a' );

第6步：删除数组元素以清理引用

使用 unset() 删除数组元素等同于从作用域中移除变量，会相应减少内部 zval 的引用计数。

$a = array( 'meaning' => 'life', 'number' => '42' );
$a['life'] = &$a['meaning'];
unset( $a['meaning'], $a['number'] );
xdebug_debug_zval( 'a' );

此时，'life' 成为唯一的剩余元素，其 refcount 随 unset 操作调整为最终状态。

五、循环引用与内存泄漏

最棘手的情况发生在数组自我引用时。如果将一个数组作为自身的一个元素进行引用，就会形成循环引用。

第7步：构造循环引用场景

$a = array( 'one' );
$a[] = &$a; // $a 的第 2 个元素引用 $a 本身
xdebug_debug_zval( 'a' );

输出显示：

a:(refcount=2, is_ref=1)
array (size=2)
  0 => (refcount=1, is_ref=0)string 'one' (length=3)
  1 => (refcount=2, is_ref=1)
    &array<

第8步：理解内存泄漏后果

由于数组元素 [1] 引用了数组 $a 本身，即使外部不再有变量指向 $a，其引用计数也无法降为 0。这导致普通的引用计数机制无法释放内存，造成内存泄漏。虽然 PHP 会在脚本结束时强制清理，但在长期运行的进程（如 Daemon 脚本）中，频繁的循环引用会导致内存持续膨胀。

六、循环垃圾回收（GC）机制

为解决上述问题，PHP 7.3 引入了更完善的同步垃圾回收算法。该机制专门用于检测并清除那些引用计数不为零但实际已无法访问的“僵尸”数据结构。

第9步：GC 启动条件与流程

只有当引用计数减少到非零值时，才会触发潜在的垃圾回收周期。算法主要步骤如下：

标记疑似垃圾（Root Buffer）：将所有可能发生变化的根节点（zval容器）放入根缓冲区。仅当缓冲区满时，才启动完整的回收过程，以避免不必要的开销。
模拟删除（灰色标记）：假设删除缓冲区中的紫色节点，并追踪因此导致的间接引用计数减少。如果一个外部变量的引用计数变为 0，则继续模拟删除该变量及其关联对象。模拟删除过的节点标记为灰色，防止重复处理。
模拟恢复（黑色标记）：尝试恢复之前标记的节点。如果恢复后引用计数仍大于 0，说明该节点仍有活跃引用，将其标记为黑色（正常存活）。这个过程是步骤 B 的逆运算。
真实删除（蓝色节点）：经过模拟恢复后，仍然无法恢复（即引用计数为 0 且无其他有效引用路径）的节点被标记为蓝色，并在最终阶段被真实释放。