用 $arr === array_values($arr) 可准确判断索引数组，因仅当键为从0开始的连续整数时两者才全等；该方法简洁高效、类型安全，且对空数组返回true。

怎么用 array_values() 判断是否为索引数组

PHP 本身没有内置函数直接判断“索引数组”，因为 PHP 的数组本质是有序哈希表，所谓“索引数组”只是键为连续整数（从 0 开始）的特例。最稳妥的方式是比对原数组和 array_values($arr) 是否完全一致：
如果 $arr === array_values($arr) 成立，说明它既是纯数值键、又从 0 连续递增，符合典型索引数组定义。

• 注意必须用全等 ===，避免类型转换干扰（比如 [0=>'a',1=>'b'] 和 ['a','b'] 在 == 下可能误判）
• 该方法对空数组 [] 返回 true，符合预期
• 一旦存在字符串键（如 ['a'=>'x']）、非连续键（如 [1=>'x',2=>'y']）或负数键（如 [-1=>'z']），结果必为 false

为什么 is_numeric(key) + ksort() 不可靠

有人尝试遍历键并检查是否全为数字、再排序后验证是否从 0 开始——这种逻辑看似合理，但实际容易出错：

• ksort() 会改变原数组顺序，副作用明显；若需保留原始结构，就得先 array_keys() 复制再处理
• 整数字符串键（如 ['0'=>'a','1'=>'b']）会被 is_numeric() 判为真，但它不是索引数组（键是字符串）
• 即使所有键都是整数，若不连续（[0=>'a',2=>'b']），仍不符合索引数组语义
• 性能上，遍历 + 排序 + 再遍历，远不如一次 array_values() + 全等判断高效

array_keys() 配合 range() 的边界情况

另一种常见写法是：array_keys($arr) === range(0, count($arr)-1)。它在大多数情况下有效，但要注意：

• 当数组非常大时，range() 会生成一个新数组，内存开销显著，而 array_values() 方案只做一次数组重建
• 对 count 为 0 或 1 的数组能正确处理，但若数组有 100 万个元素，range(0,999999) 就会触发内存警告
• 该写法无法区分键类型：若键是整型 0,1,2，没问题；但若键是字符串 '0','1','2'，array_keys() 返回的是字符串数组，而 range() 返回整数数组，比较结果恒为 false（这反而是优点，能规避字符串键误判）

实际项目中建议封装成函数并缓存判断结果

如果你在循环里高频调用这类判断（比如序列化前预检），别每次都重新计算。可以封装并加一层简单缓存：

function isIndexedArray($arr) {
    static $cache = [];
    $key = spl_object_hash($arr) ?: md5(serialize($arr));
    if (isset($cache[$key])) return $cache[$key];
    $result = $arr === array_values($arr);
    $cache[$key] = $result;
    return $result;
}

不过要注意：spl_object_h

ash() 对非对象无效，所以 fallback 用了 md5(serialize())——这对小数组可行，但大数组序列化成本高。更稳妥的做法是仅对已知生命周期短、复用率低的场景直接用 $arr === array_values($arr)，不缓存。

真正容易被忽略的是：PHP 数组键的类型隐式转换。比如 json_decode('{"0":"a","1":"b"}', true) 得到的数组，键其实是字符串，不是整数——这种“看起来像索引数组”的结构，array_values() 判断会如实返回 false，不能跳过类型校验。