判断PHP数组下标是否连续需检查键是否为从0开始的逐个递增整数序列，可靠方法是array_keys($arr) === range(0, count($arr) - 1)，空数组视为连续，含非整数键或起始不为0则不连续。
怎么判断 PHP 数组下标是否连续
PHP 数组下标是否连续，不能只看 print_r() 输出的顺序——它可能只是“看起来连续”，实际键值有断层。关键得检查键（key）本身是不是从 0 开始、逐个递增的整数序列。
最直接可靠的方式是：提取所有键，再跟 range(0, count($arr) - 1) 对比。
function isSequential($arr) {
if (!is_array($arr)) return false;
$keys = array_keys($arr);
return $keys === range(0, count($arr) - 1);
}-
array_keys()拿出所有键，保留原始顺序 -
range(0, count($arr) - 1)生成理论上的连续键数组 - 用
===全等比较，确保键类型（必须是 int）、顺序、值完全一致 - 注意：空数组
[]会被判定为连续（range(0, -1)返回空数组，对比成立）
为什么 array_values() + array_keys() 不够用
有人会想：先 array_values($arr) 重置索引，再和原数组比键？这逻辑错在混淆了“值重排”和“原键检测”。array_values() 本身就会强制生成连续下标，失去原始键信息，完全无法反映原始数组是否连续。
- 例如：
$arr = [2 => 'a', 3 => 'b']，下标2,3不是从0开始，不连续；但array_values($arr)得到[0=>'a', 1=>'b']，毫无参考价值 -
array_keys($arr) === array_keys(array_values($arr))这种写法永远返回true，因为右边的array_keys()总是[0,1,2...] - 真正要对比的是原始键 vs 理论连续键，不是键 vs 重排后的键
关联数组或含字符串键时的常见误判
只要数组中存在非整数键（如 'id'、1.5、null），或者整数键没从 0 起始（如 [1=>'a', 2=>'b']），就一定不连续。PHP 不会自动把字符串键转成整数来“凑连续”。
立即学习“PHP免费学习笔记（深入）”；
-
is_numeric()或filter_var($k, FILTER_VALIDATE_INT)单独检查每个键，不能代替整体序列判断 - 即使所有键都是整数，也要验证是否恰好是
0,1,2,...,n-1，缺一不可 - 使用
ksort($arr, SORT_NUMERIC)再比键也没用——排序后键顺序变了，但原始断层还在，且ksort会改变原数组，副作用明显
性能与边界情况提醒
对超大数组（比如几万项），array_keys() + range() 会额外分配内存，但这是目前语义最清晰、无歧义的做法。如果只关心“是否能安全用 for 循环遍历”，其实只需确认 isset($arr[0]) && isset($arr[count($arr)-1]) 并不够——中间可能缺失。
- 极端情况：
[0=>1, 1=>2, 3=>4]—— 首尾存在，但2缺失，不连续 - 稀疏数组（如
[0=>1, 1000=>2]）用range()会生成 1001 个元素，内存暴涨，此时应改用循环检测：for ($i = 0; $i - 注意
count()对引用数组或对象数组行为正常，但若数组被外部修改，结果可能不一致
连续性本质是键的完整性，不是数据排列或输出顺序。别被 foreach 的遍历表现迷惑——它总是按插入顺序或键顺序走，和“是否连续”无关。
