foreach底层基于数组哈希表快照与内部游标，遍历时修改数组行为不可靠；引用遍历后需unset($v)避免覆盖；其执行分分析期与执行期，支持Traversable接口及PHP 7.0+连续索引优化。
PHP 的 foreach 并不是简单地按索引递增去“循环取值”，它的底层行为与数组的内部哈希表结构、指针状态和引擎迭代机制紧密相关。面试中常考的点，恰恰在于它**不直观但确定的行为逻辑**——比如修改数组是否影响遍历、引用赋值的陷阱、以及为何有时跳过元素或重复执行。
foreach 依赖数组的内部指针（但不完全等同于 current/next）
PHP 数组本质是有序哈希表（zend_array），每个数组维护一个“内部游标”（pos），指向当前“下一个待遍历的 bucket”。foreach 启动时会**快照当前数组的哈希表结构（包括 bucket 链表布局和 pos 初始位置）**，然后按 bucket 的物理顺序逐个访问。它不依赖用户手动调用 reset() 或 next()，但会隐式推进这个内部指针。
- 如果在 foreach 中调用
reset($arr)，不会重置 foreach 的遍历进度，因为 foreach 已经拿到了自己的迭代上下文。 - 但如果在遍历中途
unset()当前元素，该 bucket 被标记为“已删除”，后续遍历时会被跳过；而unset()非当前元素，一般不影响当前迭代流（除非触发了 hash 表重建）。
遍历时修改数组可能引发未定义或意外行为
PHP 官方文档明确指出：“在 foreach 中修改正在被遍历的数组是不被支持的”。这不是语法错误，而是语义不可靠：
-
添加新键（如
$arr['new'] = 1）：新元素是否被遍历，取决于哈希表是否发生 Rehash。若未 rehash，新 bucket 可能被追加到末尾并被后续遍历到；若触发扩容+重排，行为不可预测。 -
修改键名（如
array_key_exists()+unset()+[]）：可能导致跳过、重复或崩溃，因 bucket 位置和链表关系被破坏。 - 安全做法：需要动态增删时，先收集操作指令（如要删的 key 列表），遍历结束后统一处理。
引用遍历（&$v）改变的是原数组，且影响后续迭代
使用 foreach ($arr as &$v) 时，$v 是对当前 bucket 中 value 的引用。这意味着：
立即学习“PHP免费学习笔记（深入）”；
- 修改
$v会直接写回原数组对应位置； - 更关键的是：**循环结束后，$v 仍保持对最后一个元素的引用**。如果紧接着再写入新值（如
$v = 123），会意外覆盖原数组末尾元素 —— 这是高频笔试坑点； - 解决方法：循环后加
unset($v)断开引用，或改用键值遍历foreach ($arr as $k => $v)避免引用副作用。
foreach 的实际执行分两阶段：分析期 + 执行期
Zend 引擎在编译时就决定 foreach 如何取数：
- 对于普通数组，走
fe_reset→fe_fetch流程，每次从当前pos提取 bucket，推进pos； - 若数组是对象且实现了
Traversable（如 Iterator），则调用其getIterator()，完全交由对象控制逻辑； - PHP 7.0+ 对纯整数索引且连续的数组做了优化，可能退化为类似 for 循环的快速路径，但对外行为保持一致。
