PHP数组循环存在五大陷阱：空数组导致逻辑失效；引用遍历后未unset污染数据；==比较引发类型转换误判；循环中修改数组结构致迭代错乱；性能低下时应预处理白名单。
PHP 数组在循环内做判断，表面简单，实则暗藏多个高频、隐蔽、后果严重的坑。稍不注意，轻则逻辑错乱、数据覆盖，重则触发致命错误或安全漏洞。
空数组静默跳过，导致逻辑分支失效
foreach 遇到空数组（[] 或 null 转成的数组）完全不执行循环体，也不报错、不警告。这意味着你依赖循环内更新的状态变量会保持初始值，后续判断就不可靠：
-
典型误用：
$found = false; foreach ($items as $item) { if ($item['id'] == $target) $found = true; } if (!$found) { /* 以为没找到，其实 $items 可能为空 */ } -
正确做法：循环前显式检查
if (empty($items)) { /* 单独处理空情况 */ }，或改用语义明确的函数如in_array($target, array_column($items, 'id'), true)
引用遍历后残留 &value，污染后续逻辑
使用 foreach ($arr as &$value) 后，$value 仍存在于当前作用域，并持续引用原数组最后一个元素。后续任何对 $value 的赋值，都会意外改写该位置：
-
危险现象：两次 foreach 连续执行后，数组末尾元素被覆盖（例如
[1,2,3]→ 第二轮后变成[1,2,2]） -
必须操作：每次引用遍历结束后，立即加
unset($value);清除残留引用 -
替代建议：仅当真需原地修改时才用引用；否则优先用键名赋值：
$arr[$key] = strtoupper($arr[$key]);
类型隐式转换引发误判，尤其在 key 比较中
PHP 在 == 比较中自动类型转换，常导致键名判断出错：
立即学习“PHP免费学习笔记（深入）”；
-
经典陷阱：
foreach ($arr as $key => $val) { if ($key == 'aa') { ... } }—— 若数组有键0，而'aa'强转为 int 是 0，则0 == 'aa'成立 -
安全写法：一律使用严格比较
===，特别是涉及字符串键、数字键混用时 -
额外注意：
in_array()必须传第三个参数true，否则in_array('1', [1])会返回true，造成白名单绕过
循环中动态修改数组结构，行为不可控
在 foreach 中调用 unset()、array_push() 或直接赋值改变数组长度/键名，会导致迭代器错位、跳项甚至 PHP 7.0+ 报 Warning：
-
问题表现：本该遍历 4 个元素，结果只执行 2 次；或某次循环拿到的
$value实际是上一轮未清理的旧引用 -
安全方案：需要增删元素时，改用
for倒序遍历（如for ($i = count($arr)-1; $i >= 0; $i--)），或先收集待操作键名，循环结束后统一处理 -
性能提示：若需高频查找（如校验白名单），先把白名单
array_flip()转为键映射，再用isset($whitelist_flipped[$value])替代in_array()
