PHP array_is_list 对空数组返回什么

在 PHP 里，array_is_list() 对空数组返回 true。这不是把空数组当成了“特殊例外”，而是因为 list 的定义是：键按顺序从 0 到 count($array) - 1，空数组没有任何键，也就没有违反起点、连续性和顺序这三个条件。

官方地址：https://www.php.net/array-is-list

结论很明确：var_dump(array_is_list([])); 会输出 bool(true)。如果业务把空集合视为“没有数据”而不是“合法列表”，需要在调用前额外判断 $array !== []。

先用最小例子确认空数组结果

函数接收一个数组并返回布尔值。下面把空数组、一个元素的列表和关联数组放在一起，便于区分“为空”和“是不是 list”这两个概念。

 'php']));

// 如果业务要求至少有一项，再单独加入非空条件
$items = [];
$usableList = $items !== [] && array_is_list($items);
var_dump($usableList);
?>

前三次判断的结果依次是 true、true、false；最后一次是 false，原因不是它不是 list，而是业务条件明确排除了空集合。这个区分很重要：数据结构判断和业务数量校验应该分开写。

array_is_list 的 list 定义其实允许空集合

PHP RFC 将 list 描述为键为 0 .. count($array)-1 且顺序正确的数组。对 [] 来说，count($array) 是 0，检查范围为空，函数自然返回 true。这与“空集合是某种集合”的数学直觉一致，也方便 JSON、序列化器和接口层统一处理空列表。

不要用下面这种简化逻辑替代原生函数：

问题在于 range(0, -1) 并不表达“没有期望键”。如果项目必须兼容 PHP 8.1 以前的版本，应明确处理空数组，或使用逐项比较的实现，而不是依赖这个隐含边界。

这些边界会改变 list 判断结果

判断 list 时只看键，不看值是不是字符串、对象或空值。下面这张图把常见输入放在同一张结构图里，排查时优先看四件事：是否从 0 起步、是否有空洞、是否按升序排列、是否混入字符串键。

例如 array_filter() 过滤列表后可能留下键空洞，后续若要把它作为 JSON 数组或接口列表传出，可先调用 array_values() 重排键，再调用 array_is_list() 做边界确认。重排键会改变键结构，但不会改变元素值。

旧版本 PHP 的兼容判断怎么写

array_is_list() 从 PHP 8.1 开始提供。需要支持旧运行环境时，可以只在函数不存在时声明兼容实现：

 $_value) {
            // 每次只接受当前期望的整数键，空数组会自然返回 true
            if ($key !== $expectedKey) {
                return false;
            }
            $expectedKey++;
        }
        return true;
    }
}
?>

这段实现没有创建额外的键数组，且把空数组当作合法 list。若项目的接口契约要求“非空列表”，仍然要在业务入口写清楚数量约束：

常见问题

空数组和 null 的判断结果一样吗？

不一样。空数组会返回 true；null 不是数组，传给这个函数会触发 TypeError。先用类型声明或 is_array() 处理输入边界。

array_is_list 会检查数组的值吗？

不会，它只关心键的起点、顺序和连续性。值为 null 或重复内容，不会单独导致 list 判断失败。

为什么 JSON 输出有时是对象而不是数组？

PHP 数组包含非连续或字符串键时，序列化结果可能表现为 JSON 对象。需要列表形态时，先整理键，再用 array_is_list() 确认结构。

因此，遇到“PHP array_is_list 对空数组返回什么”的问题，可以记住一句话：空数组在结构上是合法 list；是否允许它参与业务流程，是另一层需要显式表达的规则。