PHP的copy on write机制是否适用于数组？如何调试其触发时机？

一、Copy On Write是否适用于PHP数组？ #

完全适用，数组是PHP COW机制最典型的核心应用场景。
PHP底层的变量由zval结构存储，zval内置引用计数refcount、用户引用标记is_ref两个核心字段实现COW。普通数组赋值（非引用赋值）时，引擎不会直接复制整个数组的内存块，只会让两个变量指向同一个数组zval，仅将refcount加1；只有当共享这个zval的任意一个变量执行写操作（修改元素、追加元素、删除元素等）时，引擎才会真正复制一份独立的数组内存，让两个变量各自持有独立的数据，避免互相干扰。
举个简单的测试代码即可验证：

$origin = [1, 2, 3];
$copy = $origin; // 此时两个变量共享同一份数组内存，无复制开销

$copy[] = 4; // 执行写操作触发COW，$copy生成独立的数组副本
var_dump($origin); // 输出[1,2,3]，不受$copy修改影响，证明COW生效

需要注意和引用赋值的区别：如果用$copy = &$origin给变量绑定引用，会将zval的is_ref标记为1，后续对任意变量的修改都会直接作用于同一份内存，不会触发COW。

二、调试COW触发时机的实用方法 #

1. 无扩展依赖的内置方法 #

适用于没有权限安装Xdebug的场景，使用PHP内置的debug_zval_dump()或debug_zval_refcount()（PHP 7.3+支持）即可实现。
这两个函数可以输出变量的引用计数变化：如果两个赋值后的变量refcount同步增减，说明仍共享zval未触发COW；如果原变量的refcount回落为独立值，说明COW已经触发复制。

注意：调用这两个函数时，传参过程会产生临时的引用计数偏移（一般实际值会比输出值小1），不需要纠结绝对值，对比前后的变化趋势即可。
示例代码：

$arr = range(1, 5);
echo "初始状态refcount输出：" . debug_zval_refcount($arr) . PHP_EOL; // 输出2（实际refcount为1，含传参临时计数）

$copyArr = $arr;
echo "普通赋值后refcount输出：" . debug_zval_refcount($arr) . PHP_EOL; // 输出3（实际refcount为2，仍共享zval，未触发COW）

$copyArr['test'] = 123; // 写操作触发COW
echo "修改copy后原数组refcount输出：" . debug_zval_refcount($arr) . PHP_EOL; // 输出2（实际refcount回到1，COW已触发）

如果是PHP 7.3以下的版本，替换为debug_zval_dump($arr);即可，输出内容里会直接标注当前的refcount值。

2. Xdebug精准调试方法 #

如果安装了Xdebug扩展，使用xdebug_debug_zval()是最直观的方案，没有内置函数的传参计数偏移问题，输出的refcount、is_ref都是真实值。
示例代码：

$arr = [1,2,3];
xdebug_debug_zval('arr'); // 输出：arr: (refcount=1, is_ref=0)=array (0 => (refcount=0, is_ref=0)=1, ...)

$copyArr = $arr;
xdebug_debug_zval('arr', 'copyArr'); // 两个变量的refcount均为2，is_ref=0，证明仍共享zval

$copyArr[] = 999;
xdebug_debug_zval('arr', 'copyArr'); // 原arr的refcount回落为1，copyArr的refcount为1，代表COW已触发

3. 大数组内存判断法 #

不需要任何扩展，适合快速判断大数组的COW行为：数组复制会占用额外内存，大数组的复制带来的内存变化非常明显。
示例代码：

// 生成10万元素的大数组，内存占用差足够明显
$largeArr = range(1, 100000);
echo "初始内存占用：" . memory_get_usage() . ' bytes' . PHP_EOL;

$copyLarge = $largeArr; // 未触发COW，内存无明显变化
echo "赋值后未修改内存占用：" . memory_get_usage() . ' bytes' . PHP_EOL;

$copyLarge[] = 'test'; // 触发COW，内存会有明显上升
echo "修改后内存占用：" . memory_get_usage() . ' bytes' . PHP_EOL;

这个方法的缺点是小数组的内存变化太小，无法精准检测，只能用来判断大数组的COW行为。

额外注意：只有对共享zval的变量执行写操作才会触发COW，读操作（比如count($copyArr)、读取数组元素）、unset()删除变量都不会触发COW。

内容的提问来源于stack exchange，提问作者Cory Baumer