PHP数组底层是Zend引擎的HashTable哈希表，含arData桶数组、nTableMask掩码等字段；采用DJBX33A哈希与链地址法处理冲突；支持packed array优化、动态扩容及双向链表维持插入顺序。
PHP数组在底层并非传统意义上的数组，而是一种高度优化的哈希表结构，兼具顺序访问与键值映射能力。其核心实现依赖于Zend引擎中的HashTable数据结构。以下是对其底层机制的关键解析：
一、HashTable结构体组成
PHP数组底层对应Zend HashTable结构，该结构包含多个关键字段：桶数组（arData）、哈希掩码（nTableMask）、元素数量（nNumOfElements）、容量（nTableSize）以及指向下一个空闲桶的指针（pDestructor）。其中arData并非简单指针，而是指向连续内存块起始位置，每个桶（Bucket）存储key、value、hash值及指向下一个同哈希桶的指针（用于解决哈希冲突）。
1、Bucket结构体中，key字段在PHP 7+中分为两种形式：字符串key保存在key.ptr中，整数key直接存入key.ht。
2、nTableMask用于快速计算哈希桶索引，其值恒为nTableSize减一，且nTableSize始终为2的幂次，确保位运算替代取模操作。
立即学习“PHP免费学习笔记（深入）”；
3、当插入新元素时，引擎先计算key的DJBX33A哈希值，再与nTableMask做按位与运算，得到初始桶位置。
二、哈希冲突处理机制
当不同key经哈希后落入同一桶位置时，HashTable采用链地址法处理冲突。每个Bucket内含u2.next字段，指向同一哈希槽位下的下一个Bucket，形成单向链表。该链表头存储在arData数组对应索引处，后续节点通过next字段链接。
1、插入冲突key时，新Bucket被置于链表头部，即nNextFreeElement不参与冲突链表构建，仅用于数值索引分配。
2、查找时，引擎先定位桶首地址，再遍历链表比对key的哈希值与实际内容，避免哈希碰撞误判。
3、PHP 7引入了packed array优化：当数组仅含连续整数键且从0开始时，跳过哈希计算，直接使用索引访问arData，此时u2.next字段复用为prev指针以支持双向链表特性。
三、内存布局与扩容策略
HashTable内存由emalloc动态分配，arData指向一块连续区域，其大小为nTableSize × sizeof(Bucket)。当nNumOfElements超过nTableSize × 0.75（即装载因子阈值）时触发扩容，新nTableSize设为原值两倍，nTableMask同步更新，所有现有Bucket重新哈希填入新空间。
1、扩容过程需遍历全部有效Bucket，对每个key重新计算哈希并插入新表，此操作时间复杂度为O(n)，是数组写入的潜在性能瓶颈。
2、删除元素时仅将对应Bucket的key.ptr置为NULL，并设置bucket.u1.v.val = IS_UNDEF，不立即收缩内存，避免频繁扩缩抖动。
3、nNumOfElements统计的是实际有效元素数，不含已删除但未重用的占位Bucket。
四、zval与Bucket的数据耦合
每个Bucket的val字段是一个zval联合体，直接嵌入而非指针引用。PHP 7将zval压缩至16字节，包含类型信息、引用计数、垃圾回收标记及实际数据（小整数或浮点数直接存储，大对象存指针）。这种设计消除间接寻址开销，提升缓存局部性。
1、当zval存储字符串时，str成员指向heap分配的字符串结构，其中包含len、val及引用计数字段；该字符串结构本身也由emalloc分配，与HashTable内存分离。
2、数值型key对应的zval不经过哈希路径，直接通过整数索引访问arData，此时Bucket.key.ht字段承载该整数，且u2.next字段用于维护插入顺序链表。
3、zval的类型信息决定其在Bucket内的解释方式，例如IS_STRING要求解析key.ptr，而IS_LONG则忽略key.ptr直接使用key.ht。
五、有序性保障机制
PHP数组保持插入顺序，依赖于两个独立链表：arData线性数组提供O(1)随机访问能力，而pListHead/pListTail构成的双向链表记录元素插入次序。每个Bucket的u2.next和u2.prev字段分别指向链表前后节点，使foreach遍历严格按插入顺序执行。
1、新元素插入时，无论是否发生哈希冲突，均追加至pListTail之后，并更新pListTail指针；该链表与哈希桶分布完全解耦，确保顺序性不受扩容影响。
2、删除操作同时从哈希链表与顺序链表中断开目标Bucket，但保留其在arData中的位置，仅标记为无效。
3、当执行array_values()等操作时，引擎遍历顺序链表重建arData，丢弃所有无效Bucket，生成紧凑新表。
