深入理解PHP之数组(遍历顺序)  Laruence原创


Posted in PHP onJune 13, 2012

经常会有人问我, PHP的数组, 如果用foreach来访问, 遍历的顺序是固定的么? 以什么顺序遍历呢?
比如:

<?php 
$arr['laruence'] = 'huixinchen'; 
$arr['yahoo'] = 2007; 
$arr['baidu'] = 2008; 
foreach ($arr as $key => $val) { 
//结果是什么? 
}

又比如:
<?php 
$arr[2] = 'huixinchen'; 
$arr[1] = 2007; 
$arr[0] = 2008; 
foreach ($arr as $key => $val) { 
//现在结果又是什么? 
}

要完全了解清楚这个问题, 我想首先应该要大家了解PHP数组的内部实现结构………

PHP的数组
在PHP中, 数组是用一种HASH结构(HashTable)来实现的, PHP使用了一些机制, 使得可以在O(1)的时间复杂度下实现数组的增删, 并同时支持线性遍历和随机访问.

之前的文章中也讨论过, PHP的HASH算法, 基于此, 我们做进一步的延伸.

认识HashTable之前, 首先让我们看看HashTable的结构定义, 我加了注释方便大家理解:

typedef struct _hashtable { 
uint nTableSize; /* 散列表大小, Hash值的区间 */ 
uint nTableMask; /* 等于nTableSize -1, 用于快速定位 */ 
uint nNumOfElements; /* HashTable中实际元素的个数 */ 
ulong nNextFreeElement; /* 下个空闲可用位置的数字索引 */ 
Bucket *pInternalPointer; /* 内部位置指针, 会被reset, current这些遍历函数使用 */ 
Bucket *pListHead; /* 头元素, 用于线性遍历 */ 
Bucket *pListTail; /* 尾元素, 用于线性遍历 */ 
Bucket **arBuckets; /* 实际的存储容器 */ 
dtor_func_t pDestructor;/* 元素的析构函数(指针) */ 
zend_bool persistent; 
unsigned char nApplyCount; /* 循环遍历保护 */ 
zend_bool bApplyProtection; 
#if ZEND_DEBUG 
int inconsistent; 
#endif 
} HashTable;

关于nApplyCount的意义, 我们可以通过一个例子来了解:
<?php 
$arr = array(1,2,3,4,5,); 
$arr[] = &$arr; var_export($arr); //Fatal error: Nesting level too deep - recursive dependency?

这个字段就是为了防治循环引用导致的无限循环而设立的.

查看上面的结构, 可以看出, 对于HashTable, 关键元素就是arBuckets了, 这个是实际存储的容器, 让我们来看看它的结构定义:

typedef struct bucket { 
ulong h; /* 数字索引/hash值 */ 
uint nKeyLength; /* 字符索引的长度 */ 
void *pData; /* 数据 */ 
void *pDataPtr; /* 数据指针 */ 
struct bucket *pListNext; /* 下一个元素, 用于线性遍历 */ 
struct bucket *pListLast; /* 上一个元素, 用于线性遍历 */ 
struct bucket *pNext; /* 处于同一个拉链中的下一个元素 */ 
struct bucket *pLast; /* 处于同一拉链中的上一个元素 */ 
char arKey[1]; /* 节省内存,方便初始化的技巧 */ 
} Bucket;

我们注意到, 最后一个元素, 这个是flexible array技巧, 可以节省内存,和方便初始化的一种做法, 有兴趣的朋友可以google flexible array.
h是元素的Hash值,对于数字索引的元素,h为直接索引值(通过nKeyLength=0来表示是数字索引).而对于字符串索引来说, 索引值保存在arKey中, 索引的长度保存在nKeyLength中.
在Bucket中,实际的数据是保存在pData指针指向的内存块中,通常这个内存块是系统另外分配的。但有一种情况例外,就是当Bucket保存 的数据是一个指针时,HashTable将不会另外请求系统分配空间来保存这个指针,而是直接将该指针保存到pDataPtr中,然后再将pData指向本结构成员的地址。这样可以提高效率,减少内存碎片。由此我们可以看到PHP HashTable设计的精妙之处。如果Bucket中的数据不是一个指针,pDataPtr为NULL(本段来自Altair的”Zend HashTable详解”)
结合上面的HashTable结构, 我们来说明下HashTable的总结构图:
深入理解PHP之数组(遍历顺序)  Laruence原创
HashTable的pListhHead指向线性列表形式下的第一个元素, 上图中是元素1, pListTail指向的是最后一个元素0, 而对于每一个元素pListNext就是红色线条画出的线性结构的下一个元素, 而pListLast是上一个元素.

pInternalPointer指向当前的内部指针的位置, 在对数组进行顺序遍历的时候, 这个指针指明了当前的元素.

当在线性(顺序)遍历的时候, 就会从pListHead开始, 顺着Bucket中的pListNext/pListLast, 根据移动pInternalPointer, 来实现对所有元素的线性遍历.

比如, 对于foreach, 如果我们查看它生成的opcode序列, 我们可以发现, 在foreach之前, 会首先有个FE_RESET来重置数组的内部指针, 也就是pInternalPointer(关于foreach可以参看深入理解PHP原理之foreach), 然后通过每次FE_FETCH来递增pInternalPointer,从而实现顺序遍历.

类似的, 当我们使用, each/next系列函数来遍历的时候, 也是通过移动数组的内部指针而实现了顺序遍历, 这里有一个问题, 比如:

<?php 
$arr = array(1,2,3,4,5); 
foreach ($arr as $v) { 
//可以获取 
} while (list($key, $v) = each($arr)) { 
//获取不到 
} 
?>

