PHP数组基于哈希表实现动态扩容：当负载因子≥0.75时，按2的幂次扩容arData并重哈希；zval指针与引用计数保障内存安全；整数/字符串键统一哈希处理；空数组默认容量8，阶梯式翻倍增长；unset仅标记删除，不缩容。
PHP 中的数组本质上是哈希表（HashTable）结构，其设计允许在运行时动态添加元素而无需预先声明长度。以下是该机制的核心实现原理与关键环节：
一、哈希表底层结构支持动态扩容
PHP 数组并非传统 C 语言中的连续内存块，而是基于 HashTable 实现的键值容器。每个 HashTable 包含一个数据桶数组（arData）、容量（nTableSize）和已用数量（nNumOfElements）。当插入新元素导致负载因子超过阈值（默认为 0.75）时，系统自动触发扩容流程。
1、检查当前 arData 的已用槽位数与总槽数之比是否大于或等于 0.75。
2、若触发条件成立，则计算新的 nTableSize 值：向上取最接近的 2 的幂次（如原为 8，则扩为 16；原为 16，则扩为 32）。
立即学习“PHP免费学习笔记（深入）”；
3、分配一块大小为新 nTableSize 的 arData 内存区域。
4、将原有所有有效元素通过重新哈希（rehash）计算新索引位置，并复制到新 arData 中。
二、zval 与引用计数保障内存安全扩展
PHP 数组中存储的是 zval 结构体指针，而非原始数据副本。每个 zval 包含类型、值、refcount__gc 和 is_ref__gc 字段。动态扩展过程中，仅复制指针并更新 refcount，避免深拷贝开销，同时确保多处引用同一变量时不会误释放内存。
1、向数组追加新元素时，PHP 分配一个新的 zval 并初始化其 refcount__gc 为 1。
2、若该 zval 已被其他变量引用，则 refcount__gc 自增，原内存地址保持不变。
3、扩容期间遍历旧 arData，对每个非空 zval 指针执行 refcount__gc 加 1 操作。
4、旧 arData 释放前，对其所有 zval 执行 refcount__gc 减 1，仅当 refcount__gc 降为 0 时才真正释放对应值内存。
三、整数索引与字符串索引统一处理机制
PHP 数组同时支持数字下标与字符串键名，内部通过统一的 hash 函数（DJBX33A 变种）将键转换为无符号整型哈希值，并映射至 arData 索引。该机制屏蔽了键类型的差异，使任意类型键均可参与扩容逻辑，不依赖固定长度约束。
1、对于整数键（如 $arr[123]），直接以其绝对值作为哈希种子参与运算。
2、对于字符串键（如 $arr["name"]），调用 zend_string_hash_val() 获取预计算哈希值。
3、所有哈希结果对当前 nTableSize 取模，得到目标 arData 下标。
4、发生哈希冲突时，使用开放寻址法（线性探测）寻找下一个可用槽位，扩容后重新分布所有键以降低冲突率。
四、预分配策略减少频繁重分配
为避免小数组高频扩容带来的性能损耗，PHP 在创建空数组或小规模数组时采用阶梯式初始容量。例如：空数组默认 nTableSize = 8；当首次插入第 9 个元素时才扩容至 16；后续按 16→32→64→128…翻倍增长。此策略平衡了内存占用与时间复杂度。
1、调用 array_init() 创建数组时，初始化 nTableSize = 8，nNumOfElements = 0。
2、每次插入操作后检查 nNumOfElements + 1 > nTableSize × 0.75 是否成立。
3、若成立且 nTableSize
4、扩容完成后重置 nInternalPointer 为 0，保证 foreach 遍历行为一致性。
五、unset 操作引发的缩容抑制机制
尽管 PHP 数组支持无限增长，但删除元素（unset）并不会立即触发缩容。系统仅标记对应 arData 槽位为空（设置 bucket->key = NULL），保留原有容量。仅当显式调用 array_values() 或进行序列化/反序列化等强制重建操作时，才可能产生紧凑数组。这种设计避免了反复增删导致的抖动效应。
1、执行 unset($arr[$key]) 时，定位对应 bucket 并将其 key 字段置为 NULL。
2、nNumOfElements 计数器减 1，但 nTableSize 和 arData 内存尺寸维持不变。
3、后续插入新元素优先复用已标记为空的 bucket，而非直接扩容。
4、若需物理收缩数组，可手动调用 $arr = array_values($arr)，触发全新 HashTable 构建流程。
