拿 PHP 写业务最绕不开的就是数组。我接触过不少从 Java、C甚至前端转过来的同事刚上手时都会有同一个疑问PHP 里这个 $arr说它是数组吧又能拿字符串当键说它是字典吧遍历顺序又非常稳定。其实这正是 PHP 数组的设计精髓——它本质上是一张有序的映射表。这篇基础案例教程第 04 篇我打算抛开教科书式的语法罗列专门讲清楚数组背后那几个决定你写代码风格的关键机制以及我在真实项目里反复踩过的坑。内容会覆盖数组的创建、遍历、排序、过滤映射、去重合并最后落到二维数组的业务实战。不管你是刚学 PHP 的初学者还是写过几年但对某些行为拿不准的老开发应该都能从这里找到点新东西。我尽量把每个结论都配上能直接跑的代码你复制到本地改一改就能看到同样的问题。1. 先把数组的“身份”搞清楚它是映射表不是列表1.1 键名才是主角但键名会自动“变形”先从底层说起。PHP 数组在 Zend 引擎里的实现是 HashTable哈希表每个元素由键名通过哈希算法定位同时引擎内部又维护了一条双向链表来记录插入顺序。这就是为什么你往数组里塞几个元素再 foreach 出来顺序永远和插入时一致——一个哈希结构居然能记住先后顺序这是 PHP 和很多其他语言最大的不同。正因为底层是哈希表所以 PHP 里的“索引数组”和“关联数组”并没有本质区别只是键名恰好是整数还是字符串而已。但键名的自动转换规则是新手最容易翻车的地方$arr []; $arr[1] a; $arr[1] b; // 同一个键直接覆盖 $arr[null] c; // 键会自动变成空字符串 $arr[true] d; // 键会自动变成 1又把上面的覆盖了 $arr[1.5] e; // PHP 8.1 开始会提示 Deprecated键按 1 处理 var_export($arr);在这个例子里“1”和数字 1 会命中同一个键null 会变成空字符串键布尔 true 会变成 1。为什么 PHP 要这么干因为底层键名最终都是 zval它有一套“规范化”逻辑看起来像合法十进制整数的字符串就转成整数其他情况按类型强制转换。但有一个例外需要特别记牢像 08 这种带前导零的字符串键不会被转成整数因为 PHP 只认标准的十进制整数格式。我的经验是写业务代码时尽量别混用数字键和字符串键。尤其是从表单、接口传过来的数据键名经常是字符串形式的数字一不注意就把原有关联数据覆盖了。生产环境里因为这个“1”和 1 导致的诡异 bug我排查过不止一次。1.2 删除中间元素后再追加键为什么不是老位置这个坑非常隐蔽。你先看这段代码$a [0 a, 1 b, 2 c]; unset($a[1]); $a[] d; var_dump($a);很多人以为结果是[0 a, 1 d, 2 c]因为“删掉了一个正好补上”。但实际上结果是[0 a, 2 c, 3 d]。原因是哈希表内部维护了一个“最大整数索引 1”的计数器这个计数器不会因为中间某个元素被删除而回退。你删掉 1 号键下次用$a[]追加时它直接取当前最大键 2 再加 1得到 3。这个行为带来一个很典型的连锁反应你向一个数组里不断插入、删除、再追加数字键会越跳越离谱。这时候就需要array_values()出马它会无视原来的键名把所有值重新编成0、1、2……这样的连续索引$a array_values($a); // 结果0 a, 1 c, 2 d数组去重之后为什么普遍要接一个array_values()根子就在这里。记住这条规律只要你看到“数字键乱跳”或者“键变成 3、5、9”先想想是不是中途 unset 过元素。1.3 空数组不是 null判断“有没有内容”要看场景PHP 里[]和null是两个完全不同的东西这本来没什么好说的但实际开发中总有人写出if ($arr)来判断“数组不为空”。空数组转成布尔值是 false这没错可如果$arr本身是 nullif ($arr)同样也是 false两个场景混在一起你根本分不清到底是“没数据”还是“接口没返回”。更稳的写法是分场景处理想知道有没有内容用!empty($arr)它同时覆盖了 null、空数组、空字符串这些“空”的情况想知道它到底是不是一个数组用is_array($arr)想严格判断是不是空数组用$arr []。还有一个 count 的坑PHP 8 之后对非数组类型调用count()会直接抛 TypeError不再是以前的 warning。所以写通用方法时建议先做一次is_array($arr)再 count省得线上 500。2. 创建数组生产线用对了能省一半临时变量2.1 别只会手动拼range、explode、str_split 都是生产力工具手动创建数组谁都会但很多人的写法是$arr [apple, banana]遇到连续的日期、连续的编号、拆分字符串时还在老老实实写循环。其实 PHP 内置了好几个“数组生产线”能帮你把原本五六行的代码压成一行$nums range(1, 10); // [1,2,3,4,5,6,7,8,9,10] $chars range(a, z); // 26 个字母 $fruits explode(,, 苹果,香蕉,橙子); $chunks str_split(hello, 2); // [he,ll,o] $ipParts explode(., 192.168.1.1);下面给大家拆解一下这几个函数的使用场景绝对比你在手册里看干巴巴的语法要清晰range()支持数字和字母还能传步长比如range(0, 100, 10)生成 0、10、20……这在生成日期区间、编号区间时非常方便explode()是把字符串按分隔符拆成数组常用于处理 CSV 行、逗号分隔的标签、IP 地址str_split()是把字符串按固定长度切块比如把一段文本按每两个字符一组拆开处理验证码或编码数据时很有用。需要注意explode()的一个小脾气如果字符串以分隔符结尾结果里会带一个空字符串元素。比如explode(,, a,)得到[a, ]。处理用户输入时记得先rtrim($str, ,)或者最后用array_filter清理掉空元素。另外explode(, $str)是没办法把字符串拆成单个字符的必须用str_split($str)。2.2 批量初始化array_fill 和 array_fill_keys有时候你需要一个“全是默认值”的数组比如提前准备 10 个空分组或者给一组固定的字段初始化空值。用循环当然可以但array_fill和array_fill_keys更直接$buckets array_fill(0, 10, []); // 下标 0-9每个值都是 [] $map array_fill_keys([id, name, age], null); // [id null, name null, age null]array_fill_keys特别适合用来给固定结构“打底”。比如你从前端拿到一个可能缺字段的提交数据想保证后续读取不报“未定义键”可以先这样初始化一遍。这样后面foreach处理时每个键都一定存在代码会干净很多。我个人习惯是在做统计、分组之前先想清楚有哪些固定维度用array_fill_keys把维度都铺好再开始累加避免循环里疯狂写if (!isset($arr[$key]))。2.3 explode 的反向操作 implode数组和字符串互转是高频动作和explode()相对的是implode()它把数组元素用分隔符拼成一个字符串。热搜里“数组转字符串”对应的就是这个函数。业务上最常见的场景是把用户勾选的 ID 列表拼成1,2,3然后塞进 SQL 的 IN 条件里。这里有一个安全细节我必须多说一句直接用implode(,, $ids)拼 SQL如果$ids来自外部输入等于给 SQL 注入开门。正确做法是先做类型过滤$ids array_map(intval, $ids); $in implode(,, $ids);这样每个元素都强制转成整数注入字符串直接变成 0安全性就有保障了。3. 遍历和引用foreach 的真实工作方式3.1 按值、按引用、带键名三种姿势怎么选foreach 是 PHP 遍历数组最常用的手段但它内部并不是“每轮循环从数组里取一个值”这么简单。按值遍历foreach ($arr as $value)时你拿到的 $value 只是数组元素的一个副本循环体里修改 $value 不会改动原数组。按引用遍历foreach ($arr as $value)时$value 是原数组元素的引用修改它会直接反映到原数组。什么时候用引用最典型的就是在循环里批量改值$nums [1, 2, 3]; foreach ($nums as $v) { $v * 2; } unset($v); // $nums 变成 [2, 4, 6]这里有个性能相关的误解很多人觉得按引用一定比按值快因为不用复制。实际上 PHP 数组赋值有写时复制Copy On Write机制按值遍历时如果没有修改数组内部并不会真正复制整个数组。所以不要盲目给 foreach 加引用只有在确实需要修改数组元素时才这么做。加了引用反而会让代码的隐含依赖变强别人接手时更难读懂。3.2 引用遍历之后不 unset($v)它会“阴魂不散”这是 PHP 数组教程里最经典的一个坑没有之一。很多人在循环结束后没有 unset 那个引用变量结果后续代码莫名其妙地把数组最后一个元素改了$arr [1, 2, 3]; foreach ($arr as $v) { $v * 2; } $v 100; print_r($arr); // 输出 [2, 4, 100]最后一个元素被 $v 100 改了原因很简单foreach 结束后引用变量 $v 仍然指向 $arr[2] 的内存位置。这时候你只要再碰 $v就等于直接操作数组的最后一个元素。更隐蔽的是如果之后代码里再写一个foreach ($otherArr as $v)$otherArr 的最后一个元素也会被意外修改而且这个 bug 极难定位。解决办法就一条用完立刻unset($v)斩断引用关系。这是我带项目时要求团队必守的纪律谁不写 unset 谁自己去排查线上事故。3.3 数组内部指针current、next、reset 和 while 的陷阱PHP 数组内部有一根“指针”指向当前正在遍历的元素。相关函数有current()、next()、prev()、end()、reset()。很多人用它们来写 while 循环$arr [5, 4, 3, 2, 1]; reset($arr); while ($item current($arr)) { echo $item; next($arr); }这段代码看起来没问题但如果数组里有一个元素的值是 0、false、或者字符串 “0”循环会在这里提前终止因为current($arr)返回的值在条件判断中被当成“空”处理了。这在处理真实数据时非常危险比如分数列表里恰好有个 0 分。我的建议是能用 foreach 就别用内部指针。foreach 是专门为此设计的迭代器它不受“值为 0 就停止”的影响。内部指针函数更适合处理一些特殊的迭代器返回值或者你确实需要在数组中间停下来分别处理前一段和后一段。日常业务里我基本只在封装解析器时用过current()和next()。4. 排序键名保不保留结果完全不同4.1 sort 会把关联键全丢光asort 才是“原配”排序是数组操作的重灾区因为 PHP 的排序函数实在太多了长得又像。我建议你把下面这张表存下来每次排序之前对照一眼函数排序方向是否保留键名适用场景sort()值升序不保留重建数字索引索引数组排序rsort()值降序不保留重建数字索引索引数组倒序asort()值升序保留键名关联数组按值排序arsort()值降序保留键名关联数组按值倒序ksort()键升序保留键名按键排序krsort()键降序保留键名按键倒序最容易踩的坑就是拿sort()去排关联数组。比如你有一个学生成绩表[zhang 85, li 92, wang 78]sort 完之后直接变成[78, 85, 92]键名全部丢失你再也不知道哪个分数对应哪个学生。关联数组要按值排就用asort()或arsort()这是我见过新手问得最多的问题。4.2 usort 自定义排序比较函数和飞船运算符当排序规则不是简单的升序降序时就要用usort()。它的第二个参数是回调函数回调返回负数表示第一个参数排在前面返回正数表示第二个参数在前面返回 0 表示两者相等。PHP 7 开始提供了飞船运算符比较两个值时返回 -1、0 或 1写排序回调特别简洁$people [ [name 张三, score 85], [name 李四, score 92], [name 王五, score 78], ]; usort($people, fn($a, $b) $a[score] $b[score]); // 按 score 升序想降序就把两个参数调换位置$b[score] $a[score]。这里有个版本相关的细节PHP 8.0 之前 usort 是不稳定排序如果两个元素的排序键相同它们的相对顺序不保证维持原样PHP 8.0 之后是稳定排序了。如果你的逻辑依赖相同键的原有顺序记得确认运行环境的 PHP 版本。4.3 多维数组按字段排usort 和 array_multisort 怎么选处理二维数组时按某个字段排序特别常见。两种主流写法// 写法一usort 闭包适合复杂规则 usort($people, fn($a, $b) $b[score] $a[score]); // 写法二array_multisort适合简单单列排序 array_multisort(array_column($people, score), SORT_DESC, $people);array_multisort的思路是先用array_column把要排的那一列单独抽出来作为排序依据然后按照这一列的顺序去重新排列原始数组。它的好处是能一次指定多个排序列比如先按班级排再按分数排。但要注意它直接修改第一个数组参数并且如果array_column抽出来的列不存在会触发 warning。写法一更灵活复杂比较逻辑都往闭包里塞就行。我个人的选择是只按一个字段排就用usort多字段联动排序才用array_multisort。5. 过滤、映射、归约函数式三板斧的正确位置5.1 array_filter 默认会吃掉 0 和 “0”很多人不知道array_filter的本意是过滤数组元素但如果你不传第二个参数它默认的行为是“删除所有等价于 false 的值”。于是0、0、、null、false全被清理掉了$arr [0, 1, 0, , null, 文本, false, 00]; var_dump(array_filter($arr)); // 结果只剩 [1, 文本, 00]业务上最典型的问题就是你想过滤掉空字符串和 null但想把数字 0 保留下来结果默认行为把 0 也干掉了。这时候必须显式传回调$result array_filter($arr, fn($v) $v ! null $v ! );这样 0 和 “0” 都能保留。还有两个常量值得知道ARRAY_FILTER_USE_KEY可以按键名过滤ARRAY_FILTER_USE_BOTH把键名和值都传给回调。比如你想保留所有键为偶数位的元素用这些 flag 就非常合适。5.2 array_map 传多个数组时短数组自动补 nullarray_map把回调函数应用到数组的每个元素上返回一个新数组。单个数组的场景很简单$nums [1, 2, 3]; $squares array_map(fn($n) $n * $n, $nums);但它也支持同时传多个数组回调会按“同一位置”把多个数组的元素取出来一起处理。这时候有个容易忽略的规则如果两个数组长度不一样短的那个会自动补 null 来对齐$names [张三, 李四]; $ages [20]; $result array_map(fn($name, $age) [$name, $age], $names, $ages); // 第二组里 $age 会是 null如果回调里直接使用$age的属性或方法比如$age-year这里就会报“调用 null 上的方法”这类错误。所以用 array_map 处理多个不等长数组时回调里一定要先做 null 判断或者提前把两个数组用array_pad补齐成一样长。这个问题在拼接口数据时经常出现前端字段没传全后端 array_map 一排就炸。5.3 array_reduce 做汇总起始值决定返回类型array_reduce是“归约”操作它把数组一步步压缩成一个值。这个值可以是数字、字符串也可以是数组。起始值的类型决定了最终返回的类型这是最容易踩的坑$nums [1, 2, 3, 4]; $sum array_reduce($nums, fn($carry, $item) $carry $item, 0); // 结果是 10起始值是整数如果你想用 array_reduce 把二维数组分组起始值必须是一个数组$students [ [class 一班, name 张三], [class 二班, name 李四], [class 一班, name 王五], ]; $grouped array_reduce($students, function ($carry, $item) { $carry[$item[class]][] $item[name]; return $carry; }, []);这里有个新手必犯的错误回调里改了 $carry 之后忘记 return结果下一轮拿到的是 null然后又开始在 null 上追加直接报错。记住这个铁律array_reduce的回调必须返回新 $carry否则整个归约链就断了。6. 去重、合并、取列三个高频操作里藏着的细坑6.1 array_unique 会留下稀疏键热搜词里“数组去重”长期排在前面说明这是大家实际开发中特别常见的需求。但array_unique有一个很多人忽略的细节它只去掉重复的值不会重建键名。$arr [1, 1, 2, 2, a]; $result array_unique($arr); // 默认按 SORT_STRING 比较1 和 1 被认为是同一个 // 结果键并不是连续的可能是 0、2、4默认情况下array_unique用字符串方式比较元素所以数字 1 和字符串 “1” 会被当成重复。这本身可能不是你想要的如果你要做严格比较可以传SORT_REGULAR作为第二个参数。去重之后如果后续逻辑依赖连续数字索引比如 array_merge 或者 JSON 输出记得补一个array_values($result)。这里正是我在前面 1.2 节里讲的“删除元素导致键位缺失”的延续两条坑正好连在一起。6.2 array_merge 和 运算符结果可能完全相反合并数组有两种写法array_merge($a, $b)和$a $b。它们的结果在有相同键名时是相反的很多人用混之后会出大问题。$a [x 1, y 2]; $b [y 3, z 4]; array_merge($a, $b); // [x 1, y 3, z 4]右边的 y 覆盖左边 $a $b; // [x 1, y 2, z 4]左边的 y 保留字符串键是这样数字键更微妙。数字键在array_merge里会被强制重新编号两个索引数组合并就像拼接$n1 [1, 2]; $n2 [3, 4]; array_merge($n1, $n2); // [1, 2, 3, 4] $n1 $n2; // [1, 2]右侧的键 0、1 和左侧冲突直接丢弃所以运算符对于索引数组来说不是“拼接”而是“左边优先的键值联合”。我的实际经验是合并配置数组默认配置和用户配置用array_merge因为用户配置应该覆盖默认值合并两个有各自键名的关联数组时如果希望左侧优先再用。两个语义差别很大写之前花一秒想清楚能省很多调试时间。6.3 array_column array_combine 构建快速查找表从数据库查出来的二维数组经常是一个行集合比如$rows [ [id 1, name 张三], [id 2, name 李四], [id 3, name 王五], ];如果你需要反复根据 id 找 name每次都循环遍历是很浪费的。更高效的做法是把它转换成一个“查找表”$map array_combine( array_column($rows, id), array_column($rows, name) ); // [1 张三, 2 李四, 3 王五]array_column从二维数组中抽出指定的列array_combine把第一个数组当键、第二个数组当值合并成新数组。之后$map[$id] ?? 未知就能直接取名字O(1) 复杂度代码也短。这里有一个必须提前处理的坑array_combine要求两个数组长度一致否则 PHP 8 会抛ValueError8.0 之前的版本返回 false 并产生 warning。所以在调用前建议先判断count($keys) count($values)或者干脆只在从同一批二维数组里array_column出来时使用保证长度天然一致。7. 高频坑位排查键名陷阱、JSON 往返和写时复制7.1 isset 判断键是否存在接不住 null 值判断数组里有没有某个键很多人第一反应是isset($arr[$key])。但 isset 的语义是“键存在且值不为 null”。如果值本身就是 nullisset 会返回 false这可能会漏判$cfg [timeout null]; isset($cfg[timeout]); // false因为值是 null array_key_exists(timeout, $cfg); // true键确实存在什么时候该用哪个我的判断标准很简单如果“键必须存在”是硬性要求比如配置项允许被显式设置为 null那就用array_key_exists如果“值非空才有意义”比如读取某个可选字段那用 isset 反而更顺手因为它把“不存在”和“值为 null”统一处理了。顺带说一个empty的反直觉行为empty(0)的结果是 trueempty(0)也是 true但empty(00)是 false。因为字符串 “0” 转成布尔值是 false而 “00” 是非空字符串转成布尔值是 true。这个特性在处理前端传值比如“用户是否勾选了 0 号选项”时特别害人需要格外小心。7.2 json_encode 输出的是数组还是对象谁说了算热搜词里有“js怎么取出数组”背后往往就是前后端对接时PHP 端 JSON 格式和 JS 端预期不一致。JSON 的“数组”和“对象”在 PHP 里完全由数组的键名决定echo json_encode([1, 2, 3]); // [1,2,3] 索引数组 → JSON 数组 echo json_encode([a 1, b 2]); // {a:1,b:2} 关联数组 → JSON 对象 echo json_encode([]); // [] 空数组默认是数组 echo json_encode((object) []); // {} 转成对象后才是空对象这里有一个隐藏规则如果索引数组的键不连续比如[0 a, 2 b]json_encode 也会把它当成对象输出变成{0:a,2:b}。所以当你用array_unique、unset处理完数组后直接 json_encode前端拿到的可能是个对象而不是数组接口就悄悄“变了形”。空数组的问题也常见。默认情况下空数组[]会编码成 JSON 数组[]但有些后端设计要求“空对象必须返回 {}”这时候可以给 json_encode 传JSON_FORCE_OBJECT或者先转成(object) $arr。反过来json_decode($json, true)的第二个参数 true 决定了把 JSON 对象解析成 PHP 关联数组不传的话会得到一个stdClass对象。前端“取数组”对应的就是 PHP 端“确保输出的是索引连续数组”。7.3 赋值是复制但 PHP 是“写时复制”直接执行$b $aPHP 并不会立刻把整个数组复制一份而是让 $a 和 $b 先指向同一份数据等其中一方被修改时才真正复制。这就是写时复制机制$a [1, 2, 3]; $b $a; $b[] 4; // $a 仍然是 [1,2,3]不受影响这个机制保证了大部分场景下“数组直接赋值 值拷贝”的直觉是成立的。但要注意数组里如果存了对象复制数组结构时对象的引用句柄会被复制对象本身是共享的$obj new stdClass(); $obj-x 1; $a [$obj]; $b $a; $b[0]-x 100; // $a[0]-x 也是 100因为 $a[0] 和 $b[0] 指向同一个对象如果你真的需要两个完全独立、互不影响的数组包括里面嵌套的对象也各自独立那就需要深拷贝比如用serialize()unserialize()或者手动递归复制。业务上大多数场景用不上深拷贝但知道这个边界能避免你把“对象共享”误判成“数组引用 bug”。8. 二维数组实战从查询结果到分组、汇总与递归8.1 把数据库结果变成可操作的结构化数据实际项目里二维数组最常见的形式就是数据库查询结果。PDO 的fetchAll()返回的每一行是关联数组多行合在一起就是二维数组。拿到这种数据后第一个常用操作是抽列$rows [ [id 1, name 张三, class 一班, score 85], [id 2, name 李四, class 二班, score 92], [id 3, name 王五, class 一班, score 78], ]; // 取出所有姓名一列 $names array_column($rows, name);如果只想把某个字段抽出来作为数组的键可以用array_column($rows, name, id)它会返回[1 张三, 2 李四]。这个语法糖比先取两列再 array_combine 更简洁但要注意如果 id 有重复后面的会覆盖前面的。在循环里访问$map[$userId]比每次都遍历整个二维数组效率高得多。8.2 分组和汇总?? 与 array_reduce 的组合二维数组按某个字段分组是数据报表类需求的核心操作。最直观的写法是 foreach 初始化$grouped []; foreach ($rows as $row) { $grouped[$row[class]][] $row[name]; }但很多人写第二遍时会遇到“未定义数组键”的 warning因为第一次遇到某个班级时$grouped[$row[class]]还不存在。PHP 7.4 开始的??运算符可以优雅解决$classTotal []; foreach ($rows as $row) { $classTotal[$row[class]] ?? 0; $classTotal[$row[class]] $row[score]; }如果你想用函数式风格array_reduce也能实现且不用显式的 foreach 循环。不过array_reduce的回调里同样要处理“第一次遇到该键”的情况我会用??给出默认值$classTotal array_reduce($rows, function ($carry, $row) { $carry[$row[class]] ($carry[$row[class]] ?? 0) $row[score]; return $carry; }, []);两种写法的取舍看场景foreach 对新手更友好、调试更方便array_reduce 写法更紧凑但回调里忘了 return 就会立刻翻车。我平时在团队里要求逻辑超过三行的优先 foreach不要为了追求一行流牺牲可读性。8.3 不定深度递归处理父子结构最后说说不定深度的二维数组。典型场景是菜单树、分类树、地区树每个节点可能有 childrenchildren 里可能还有 children。这种结构用递归处理会比写一堆循环清晰得多。比如要遍历一棵树把所有节点的 name 收集成一个一维数组function flattenNames(array $nodes): array { $names []; foreach ($nodes as $node) { $names[] $node[name]; if (!empty($node[children])) { $names array_merge($names, flattenNames($node[children])); } } return $names; } $tree [ [name A, children [ [name A1], [name A2, children [ [name A2-1], ]], ]], [name B], ]; print_r(flattenNames($tree));递归函数的本质是“函数自己调用自己”每次处理一个节点如果它还有子节点就深入一层。使用递归时有三个要点第一一定要有终止条件这里的终止条件就是$node[children]为空第二递归调用别放在无条件的位置否则会无限循环第三递归结果要通过返回值带回来而不是依赖全局变量否则排查起来非常痛苦。上面这个函数里用了array_merge拼接结果在树特别深、节点特别多时会有一定的内存拷贝开销。如果遇到超大菜单树可以改成引用传递或者用 SplStack 迭代式遍历不过这是另一个话题了。我自己写这类功能时的习惯是先用递归把逻辑跑通确认结果正确再回到调用处打印一次完整的返回值确认各层名字都串对了最后再来考虑性能优化别一上来就搞复杂写法。数组这东西初学觉得简单写多了才发现函数一多反而容易乱。我的原则是能直接遍历解决的问题不硬套函数超过两层嵌套先建临时变量再循环凡是可能为空数组的地方开头就写一个 empty 判断。把这些习惯养成了PHP 数组在你手里才算真正趁手。
