如何在PHP中检查数组是否连续？array_is_list()的判断方法

星夢妙者

发布时间：2025-08-28 16:21:01

568人浏览过

来源于php中文网

原创

PHP 8.1引入array_is_list()函数，用于判断数组键是否为从0开始的连续整数，空数组视为列表，非连续或非整数键则不是，此前版本需手动遍历判断。

如何在php中检查数组是否连续？array_is_list()的判断方法

在PHP中，要检查一个数组是否是“连续”的列表，即其键是否为从0开始的连续整数（0, 1, 2...），最直接且推荐的方法是使用PHP 8.1引入的

array_is_list()

函数。这个函数能够快速、准确地判断一个数组是否符合这种列表结构，对于老版本PHP，则需要通过遍历键来手动判断。

解决方案

PHP 8.1及更高版本提供了一个非常方便的内置函数

array_is_list()

，它专门用来解决这个问题。这个函数的设计初衷，就是为了明确区分“列表”（list-like array）和“关联数组”（associative array），这在很多场景下，尤其是在与JSON等数据格式交互时，显得尤为重要。

array_is_list()

的判断逻辑很简单：如果一个数组的键是0到

count($array) - 1

的连续整数，那么它就被认为是列表。这意味着：

空数组
```
[]
```
被认为是列表。
只有整数键，且从0开始，没有跳过任何数字的数组是列表。
包含非整数键的数组，或者整数键不是从0开始，或者中间有跳跃的数组，都不是列表。

我们来看几个例子：

立即学习“PHP免费学习笔记（深入）”；

 'red', 1 => 'green', 2 => 'blue'];
var_dump(array_is_list($listArray2)); // 输出: bool(true)

// 空数组被认为是列表
$emptyArray = [];
var_dump(array_is_list($emptyArray)); // 输出: bool(true)

// 键不是从0开始，即使是连续的，也不是列表
$notListArray1 = [1 => 'first', 2 => 'second'];
var_dump(array_is_list($notListArray1)); // 输出: bool(false)

// 键中间有跳跃，也不是列表
$notListArray2 = [0 => 'itemA', 2 => 'itemC'];
var_dump(array_is_list($notListArray2)); // 输出: bool(false)

// 包含非整数键的数组，肯定不是列表
$assocArray = ['name' => 'Alice', 'age' => 30];
var_dump(array_is_list($assocArray)); // 输出: bool(false)

// PHP在创建数组时会自动分配连续的数字键，所以这个也是列表
$mixedCreation = [0 => 'value0', 'value1', 2 => 'value2'];
var_dump(array_is_list($mixedCreation)); // 输出: bool(true)
// 内部其实是 [0 => 'value0', 1 => 'value1', 2 => 'value2']
?>

array_is_list()

的引入，极大地简化了代码，并且提升了代码的意图清晰度。在处理数据时，尤其是需要严格区分数组类型（是序列还是映射）的场景，它简直是神来之笔。

PHP 8.1之前，如何判断数组是否为连续列表？

在PHP 8.1之前，由于没有

array_is_list()

这个函数，我们不得不自己动手实现类似的逻辑。说实话，这在过去是很多开发者都会遇到的一个痛点，因为判断逻辑看似简单，但要写得健壮且高效，还是需要一些思考的。

通常，我们会编写一个辅助函数来完成这项任务。核心思路是遍历数组的键，检查它们是否从0开始，并且是连续递增的。

以下是一个在PHP 8.1之前可以使用的判断函数：

Zeemo AI

一款专业的视频字幕制作和视频处理工具

下载

 $value) {
        // 检查当前键是否与预期键匹配
        // 如果键不是整数，或者不等于预期值，那么它就不是一个列表
        if ($key !== $expectedKey) {
            return false;
        }
        $expectedKey++; // 预期下一个键递增
    }
    return true; // 所有键都符合预期
}

// 测试一下这个函数
var_dump(is_list_pre_php81(['apple', 'banana']));        // true
var_dump(is_list_pre_php81([0 => 'red', 1 => 'green'])); // true
var_dump(is_list_pre_php81([1 => 'first', 2 => 'second'])); // false (键不是从0开始)
var_dump(is_list_pre_php81(['name' => 'Alice']));         // false (非整数键)
var_dump(is_list_pre_php81([]));                           // true
var_dump(is_list_pre_php81([0 => 'a', 2 => 'c']));         // false (键不连续)
?>

这个

is_list_pre_php81

函数通过一个简单的循环就实现了目标。它维护一个

$expectedKey

变量，每次循环都与当前数组元素的键进行比较。如果发现不匹配，就立刻判断为非列表并返回

false

。这种手动检查的方法虽然有效，但相比于PHP 8.1的内置函数，它在性能上可能会有细微的差距，因为内置函数通常在底层C语言层面实现，效率更高。不过，对于大多数应用场景来说，这种性能差异通常可以忽略不计，除非你处理的是极其庞大的数组集合。

为什么区分“列表”和“关联数组”在PHP中很重要？

在PHP中，数组的灵活性是其一大特色，它既可以作为有序的列表（索引数组），也可以作为键值对的映射（关联数组）。但这种灵活性有时也会带来一些模糊性，尤其是在数据交换和API设计中。明确区分“列表”和“关联数组”至关重要，这主要体现在以下几个方面：

