PHP数组下标规则及自动索引解析

PHP 数组的下标既支持数字（整型），也支持字符串，且不强制连续或从 0 开始；当使用空 [] 或未指定键名添加元素时，PHP 会自动分配下一个可用的整型索引。

数字下标允许不连续、不从 0 开始

PHP 不要求数字键必须连续或从 0 起始。只要键是整数（或可转为整数的字符串，如 "123"），就视为数字下标：

• $arr[5] = 'a'; $arr[100] = 'b'; —— 中间空缺不影响使用
• $arr[-1] = 'x'; $arr[0] = 'y'; —— 负数下标合法，但自动索引不会选负数
• $arr["2"] = 'z'; —— 字符串数字会被隐式转为整型键 2

字符串下标完全自由，区分大小写

字符串键名不受类型或顺序限制，且严格区分大小写：

• $arr["name"] = "Alice"; $arr["Name"] = "Bob"; 是两个独立元素
• $arr["0"] 和 $arr[0] 指向同一位置（因 PHP 类型转换），但 $arr["abc"] 和 $arr["ABC"] 不同
• 空字符串 ""、含空格的字符串（如 " key "）均可作为合法键名

自动索引规则：只看“当前最大整型键”

当用 $arr[] = $value 添加新元素时，PHP 查找数组中已有的**最大整型键**（不含字符串键和负数），然后 +1 作为新键：

• $a = []; $a[] = 'x'; → 键为 0
• $a[9] = 'y'; $a[] = 'z'; → 下一个自动键是 10
• $a[-5] = 'm'; $a["abc"] = 'n'; $a[] = 'o'; → 仍基于最大整型键（比如之前有 3），不是 -5 或字符串
• 若数组无任何整型键（如全是字符串键或为空），则从 0 开始

混合键名常见陷阱与建议

实际开发中容易因自动索引行为产生意外结果：

• 避免混用数字键和 [] 推入：例如 $a[2] = 1; $a[] = 2; 得到 [2=>1, 3=>2]，而非 [0=>1, 1=>2]
• 用 array_values($arr) 重置为连续数字索引（丢弃原键），适合后续遍历或 JSON 输出
• 用 key($arr)、next($arr) 等函数操作内部指针时，注意键名顺序按插入顺序保留，与键值大小无关
• 判断是否存在某键，始终用 isset($arr[$key]) 或 array_key_exists($key, $arr)，不要依赖 empty() 或直接访问

理解这套机制后，就能预判数组增长行为，写出更可控的代码。