PHP array_is_list 怎样判断连续整数键数组

PHP 的 array_is_list 判断的是：数组当前迭代顺序中的键，是否依次为从0开始、没有缺口的整数。它不检查值是不是整数，也不要求所有值类型相同；空数组同样返回 true。

官方函数说明：https://www.php.net/manual/en/function.array-is-list.php。该函数从 PHP 8.1.0 起提供，是服务端 PHP 能力，与浏览器支持情况无关。

我会先看键，而不是元素内容

如果我要给接口参数加一个“必须是列表”的限制，我会先明确这句话指的是键结构，还是值的业务格式。我不愿把两件事压缩成一个布尔判断：列表里可以有 null、字符串或嵌套数组，键符合规则就可以通过 array_is_list；至于字段是否完整，还要另外处理。这里表达的是设计取舍，并非声称我已经在某个线上项目测试过。

PHP 数组本质上是有序映射，因此“拥有0和1这两个键”还不够，迭代位置也必须对应。把图里的三个关系分开看：输入数组包含当前键序列与元素值，列表条件约束当前键序列，而不是约束元素值；布尔判定只报告结构是否满足条件。

连续整数键还必须按顺序排列

下面是本次原创的独立示例，适用于 PHP 8.1及以上。代码没有在本文环境中执行，表格给出依据语言规则推导的期望值，不是实测输出。

 [],
    'mixed_values' => [null, ['label' => 'demo'], false],
    'starts_at_one' => [1 => 'north', 2 => 'south'],
    'gap' => [0 => 'north', 3 => 'south'],
    'different_order' => [1 => 'north', 0 => 'south'],
    'numeric_text' => ['0' => 'north', '1' => 'south'],
    'padded_text' => ['00' => 'north'],
];
foreach ($cases as $label => $items) {
    // 显式打印布尔文本，避免 false 被当成空字符串看漏。
    echo $label, ': ', array_is_list($items) ? 'true' : 'false', PHP_EOL;
}

我觉得最容易误读的是 numeric_text：判断时看到的是已经构造好的数组，不是源码里有没有引号。PHP 会把符合整数键转换规则的十进制整数字符串转换成整数键；带前导零的形式不能据此一概视作整数键。键转换与有序映射规则见官方数组说明：https://www.php.net/manual/en/language.types.array.php。

同理，两个不同书写形式若转换后成为同一键，后写的值可能覆盖前值。array_is_list 只能观察最终数组，无法还原调用方最初输入的键写法，也不能发现已经被覆盖的数据。

旧版本可以怎样保留相同语义

如果项目还没有统一到 PHP 8.1，我倾向于把兼容逻辑放进一个项目级函数：存在原生函数就使用它，不存在时逐项比较实际键与期望键。不在整个项目里重定义全局同名函数，也不先排序输入。

 $unusedValue) {
        // 严格比较同时约束整数类型、起点与当前迭代位置。
        if ($actualKey !== $expectedKey) {
            return false;
        }
        ++$expectedKey;
    }
    // 空数组没有不匹配项，因此也满足列表条件。
    return true;
}

兼容分支中，输入数组提供实际键，期望键从0开始；严格比较决定布尔结果，空输入自然没有不匹配项。这是对键规则的直接实现。最坏情况下需要检查全部键，但没有为比较额外构造键数组或 range 数组；这不是任何特定 PHP 版本下的性能实测结论。

判定与重排不要混成一个操作

如果任务是拒绝键结构不合规的输入，我会保留原数组并直接判断。若先调用 array_values 再判断，就已经把原键丢掉，检查的变成新数组，而不是原始结构。只有业务明确要求“保留值、重新按位置编号”时，我才会采用这个转换。

array_values 返回包含原数组所有值并使用数字索引的新数组；它不等于按旧键排序。例如迭代顺序为键1、键0时，重新编号保留的是原来值的先后顺序，而不是把旧键0对应的值移到最前。官方说明：https://www.php.net/manual/en/function.array-values.php。

空数组通过后，还需要检查数量吗？

需要，若业务要求至少一个元素。列表结构与非空约束是两个独立条件，空数组返回 true 并不代表它满足业务最低数量。

嵌套数组会被一起检查吗？

不会自动递归。外层键连续，并不能证明每个内层数组也是列表。需要逐层约束时，应另外定义每层格式。

可以直接传对象或字符串吗？

函数参数要求 array；不要把非数组当作一个普通的 false 结果。对不确定来源的输入，我会先用 is_array 区分类型，再决定是否调用列表判定。

我的取舍是：需要表达“当前数组是列表”时，优先用原生 array_is_list；需要改变编号时才使用 array_values。分清判定和转换，比把所有数组都整理成看似整齐的形状更重要。