PHP代码调试求助：数组输出为何是[2,3,1]而非[2,3,4]

嘿，这绝对是PHP里foreach引用最容易踩的经典坑！我来一步步拆解这段代码的执行流程，你看完就能瞬间明白为啥结果和你预期的不一样了。

先看这段初始化和第一个循环：

$a = [1,2,3];
foreach($a as &$val) { 
    $val = $val + 1; 
}

这里的&$val是把$val变成了数组对应元素的引用——简单说就是$val直接“绑定”在了数组元素的内存地址上，修改$val就等于直接修改原数组里的元素。

循环过程是这样的：

• 第一次循环：$val绑定$a[0]，加1后数组变成[2, 2, 3]
• 第二次循环：$val绑定$a[1]，加1后数组变成[2, 3, 3]
• 第三次循环：$val绑定$a[2]，加1后数组变成[2, 3, 4]

到这里你的预期是对的，但致命的细节来了：当第一个foreach循环结束后，$val这个引用并没有自动消失！它仍然死死绑定在$a[2]的内存地址上，这就是后面混乱的根源。

再看第二个循环：

foreach($a as $val) { 
    $val = $val - 1; 
}

你以为这里的$val是普通变量？错了！因为上一个循环的引用还在，现在的$val还是和$a[2]绑定的状态。我们逐次看循环过程：

此时数组是[2, 3, 4]：

1. 第一次循环：把$a[0]的值（2）赋值给$val——但因为$val是$a[2]的引用，这就相当于把2直接塞给了$a[2]，数组变成[2, 3, 2]。然后执行$val = $val -1，也就是$a[2] = 2-1=1，数组变成[2, 3, 1]。
2. 第二次循环：把$a[1]的值（3）赋值给$val（也就是$a[2]），数组变成[2, 3, 3]。接着$val = 3-1=2，数组又变成[2, 3, 2]。
3. 第三次循环：把$a[2]当前的值（2）赋值给$val（还是绑定着$a[2]自己），数组暂时没变化。然后$val = 2-1=1，数组最终变成[2, 3, 1]。

所以最后var_dump($a)输出的就是[2,3,1]啦。

解决方法超简单：在第一个foreach循环结束后，手动销毁这个引用，加上一行unset($val)就行。修改后的代码如下：

<?php 
$a = [1,2,3]; 
foreach($a as &$val) { 
    $val = $val + 1; 
}
unset($val); // 销毁引用，避免后续变量污染
foreach($a as $val) { 
    $val = $val - 1; 
} 
var_dump($a); // 输出 [2,3,4]，符合预期
?>

这样第二个循环里的$val就是全新的普通变量，不会再影响原数组了。

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