PHP 8.5 array_first遇到空数组怎样处理

PHP 8.5 的 array_first() 遇到空数组时返回 null，不会抛出“没有第一个元素”的异常。非空数组则返回按数组插入顺序排列的第一个值，键名不参与返回结果。官方入口：https://www.php.net/。

如果业务只需要“第一项或一个默认值”，可以直接写 array_first($items) ?? $fallback；如果还要区分“数组为空”和“第一项本身就是 null”，就必须保留额外的状态判断。

我在把一段 PHP 8.4 代码迁到 8.5 时遇到的实际问题，就是旧代码先判断数组再取键，新代码改成 array_first() 后，空数组的行为变得更直观，但默认值和兼容版本不能顺手混在一起处理。下面只围绕这个边界展开。

先明确 array_first 的空数组语义

PHP 手册把 array_first() 定义为“取得数组的第一个值”：数组非空时返回第一个值，数组为空时返回 null。它看的是数组的迭代顺序，不要求键从 0 开始，也不会把第一个键一起返回。

因此，下面这个数组即使第一个键是 10，得到的仍然是对应的值 draft：

 'draft',
    20 => 'published',
];

// 非空数组返回按插入顺序出现的第一个值。
$firstState = array_first($states);

// 空数组没有首值，返回 null。
$emptyState = array_first([]);

var_dump($firstState);  // string(5) "draft"
var_dump($emptyState);  // NULL
?>

这里最重要的区别是“首个值”与“首个键”。如果业务需要键，应使用 array_key_first()；如果只需要值，array_first() 就能省掉先取键、再索引数组的中间步骤。

把 null 与业务默认值分开

空数组返回 null，正好可以和 PHP 的 null 合并运算符 ?? 组合。这个写法适合把“没有首项”映射为页面展示值、配置默认值或 DTO 的缺省字段：

但 ?? 只在左侧为 null 时回退，不会把 0、false 或空字符串当成空值。若首个元素是合法的布尔值或数值，使用 ?? 比 ?: 更能保留业务语义。

如果接口需要同时区分“没有元素”和“元素值就是 null”，单靠返回值不够，因为两种输入都会得到 null。这时应先记录输入是否为空，或者让上游接口显式提供是否存在的字段。

兼容旧版本 PHP

array_first() 是 PHP 8.5 新增函数。PHP 8.4 及更早版本不能直接调用它，因此共享代码库可以先用 function_exists() 判断，再提供一个只在旧版本生效的兼容实现。这样升级到 8.5 后仍然使用原生函数，旧运行环境也不会因为函数不存在而在加载阶段失败。

兼容函数的关键不是把数组转成索引数组，而是保留“第一个键对应的值”这一语义。不要用 array_values($array)[0] ?? null 替代所有场景：它会额外创建数组副本，而且当你还关心原键时，信息已经被丢掉了。

按输入边界选择写法

迁移时我最后保留了三种明确的写法，避免所有场景都套一个函数：

这个选择表也对应一个小的安全边界：数组数据是资产，空输入、合法的假值和旧版本运行时是三条不同的风险路径。先明确返回契约，再决定默认值和兼容层，后续日志或审计记录才不会把“没有数据”误报成“数据为 0”。

复查清单：发布前看这几项

• 输入可能为空时，是否接受 null 作为“没有首值”的统一表示？
• 首个值可能是 0、false 或空字符串时，是否使用了 ?? 而不是真假判断？
• 业务是否需要首个键？需要时不要把 array_first() 当成键值对接口。
• 部署环境仍含 PHP 8.4 或更早版本时，是否准备了 function_exists() 保护的兼容实现？
• 如果必须区分空数组和“首个元素就是 null”，是否在返回值之外保留了存在性信息？

常见问题

array_first([]) 会返回什么？

返回 null。这是 PHP 8.5 官方手册定义的空数组行为。

array_first() 会返回第一个键吗？

不会，它只返回第一个值。需要键时使用 array_key_first()。

第一项是 0 时，?? 会使用默认值吗？

不会。?? 只在左侧为 null 时回退，所以 0、false 和空字符串会被保留。

PHP 8.4 能直接使用 array_first() 吗？

不能。可以用 function_exists() 包住兼容实现，内部通过 array_key_first() 找到首键再取值。

为什么不总是用 array_values()[0]？

这种写法会创建新的数组副本，并且丢失原键。只取值时也不如 array_first() 直接表达意图。

我的最终判断是：PHP 8.5 的 array_first() 适合把“首值或没有首值”的契约写得更清楚，空数组返回 null 也方便接入 ??。迁移时只要把真假值、键值需求和旧版本边界分开，代码通常不需要复杂改造。