PHP按值传数组时为何引用元素出现传参行为异常

这个表现是PHP核心机制的预期行为，不是版本bug，核心来自写时复制（COW）和数组元素引用的标记规则两个底层设计的共同作用。

核心基础规则 #

• 写时复制优化：PHP对数组这类复合类型的按值传参、普通赋值，不会在传参/赋值瞬间做全量内存拷贝，只会给原数组的引用计数+1，让新变量/参数暂时指向同一块内存；只有当任意一方对数组执行修改操作时，才会触发内存拷贝，分离成两个独立数组，这个设计是PHP内存效率的核心保障。
• 数组元素引用的传染性：当你对数组内单个元素执行引用赋值（比如示例中的$ref = &$arr[0]），会发生两个变化：
  1. 被操作的元素会从普通值类型转为引用类型，和所有指向它的变量强绑定，对它的修改会同步到所有关联变量
  2. 数组本身会被打上「包含引用元素」的标记，这个标记不会因为数组赋值、传参消失，数组被拷贝时内部的引用关系也会被完整保留

复现代码的逐行执行逻辑 #

对应给出的复现代码，执行流程完全符合上述规则：

1. 初始化$arr = [3,4]：内存中生成普通数组结构，两个元素都是普通值，引用计数为1。
2. 执行$ref = &$arr[0]：数组下标0的元素转为引用类型，和$ref绑定，数组被标记为含引用元素。
3. 调用doSomethingTo($arr)传参阶段：按COW规则不触发拷贝，函数内参数$arr和外部$arr指向同一块内存，引用计数+1；此时函数内$arr[0]和外部$arr[0]、$ref指向同一个引用zval，修改任意一个都会同步到其余两个。
4. 函数内foreach循环执行：
   • 第一轮处理下标0：执行$arr[0] = $v + 1，直接修改共享的引用zval为4，此时外部数组的下标0已经被同步修改为4
   • 第二轮处理下标1：执行$arr[1] = $v + 1，这是对数组非引用元素的修改操作，正式触发COW分离：PHP此时才拷贝生成一个新的数组给函数内的$arr使用，后续对函数内数组的修改不会再影响外部数组。因为分离发生在修改下标1之前，外部数组的下标1始终保留原始值4。
5. 函数执行结束打印外部数组：下标0已经被引用同步修改为4，下标1未受影响仍为4，就出现了观测到的输出结果。

和预期不符的核心原因 #

大部分开发者对按值传参的默认预期是「传参瞬间完成全量拷贝，数组所有元素都和原数组完全隔离」，但PHP的COW优化把拷贝时机延后到了第一次修改发生的瞬间。而PHP对数组内单个元素引用的设计逻辑是：只要开发者主动给某个元素加了引用，就代表期望这个元素的修改全局同步，不管数组被赋值、传参多少次，这个元素的引用关系都不会被COW机制打断，直到主动用unset()解除引用。

验证方式：在传参前执行unset($ref)解除元素引用，再运行代码就会完全符合按值传参的常规表现，外部数组不会被函数内操作修改。

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