PHP中的foreach是为数组和对象遍历专门设计的语言结构，相比for和while，它不需要手动维护下标，也不会因指针错位引发越界问题。在基础用法里，foreach可以只取值，也可以同时取出键名与值；而在处理需要回写数组的场景时，引用遍历则成为关键手段。理解这几者之间的差异，是写出健壮PHP代码的基础。
一、foreach的基础语法与键值遍历
最普通的foreach写法只关心值，适合仅需读取元素内容的场景。例如对一个索引数组进行输出，代码简洁且可读性高。这种形式在内部会拷贝数组元素的值到临时变量，因此循环体内对变量的改动不会反映到原数组。
<?php
$fruits = array('apple', 'banana', 'orange');
foreach ($fruits as $value) {
echo $value . PHP_EOL;
}
?>
当需要同时拿到键和值时，可以使用=>语法。键可以是整数也可以是字符串，foreach会按顺序把当前元素的键赋给第一个变量，值赋给第二个变量。这种方式在遍历关联数组时尤为常见，比如处理配置项或表单字段映射。
<?php
$config = array('host' => '127.0.0.1', 'port' => 3306);
foreach ($config as $key => $val) {
echo $key . '=' . $val . PHP_EOL;
}
?>
从实现角度看，foreach在遍历数组前会重置内部指针，并按顺序访问每个桶（bucket）。对于普通遍历，PHP引擎会把元素内容复制进CV变量；这也是为什么在循环里修改$value不会改变原数组。若数组非常大，这种复制会带来一定内存开销，但在绝大多数业务场景下可以忽略。
二、引用修改：用&实现原数组回写
如果希望在遍历过程中直接修改原数组的元素，就必须在变量前加&符号，将其声明为引用。此时$value不再是一个副本，而是绑定到当前数组元素的引用。任何对$value的赋值都会同步修改原数组对应位置。
<?php
$nums = array(1, 2, 3);
foreach ($nums as &$value) {
$value = $value * 2;
}
unset($value); // 重要：断开引用
print_r($nums);
?>
上面的代码执行后，$nums会变成array(2, 4, 6)。但很多初学者会忽略循环结束后的unset($value)。由于引用变量在循环结束后依然指向数组的最后一个元素，如果后续代码不小心复用了$value，就会悄悄改动原数组末尾的值，造成难以排查的bug。
<?php
$list = array('a', 'b', 'c');
foreach ($list as &$item) {
$item = strtoupper($item);
}
// 忘记 unset($item)
$item = 'x'; // 此时 $list 的最后一个元素变成了 'x'
print_r($list);
?>
因此，使用引用遍历的标准范式是：循环结束立刻unset引用变量。在团队代码中，也可以通过代码规范检查工具来强制这一写法，避免引用泄漏。此外，引用遍历不能用于遍历通过表达式生成的临时数组，因为临时值没有持久存储位置可供绑定。
三、多维数组与list的结合用法
当数组元素是子数组时，可以在foreach中配合list（或短数组语法）一次性解包。这样可以避免在内层再写一次foreach，让代码更直观。下面示例展示如何遍历由键值对组成的二维数组。
<?php
$users = array(
array('name' => 'tom', 'age' => 20),
array('name' => 'jack', 'age' => 25)
);
foreach ($users as $u) {
list($name, $age) = array($u['name'], $u['age']);
echo $name . ':' . $age . PHP_EOL;
}
?>
如果需要在解包的同时修改子数组内容，可以将外层遍历写成引用，再对内层使用普通赋值。注意引用只作用于当前层，不会自动递归到子元素。错误地假设深层引用会导致逻辑与预期不符，应显式地对每一层做引用声明。
<?php
foreach ($users as &$u) {
$u['age'] += 1;
}
unset($u);
print_r($users);
?>
这种写法在处理数据库结果集、API返回的结构化数据时非常实用。它既保留了foreach的简洁，又具备直接更新的能力。但务必注意，在引用多层数组时，每一层遍历结束都要及时unset对应引用，防止变量互相污染。
四、常见误区与性能建议
一个常见误区是认为foreach遍历对象时和修改数组一样。实际上，如果对象的属性通过魔术方法__get定义，引用遍历可能无法按预期绑定，因为__get返回的是临时值。此时应使用对象提供的具体修改接口，而不是依赖引用。
| 遍历方式 | 是否修改原数组 | 适用场景 |
|---|---|---|
| 值遍历 | 否 | 只读处理、生成新数组 |
| 键值遍历 | 否 | 需要键名的只读逻辑 |
| 引用遍历 | 是 | 原地更新元素、清洗数据 |
在性能方面，foreach比for在关联数组上更安全，因为for依赖连续整数下标。若数组很大且只需读，值遍历的拷贝成本通常可接受；若内存敏感，可改用引用遍历或生成器。无论如何，清晰的语义和避免引用泄漏，比微优化更重要。
总结来说，掌握foreach的键值语法与引用机制，理解拷贝与绑定的差异，并在代码中严格解除引用，就能在PHP开发中稳妥地完成各类数组遍历与修改任务。