foreach本质是“复制+遍历”，php 7+默认浅拷贝数组（refcount>1时触发），键值按哈希表插入顺序遍历，引用遍历（&$v）直接操作原数组并存陷阱，对象遍历取决于是否实现iterator接口。
php 的 foreach 不是简单地按索引遍历数组，而是基于内部数组指针（internal Array pointer, IAP）和哈希表结构的一套迭代机制。理解它，关键在于搞清它“如何取值”“是否影响原数组”“对引用/键值的处理逻辑”，以及“底层到底在做什么”。
foreach 本质是“复制+遍历”，不是直接操作原数组
PHP 7+ 中，foreach 默认会对被遍历的数组做一次“浅拷贝”（仅当数组的 refcount > 1 或存在写时分离时才真正复制），目的是避免在循环中修改数组导致迭代行为不可预测。这意味着：
- 循环中对数组元素的赋值（如
$arr[$i] = ...）不会影响当前正在遍历的副本，也就不会改变本次循环的后续行为； - 但若使用引用（
&$v），则会直接操作原数组，此时修改会影响后续迭代（例如删除元素可能导致跳过下一个）； - 对数组本身（如
unset($arr)或$arr = []）不影响当前循环，因为循环用的是已确定的副本或快照。
键和值的获取依赖哈希表的有序遍历，不是顺序读内存
PHP 数组底层是哈希表（HashTable），支持整数/字符串混合键，并保持插入顺序（PHP 7.4+ 更严格）。foreach 遍历时，实际是按哈希表的 arData 数组（存储有序的 Bucket）从前到后扫描，跳过已被删除（is_deleted）的槽位。所以：
- 即使键不连续（如
[0 => 'a', 5 => 'b', 2 => 'c']），输出顺序仍是插入顺序：a → b → c； - 删除中间元素（
unset($arr[5])）不会打乱剩余元素的遍历顺序，只是跳过那个位置； - 不能靠“键递增”假设循环顺序，必须以插入序为准。
引用陷阱：&$value 改变原数组，且可能引发意外行为
当写成 foreach ($arr as &$value)，PHP 会让 $value 成为当前元素的引用，指向原数组对应地址。这带来两个典型问题：
立即学习“PHP免费学习笔记（深入）”；
- 循环结束后，
$value仍持有最后一个元素的引用，若后续再给$value赋值，会悄悄改掉原数组末尾项（常见 bug）； - 在循环中用
unset()删除当前键，可能导致下一次迭代读到错误数据（因内部指针未同步更新）； - 解决办法：循环后加
unset($value)断开引用；避免在 foreach 中修改数组结构。
foreach 支持对象，但行为取决于是否实现 Iterator 接口
对普通对象，foreach 默认遍历其可访问属性（public + 可见的 protected/private，通过 Zend 引擎的属性表）；若对象实现了 Iterator 或 IteratorAggregate，则调用其 getIterator() 返回的迭代器，完全自定义遍历逻辑。面试常考点：
-
ArrayObject和SplFixedArray都可被 foreach 安全遍历，前者走 Iterator，后者类似数组快照； - 没实现 Iterator 的对象，private 属性在 PHP 7+ 默认不可见（除非在类内遍历）；
- 自定义迭代器可控制“何时抛出异常”“是否支持 key”“是否允许多次遍历”，比数组灵活得多。
掌握 foreach，核心是跳出“语法糖”思维，看到它背后的数据结构、内存模型和引擎约束。不复杂但容易忽略细节。