PHP7.4.29源码中数组底层原理是什么-php教程-PHP中文网

php数组底层是融合有序链表、开放寻址哈希、引用计数与内存池优化的zend_array结构，支持packed与hash两种模式自动切换，通过ardata线性存储和arhash索引实现o(1)访问及插入顺序遍历。

php7.4.29源码中数组底层原理是什么

PHP 7.4.29 中数组的底层实现基于 HashTable（哈希表），但不是传统意义上的纯哈希结构，而是融合了有序链表 + 开放寻址哈希 + 引用计数 + 内存池优化的复合数据结构。它的核心目标是兼顾：
✅ 索引数组（[0], [1]）的连续访问效率
✅ 关联数组（['name' => 'Tom']）的键值查找性能
✅ 内存紧凑性与写时复制（Copy-on-Write）支持

数组本质是一个 zend_array 结构体

在 PHP 7.4 源码中（Zend/zend_types.h 和 Zend/zend_hash.h），数组类型对应的是 zend_array，其关键字段包括：

uint32_t nTableSize：哈希桶（bucket）总数，总是 2 的幂（如 8、16、32…），用于快速位运算取模
uint32_t nNumUsed：已使用的 bucket 数量（含空洞）
uint32_t nNumOfElements：实际存储的有效元素个数（即 count($arr)）
Bucket *arData：指向连续内存块的指针，所有 bucket 按插入顺序线性排列
uint32_t *arHash：哈希索引表，长度为 nTableSize，每个元素存的是 arData 中对应键的下标（或 INVALID_IDX）
zend_uchar nFlags：标记是否为 packed array（纯整数索引且从 0 连续）、是否引用计数等

? Bucket 是真正存数据的单元，定义在 Zend/zend_hash.h：

typedef struct _Bucket {
    zval              val;        // 实际值（zval 联合体，支持类型复用）
    zend_ulong        h;          // 哈希值（对字符串键计算，整数键直接用）
    zend_string      *key;        // 字符串键（若为关联键），否则为 NULL
} Bucket;

索引数组 vs 关联数组：同一结构，不同行为

类型	特征	底层表现
Packed array（紧凑数组）	键全为连续非负整数（如 `[0,1,2,3]`），且无空洞	`nFlags & HASH_FLAG_PACKED` 为真；`arHash` 不参与查找，`arData[i].val` 直接按序访问，O(1) 随机读取
Hash array（哈希数组）	含字符串键，或整数键不连续/含负数（如 `[-1]`, `[5]`, `['name']`）	使用 `arHash` 查找：`h & (nTableSize - 1)` 得桶号 → 查 `arHash[桶号]` → 定位 `arData[下标]` → 比对 `key` 或 `h`

✅ PHP 7.4 会自动识别并切换模式：$a = []; $a[] = 1; $a[] = 2; → 初始为 packed；一旦 $a['name'] = 3; → 升级为 hash array（触发重哈希）

zval：值的统一容器

每个 Bucket.val 是一个 zval（Zend/zend_types.h），它仅占 16 字节（64 位系统），通过类型标签 + 联合体 + 引用计数实现高效复用：

PHP

编写健壮的PHP代码，规避类型转换陷阱、数组怪癖及常见安全漏洞。

下载

u1.v.type：当前类型（IS_LONG, IS_STRING, IS_ARRAY, IS_REFERENCE 等）
u2.guard / u1.v.gc：用于垃圾回收和引用计数（refcount__gc）
value：联合体，根据 type 动态解释为 long, double, zend_string*, zend_array*, zend_object* 等