PHP数组下标分数字索引和字符串键名两类：数字索引自动递增，基于当前最大数字键；字符串键名显式指定且可覆盖；混合使用互不干扰；可用array_keys()与max()获取最大数字键；array_values()可重置为连续整数索引；检测键存在需区分类型。
PHP 中的数组下标决定了元素在数组中的位置或标识方式，它分为数字索引（自增整数）和字符串键名（关联）两种基本类型。理解其生成规则与行为差异，是正确操作数组的关键。以下是关于 PHP 数组下标机制的具体说明：
一、数字索引数组的自动递增规则
当使用空方括号 [] 或未显式指定键名添加元素时，PHP 会为该元素分配一个整数键，该键基于当前最大数字键自动递增得出；若数组为空，则从 0 开始。
1、创建空数组：$arr = [];
2、依次追加元素：$arr[] = 'a'; $arr[] = 'b'; $arr[] = 'c';
立即学习“PHP免费学习笔记（深入）”；
3、此时数组等价于：[0 => 'a', 1 => 'b', 2 => 'c']
4、若手动插入带键值的项如 $arr[5] = 'x';，后续 [] 追加将从 6 开始计数，而非延续原序列。
二、关联数组键名的显式指定与覆盖行为
关联数组通过字符串或整数作为键名显式定义，PHP 不对其进行自动排序或重排，且相同键名的赋值会直接覆盖前值。
1、声明含字符串键的数组：$arr = ['name' => 'Alice', 'age' => 30];
2、新增键值对：$arr['city'] = 'Beijing';
3、重复赋值同名键：$arr['age'] = 31; 将覆盖原有 30
4、混合使用数字与字符串键时，数字键仍遵循自身递增逻辑，但不干扰字符串键的独立性，例如：['a' => 1, 0 => 2, 'b' => 3] 是合法结构。
三、获取当前最大数字键并控制下标起始值
可通过 array_keys() 提取全部键名后筛选整型键，再用 max() 获取最大数字下标，从而预判下一次 [] 插入的位置。
1、提取所有键：$keys = array_keys($arr);
2、过滤出整数键：$intKeys = array_filter($keys, 'is_int');
3、获取最大整数键（若存在）：$maxIntKey = !empty($intKeys) ? max($intKeys) : -1;
4、手动设置下一个下标：$arr[$maxIntKey + 1] = 'new_item';
四、重置数字索引以实现连续整数键
当数组经多次删除或非顺序插入后，数字键可能出现空缺或错乱，可使用 array_values() 仅保留值并重排为从 0 开始的连续整数索引。
1、现有数组含空缺键：$arr = [0 => 'a', 2 => 'c', 5 => 'f'];
2、执行重排：$arr = array_values($arr);
3、结果变为：[0 => 'a', 1 => 'c', 2 => 'f']
4、注意：此操作会丢弃所有原始字符串键，仅保留值的顺序关系。
五、检测键是否存在及区分数字键与字符串键
使用 isset() 或 array_key_exists() 可判断某键是否存在于数组中；而 is_numeric() 与 is_string() 可辅助识别键的数据类型，避免因类型隐式转换导致误判。
1、检查键存在性：if (array_key_exists('name', $arr)) { ... }
2、区分键类型：$key = key($arr); if (is_string($key)) { ... } elseif (is_int($key)) { ... }
3、特别注意：isset($arr[0]) 在键为字符串 '0' 时返回 false，因其实际查找的是整数键 0，而非字符串键 '0'。