了解到我刚才介绍的知识, 那么这个问题也就很明朗了, 因为foreach会自动reset, 而while这块不会reset, 所以在foreach结束以后, pInternalPointer指向数组最末端, while语句块当然访问不到了, 解决的办法就是在each之前, 先reset数组的内部指针.

而在随机访问的时候, 就会通过hash值确定在hash数组中的头指针位置, 然后通过pNext/pLast来找到特点元素.

增加元素的时候, 元素会插在相同Hash元素链的头部和线性列表的尾部. 也就是说, 元素在线性遍历的时候是根据插入的先后顺序来遍历的, 这个特殊的设计使得在PHP中,当使用数字索引时, 元素的先后顺序是由添加的顺序决定的,而不是索引顺序.

也就是说, PHP中遍历数组的顺序, 是和元素的添加先后相关的, 那么, 现在我们就很清楚的知道, 文章开头的问题的输出是:

huixinchen 
2007 
2008

所以, 如果你想在数字索引的数组中按照索引大小遍历, 那么你就应该使用for, 而不是foreach
for($i=0,$l=count($arr); $i<$l; $i++) { 
//这个时候,不能认为是顺序遍历(线性遍历) 
}

原文:http://www.laruence.com/2009/08/23/1065.html
PHP 相关文章推荐
Php Image Resize图片大小调整的函数代码
Jan 17 PHP
浅析php与数据库代码开发规范
Aug 08 PHP
ThinkPHP结合AjaxFileUploader实现无刷新文件上传的方法
Oct 29 PHP
javascript some()函数用法详解
Nov 13 PHP
浅析php适配器模式(Adapter)
Nov 25 PHP
php遍历CSV类实例
Apr 14 PHP
如何通过Linux命令行使用和运行PHP脚本
Jul 29 PHP
PHP环境搭建的详细步骤
Jun 30 PHP
php实现有序数组打印或排序的方法【附Python、C及Go语言实现代码】
Nov 10 PHP
PHP异常处理定义与使用方法分析
Jul 25 PHP
php微信开发之关键词回复功能
Jun 13 PHP
laravel 修改记住我功能的cookie保存时间的方法
Oct 14 PHP
header中Content-Disposition的作用与使用方法
Jun 13 #PHP
php文件打包 下载之使用PHP自带的ZipArchive压缩文件并下载打包好的文件
Jun 13 #PHP
Php中文件下载功能实现超详细流程分析
Jun 13 #PHP
php异常处理技术,顶级异常处理器
Jun 13 #PHP
PHP的异常处理类Exception的使用及说明
Jun 13 #PHP
PHP抽象类 介绍
Jun 13 #PHP
MySQL 日期时间函数常用总结
Jun 12 #PHP
You might like
短波的认识
2021/03/01 无线电
PHP MVC模式在网站架构中的实现分析
2010/03/04 PHP
使用PHP导出Redis数据到另一个Redis中的代码
2014/03/12 PHP
php 魔术方法详解
2014/11/11 PHP
PHP+mysql+ajax轻量级聊天室实现方法详解
2016/10/17 PHP
PHP常用的类封装小结【4个工具类】
2019/06/28 PHP
PHP实现微信提现(企业付款到零钱)
2019/08/01 PHP
JScript 脚本实现文件下载 一般用于下载木马
2009/10/29 Javascript
JS实现Enter键跳转及控件获得焦点
2013/08/12 Javascript
Jqgrid表格随窗口大小改变而改变的简单实例
2013/12/28 Javascript
jquery滚动到顶部底部代码
2015/04/20 Javascript
javascript函数中的3个高级技巧
2016/09/22 Javascript
Vue input控件通过value绑定动态属性及修饰符的方法
2017/05/03 Javascript
基于jQuery的表单填充实例
2017/08/22 jQuery
JavaScript中错误正确处理方式小结你用对了吗
2017/10/10 Javascript
浅谈Vue3.0之前你必须知道的TypeScript实战技巧
2019/09/11 Javascript
Node.JS用纯JavaScript生成图片或滑块式验证码功能
2019/09/12 Javascript
JavaScript中的各种宽高属性的实现
2020/05/08 Javascript
快速解决Vue、element-ui的resetFields()方法重置表单无效的问题
2020/08/12 Javascript
vue3.0 的 Composition API 的使用示例
2020/10/26 Javascript
python按照多个字符对字符串进行分割的方法
2015/03/17 Python
详解Python中的动态属性和特性
2018/04/07 Python
python爬虫 execjs安装配置及使用
2019/07/30 Python
python快速编写单行注释多行注释的方法
2019/07/31 Python
如何在mac环境中用python处理protobuf
2019/12/25 Python
python矩阵运算,转置,逆运算,共轭矩阵实例
2020/05/11 Python
plt.figure()参数使用详解及运行演示
2021/01/08 Python
HTML4和HTML5之间除了相似以外的10个主要不同
2012/12/13 HTML / CSS
html5 canvas里绘制椭圆并保持线条粗细均匀的技巧
2013/03/25 HTML / CSS
html5 datalist 选中option选项后的触发事件
2020/03/05 HTML / CSS
澳大利亚当地社区首选的光学商店:1001 Optical
2019/08/24 全球购物
医学生临床实习自我评价
2014/03/07 职场文书
《莫泊桑拜师》教学反思
2014/04/23 职场文书
大学生职业生涯规划大赛作品(精品)
2014/09/17 职场文书
物业接待员岗位职责
2015/04/15 职场文书
解析MySQL binlog
2021/06/11 MySQL