在php 8.1+扩展开发中,需用array_init()初始化zval并设is_array类型,通过add_index_long()/add_assoc_string()等zend api安全插入元素,遍历必须使用zend_hash_iterator而非裸指针,多维数组需独立管理每个zend_array的pos和refcount。

要在 PHP 8.1 及以上版本中安全、高效地构造并遍历数组,尤其在扩展开发场景下需兼顾类型提示、内存安全与 Zval 操作规范,不能依赖用户空间的语法糖或反射黑盒,必须直面底层结构和引擎约束。
构造数组:从 zval 到哈希表指针
扩展中创建数组必须通过 Zend API 显式初始化,而非直接赋值 [] 或 array()——这些是用户空间语法,在扩展 C 代码里无效。
第一步:声明并初始化一个空 zval,类型设为 IS_ARRAY:
zval arr_zv; array_init(&arr_zv);
这一步调用 array_init() 会为其分配底层 zend_array * 结构,并将 refcount 设为 1;若后续要返回给 PHP 用户空间,必须确保该 zval 已被正确引用或分离,否则可能引发 double-free。
第二步:向数组插入元素,区分键类型:
插入整数键(索引)用 add_index_long(&arr_zv, 0, 42);插入字符串键(关联)用 add_assoc_string(&arr_zv, "name", "Alice");插入 zval 值则用 add_assoc_zval(&arr_zv, "data", &sub_zv),注意此时 sub_zv 的 refcount 必须已增(用 Z_TRY_ADDREF_P()),否则会被提前释放。
【务必检查 zval 是否已初始化且类型合法】 向未初始化的 zval 写入值会导致内存越界或 SEGFAULT。
遍历数组:使用 zend_hash_iterator 安全游标
PHP 扩展中禁止直接操作 zend_array->arData 或手动递增指针——该结构在 PHP 8.1+ 中已改为 packed layout + hash table 分离设计,裸指针遍历极易崩溃。
方法一:标准哈希迭代器(推荐)
① 声明迭代器句柄:zend_ulong num_key; zend_string *str_key; zval *val;
② 初始化迭代器:zend_hash_get_current_key_ex(ht, &str_key, &num_key, &pos); 需先获取 zend_array *ht = Z_ARR(arr_zv);
③ 循环体中用 zend_hash_get_current_data_ex(ht, &val, &pos) 获取当前值指针,再用 zend_hash_move_forward_ex(ht, &pos) 推进位置。每次调用前必须确认 val != NULL,否则解引用会段错误。
方法二:foreach-style 遍历(适用于已知结构的纯索引数组)
若确定数组为 packed(无字符串键、无空洞),可调用 zend_hash_get_all_values(ht, &values) 获取所有值 zval 指针数组,再用 for 循环访问 values[i]。但此函数会复制指针,不修改原数组,适合只读场景。
注意:zend_hash_get_all_values() 返回的是 zval **,不是 zval *,取值时别漏掉一次解引用:ZVAL_COPY(return_value, values[i]);
多维数组构造与嵌套遍历
扩展中构造二维数组,本质是向第一层数组中插入另一个已初始化的 zend_array *。
先用 array_init(&inner_zv) 创建子数组,填入若干元素;再用 add_next_index_zval(&outer_zv, &inner_zv) 将其挂载到外层数组末尾。此处 inner_zv 的 refcount 会被自动增加,无需手动干预。
遍历二维数组时,对每个子 zval 判断类型:Z_TYPE_P(val) == IS_ARRAY 成立后,再提取其 zend_array * 并启动新一轮迭代器——不要试图复用同一 pos 变量,每个哈希表需独立 pos。
这一步操作起来很简单,直接把子数组当作普通 zval 处理就行,但必须确保子 zval 的生命周期覆盖整个外层遍历过程,否则子数组可能已被 GC 回收。
php免费学习视频:立即使用
踏上前端学习之旅,开启通往精通之路!从前端基础到项目实战,循序渐进,一步一个脚印,迈向巅峰!











