PHP写时复制（COW）是变量内存分配的默认行为，而非可选优化；它通过zval层共享数据、仅增refcount实现高效赋值，写操作时才分离复制。
PHP 的写时复制（COW）不是“可选优化”，而是变量内存分配的默认行为；不理解它，就无法预判 $arr2 = $arr1 后一次 array_push() 为何突然卡顿、内存翻倍。
为什么 $b = $a 不触发内存复制？
因为 PHP 不在赋值时复制数据，而是在 zval 层共享底层数据结构（如 zend_string 或数组哈希表），仅增加引用计数 refcount。只要 refcount > 1 且无写操作，所有变量都指向同一块内存。
常见错误现象：
- 用
memory_get_usage()观察到$copy = $largeArray后内存几乎不增长 - 误以为“没复制=绝对安全”，结果在函数内修改形参时意外触发分离
关键点：
立即学习“PHP免费学习笔记（深入）”；
- 字符串、数组、对象属性值都受 COW 约束，但对象本身（
instanceof）不共享——对象赋值是引用传递 -
refcount存在但不可直接读取，只能通过debug_zval_dump()（注意：该函数会临时增加 refcount）或xdebug_debug_zval()辅助观察 - 字面量字符串（如
"hello"）可能被 interned，全局唯一，不参与 COW 流程
哪些操作会强制触发 COW 分离？
只要满足两个条件：当前 zval 的 refcount > 1，且执行了“写”语义操作。不是所有修改都等价，PHP 内核对“写”的判定很具体。
典型触发场景：
- 对数组追加元素：
$arr[] = 1、array_push($arr, 1) - 修改数组某键：
$arr['key'] = 'new'（即使键已存在） - 字符串拼接：
$s .= "x"、$s = $s . "x" - 字符串截取再赋值：
$s = substr($s, 0, 5)（新字符串创建，原 refcount 减 1）
容易忽略的坑：
-
foreach($arr as &$v)中的引用会使数组进入“强制分离模式”，后续任何写操作都会立即复制——哪怕你只读 -
json_encode($arr)不触发 COW（只读），但json_decode($json, true)返回的新数组与原数组无关 - 函数参数默认按值传递，传入大数组后在函数内首次修改即分离，外部变量不受影响但内存已双倍
如何避免 COW 带来的隐性性能损耗？
核心思路不是禁用 COW（做不到），而是减少“高 refcount + 频繁写”的组合场景。
实操建议：
- 对只读大数组，显式用
foreach($arr as $k => $v)（不带 &），避免意外激活分离逻辑 - 批量修改数组时，优先构建新数组再整体替换，而非逐个
$arr[$k] = $v：$new = [];<br>foreach ($old as $k => $v) {<br> $new[$k] = transform($v);<br>}<br>$old = $new; // 一次赋值，旧数组 refcount 归零释放 - 函数接收大数组参数时，若确定只读，加文档注释；若需修改，明确要求调用方传引用：
function process(&$arr)，避免内部复制 - 用
gc_collect_cycles()清理循环引用后，再处理超大数组，防止 GC 缓冲区干扰内存统计
注意：unset() 只减 refcount，不保证立即释放内存；真正释放发生在 refcount 降为 0 且无 GC 待回收项时。
COW 与垃圾回收（GC）的关系是什么？
COW 和 GC 是两套正交机制：COW 解决“多变量共享时谁该复制”，GC 解决“谁该被销毁”。它们共用 refcount，但目标不同。
关键事实：
- 当对象间存在循环引用（如 A→B→A），
refcount永远不归零，COW 仍正常工作，但内存无法靠 refcount 自动释放 - GC 不干预 COW 过程，但它会扫描根缓冲区中因 COW 分离产生的孤立 zval 结构
-
gc_status()中的roots数量突增，往往意味着近期发生了大量变量分离 + 循环引用未清理
最易被忽略的一点：COW 分离本身会生成新的 zval，如果这些 zval 又卷入循环引用，就会悄悄推高 GC 压力——这种问题在线上环境表现为内存缓慢爬升，memory_get_usage() 看似稳定，但 gc_status()['collected'] 长期为 0。