数据意图和可读性： 当你看到一个数组被明确地判断为列表时，你自然会期望它的元素是有序的，并且可以通过数字索引进行访问，这通常代表着一个集合或序列。而关联数组则代表着一个对象的属性或一个映射表。这种区分让代码的意图更加清晰，提高了可读性和可维护性。
JSON编码/解码行为： 这是最实际也是最容易出错的地方。
```
json_encode()
```
函数在处理PHP数组时，会根据其键的结构来决定输出JSON数组
```
[]
```
还是JSON对象
```
{}
```
。
- 如果PHP数组被认为是列表（即键是0到
```
count-1
```
  的连续整数），
```
json_encode()
```
  会将其编码为JSON数组，例如
```
['a', 'b']
```
  会变成
```
["a", "b"]
```
  。
- 如果PHP数组不是列表（哪怕只是键不从0开始或有跳跃），
```
json_encode()
```
  就会将其编码为JSON对象，例如
```
[1 => 'a', 2 => 'b']
```
  会变成
```
{ "1": "a", "2": "b" }
```
  。很多前端框架或API接口都严格要求接收JSON数组或JSON对象，如果后端PHP因为数组结构问题导致编码类型不符，就会引发解析错误。
```
array_is_list()
```
  的出现，正是为了让开发者能够更精确地控制和预测
```
json_encode()
```
  的行为。
性能和内存优化（内部实现）： 虽然对于PHP开发者来说，数组的内部实现通常是透明的，但实际上，PHP引擎在处理纯粹的列表和关联数组时，可能会采用不同的内存布局和查找优化策略。明确的列表结构可能允许更紧凑的存储和更快的索引访问。
框架和库的约定： 许多PHP框架和第三方库在处理数据集合时，会根据数组是列表还是关联数组做出不同的处理。例如，ORM可能会将列表视为多条记录的集合，而将关联数组视为单条记录的属性。明确的判断有助于遵守这些约定，避免不必要的bug。

我个人在调试一些与前端或外部API交互的系统时，就经常遇到因为PHP数组的“列表性”判断不准，导致

json_encode

输出结构不对，进而引发前端JS报错或者API接口返回500的情况。

array_is_list()

的出现，无疑是解决这类“隐性”问题的一剂良药，它把这种模糊性变成了明确的判断，让开发者能更好地掌控数据流。

array_is_list()

和

is_array()

有何不同？以及其他相关数组判断函数。

在PHP中，关于数组的判断函数有很多，它们各有侧重，解决的问题也不同。理解它们之间的差异对于编写健壮的代码至关重要。

```
is_array()
```
这是最基础的数组判断函数。它的作用非常简单粗暴：检查一个变量是否是
array
类型。它不关心数组里面有什么，也不关心键是什么类型，只要变量本身是一个数组，就返回
```
true
```
。
```
var_dump(is_array([1, 2, 3]));          // true
var_dump(is_array(['name' => 'Alice'])); // true
var_dump(is_array(new ArrayObject()));  // false (这是一个对象，不是原生数组)
var_dump(is_array('hello'));           // false
```
所以，
```
is_array()
```
是一个类型检查函数，它告诉你“这是一个数组吗？”。

array_is_list()

如我们之前详细讨论的，

array_is_list()

是一个更具体的判断函数。它在

is_array()

的基础上，进一步检查数组的键是否为从0开始的连续整数。换句话说，如果

array_is_list($arr)

true

，那么

is_array($arr)

也必然返回

true

。但反之则不然。

array_is_list()

回答的是“这个数组是一个纯粹的、0-indexed的列表吗？”。

$arr1 = [0 => 'a', 1 => 'b'];
var_dump(is_array($arr1));      // true
var_dump(array_is_list($arr1)); // true

$arr2 = [1 => 'a', 2 => 'b'];
var_dump(is_array($arr2));      // true
var_dump(array_is_list($arr2)); // false (键不从0开始)

其他相关数组判断函数
- empty()
  : 这是一个通用的检查函数，判断一个变量是否被认为是“空的”。对于数组来说，如果它不包含任何元素（即
```
count($arr)
```
  为0），
```
empty($arr)
```
  就会返回
```
true
```
  。值得注意的是，空数组
```
[]
```
  既是
```
is_array()
```
  为
```
true
```
  ，也是
```
array_is_list()
```
  为
```
true
```
  ，同时
```
empty()
```
  也为
```
true
```
  。
- isset()
  : 检查变量是否已设置且不为
```
null
```
  。对于数组元素，
```
isset($arr['key'])
```
  会检查该键是否存在且其值不为
```
null
```
  。它不关心数组的整体结构，只关心特定键的存在性和值。
- array_key_exists()
  : 专门用于检查数组中是否存在某个键，无论该键对应的值是否为
```
null
```
  。这与
```
isset()
```
  有所不同，
```
isset()
```
  会因为值为
```
null
```
  而返回
```
false
```
  ，但
```
array_key_exists()
```
  仍然会返回
```
true
```
  。
- count()
  /
  sizeof()
  : 这两个函数是别名，都用于获取数组中元素的数量。它们本身不判断数组结构，但其返回值在判断数组是否为空，或与键的范围结合判断列表结构时非常有用。
- array_keys()
  : 返回数组的所有键。你可以获取这些键，然后自己遍历它们来做更复杂的判断，比如检查键是否都是字符串，或者都是某个范围内的数字。当然，对于判断列表，
```
array_is_list()
```
  是更优解。