PHP数组函数有严格适用前提：键类型敏感（数字键重置、字符串键保留）、空值/非数组输入易触发警告或崩溃、部分函数具修改原数组副作用、大数组操作存在性能与内存瓶颈。
PHP 数组函数看似灵活，但每种函数都有明确的适用前提和隐性限制。忽略这些边界条件，轻则结果异常，重则触发警告、返回空值甚至崩溃。关键不是“能不能用”，而是“在什么数据结构、什么键类型、什么上下文里才安全可靠”。
键类型敏感：关联数组 ≠ 任意字符串键
许多函数（如 array_merge()、array_values()）对数字键和字符串键处理逻辑不同。例如：
- array_merge($a, $b) 会重置所有数字键（即使原数组是 [0=>'a', 2=>'c']），但保留字符串键（如 ['id'=>'123'] 不会被覆盖或重排）；
- array_keys($arr, $search) 在严格模式下（第三个参数为 true）只匹配完全相同类型的值，若 $arr['0'] = 0 和 $arr[0] = '0' 并存，搜索 0 可能只命中数字索引项；
- 使用 foreach ($arr as $k => $v) 遍历时，键顺序取决于插入顺序（PHP 7.4+ 保持插入序），但 array_flip() 要求值可作为合法键——若原数组含 float、array、object 或 null，会静默丢弃对应项并触发 warning。
空值与非数组输入：多数函数不自动容错
除少数（如 is_array()、array_key_exists()）外，绝大多数数组函数要求第一个参数必须是 array 类型：
- count(null) 返回 0（不报错，但语义错误）；count('hello') 返回 1（把字符串当单元素数组）；而 array_filter(null) 直接产生 Warning：“Invalid argument supplied for foreach()”；
- array_map($cb, $arr) 若 $arr 不是数组，PHP 8.0+ 抛 TypeError，PHP 7.x 则静默转为空数组，行为不一致；
- 建议始终前置校验：if (!is_array($data)) { $data = []; }，尤其在函数参数来自用户输入或 API 响应时。
引用与副本：修改原数组的函数有副作用风险
部分函数直接修改传入数组（如 sort()、shuffle()、array_splice()），而非返回新数组：
立即学习“PHP免费学习笔记（深入）”；
- sort($arr) 按值排序并重排键，原数组被改写，且丢失原始键名；若需保留键，必须用 asort()；
- array_splice($arr, $offset, $length, $replacement) 会移除并替换片段，同时返回被删元素——但 $arr 本身已变更，若该变量后续还需原始数据，必须提前 clone 或赋值备份；
- 注意 array_walk() 默认以引用方式操作值（可修改原数组），而 array_map() 总是返回新数组，不改变原数组。
大数组性能与内存：底层实现决定实际承载力
PHP 数组本质是哈希表 + 双向链表，其时间/空间复杂度并非总为 O(1)：
- array_search() 和 in_array() 是 O(n)，在万级元素中查找会明显拖慢响应；应优先用 isset($arr[$key]) 替代 array_key_exists()（后者支持 NULL 键，但稍慢）；
- array_unique() 对 value 做哈希去重，若 value 是大数组或对象，会触发深拷贝和序列化开销，内存占用陡增；
- PHP 默认内存限制（memory_limit）常设为 128M，一个含 50 万个整数的数组约占用 20–30MB；若叠加多次 array_merge 或 array_filter，极易超限——此时应考虑分块处理或迭代器（如 ArrayIterator）。
