PHP 引用计数机制详细说明

某位开发者正在排查一个问题：为什么 PHP 工作进程在处理大约 10,000 个任务之后总是因"Allowed memory size exhausted"而崩溃。最终上线的修复方案是"每处理 1,000 个任务就重启工作进程"。方案奏效了，真正导致泄漏的根因——一个带有双向指针的父子对象结构——从未被追查。工作进程现在每天重启十次而背后的原因无人理解。两年后一次不相关的重构意外破坏了重启逻辑，同一个缺陷演变为生产事故：工作进程在任务中途崩溃。使用者看到错误，工程师们在没有心智模型的情况下进行排查，完全不知道内存最初为什么会增长。

这就是将 PHP 内存管理视为黑盒的代价。实际的模型并不复杂——三个概念覆盖了应用开发者需要了解的大部分内容。但这些概念很少出现在 PHP 教程中，教程通常从"变量保存值"直接跳到"使用 Eloquent"。这一空白在后续阶段显现出来：中级开发者无法预判向函数传递数组是否会复制它、foreach 是否会产生令人困惑的 bug，也无法解释为什么长期运行的工作进程尽管所有变量都已超出作用域却仍在泄漏内存。

这篇文章从基础开始讲解 PHP 的引用计数机制。附以经验证的 xdebug_debug_zval 输出展示实际的 refcount 值，以内存的实测数据展示写时复制的运行方式，并演示该模型在何处失效还有现代 PHP 如何解决。目标在于——一旦理解内化。阅读 PHP 代码将更接近阅读实际行为，而非对语义的猜测。

速览

每个 PHP 值都存在于一个名为"zval"的容器中，该容器包含一个引用计数。赋值操作递增 refcount；超出作用域或 unset 使其递减。当 refcount 降至零时值被释放。

zval——PHP 的值容器

zval 的基本结构

• . : 每个 PHP 值都存在于 zval 中
• . : 包含类型标签和引用计数元数据
• . : 和 是关键字段
  • - : 有多少个变量/结构引用了该值
  • - : zval 是否属于某个引用集

PHP + 对标量做了调整

• - 、、、 不再拥有自己的 refcount
• - 它们直接存储在 zval 中：

  $i = 42;
  xdebug_debug_zval.;// i: =42 - 代表着该值不使用引用计数

• - : 短字面量字符串获得特殊处理——它们被全局驻留：

  $x = 'hello';
  $y = 'hello';xdebug_debug_zval.;// x: ='hello' - 驻留字符串不需要引用计数；永远不会释放

• - : 其他所有类型使用引用计数

观察赋值操作不会立即复制数据：写时复制示例

$big = range;// 内存增长：MB

$b = $big;$c = $big，... $f = $big;// 内存增长：MB - 没有任何数据被复制

修改其中一个变量才会触发实际复制：

这个例子验证了： • 对一个 MB 数组进行 次赋值只增加 B 额外内存 • 第一次修改消耗完整 MB - 写时复制机制生效