深入理解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 和 MySQL 基础教程(三)
Oct 09 PHP
杏林同学录(四)
Oct 09 PHP
一个简单的php实现的MySQL数据浏览器
Mar 11 PHP
关于php mvc开发模式的感想
Jun 28 PHP
destoon实现资讯信息前面调用它所属分类的方法
Jul 15 PHP
php最简单的删除目录与文件实现方法
Nov 28 PHP
PHP中的静态变量及static静态变量使用详解
Nov 05 PHP
/etc/php-fpm.d/www.conf 配置注意事项
Feb 04 PHP
php求数组全排列,元素所有组合的方法总结
Mar 14 PHP
php数据序列化测试实例详解
Aug 12 PHP
PHP与Web页面的交互示例详解一
Aug 04 PHP
如何利用PHP实现上传图片功能详解
Sep 24 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
php中将地址生成迅雷快车旋风链接的代码[测试通过]
2011/04/20 PHP
解析MySql与Java的时间类型
2013/06/22 PHP
PHP使用内置函数生成图片的方法详解
2016/05/09 PHP
防止动态加载JavaScript引起的内存泄漏问题
2009/10/08 Javascript
EXT中xtype的含义分析
2010/01/07 Javascript
jquery DOM操作 基于命令改变页面
2010/05/06 Javascript
JavaScript高级程序设计 阅读笔记(十二) js内置对象Math
2012/08/14 Javascript
Jquery实现图片左右自动滚动示例
2013/09/25 Javascript
JavaScript中instanceof与typeof运算符的用法及区别详细解析
2013/11/19 Javascript
在jquery boxy中添加百度地图坐标拾取注意流程
2014/04/03 Javascript
Javascript 学习笔记之 对象篇(二) : 原型对象
2014/06/24 Javascript
javascript html5移动端轻松实现文件上传
2020/03/27 Javascript
js实现将json数组显示前台table中
2017/01/10 Javascript
详解使用JS如何制作简单的ASCII图与单极图
2017/03/31 Javascript
jQuery tip提示插件(实例分享)
2017/04/28 jQuery
bootstrap响应式表格实例详解
2017/05/15 Javascript
Vue中img的src属性绑定与static文件夹实例
2017/05/18 Javascript
AngularJS中filter的使用实例详解
2017/08/25 Javascript
react native 获取地理位置的方法示例
2018/08/28 Javascript
基于Vue+elementUI实现动态表单的校验功能(根据条件动态切换校验格式)
2019/04/04 Javascript
Vue使用路由钩子拦截器beforeEach和afterEach监听路由
2020/11/16 Javascript
Python+Selenium自动化实现分页(pagination)处理
2017/03/31 Python
python 给DataFrame增加index行名和columns列名的实现方法
2018/06/08 Python
Linux 修改Python命令的方法示例
2018/12/03 Python
python3 sorted 如何实现自定义排序标准
2020/03/12 Python
Python闭包及装饰器运行原理解析
2020/06/17 Python
关于tensorflow softmax函数用法解析
2020/06/30 Python
Python实现粒子群算法的示例
2021/02/14 Python
HTML5实现表单自动验证功能实例代码
2017/01/11 HTML / CSS
西班牙在线宠物食品和配件商店:bitiba
2019/10/11 全球购物
文员岗位职责
2013/11/09 职场文书
法人授权委托书范本
2014/04/04 职场文书
简单租房协议书范本
2014/08/20 职场文书
一份关于丢失公司财物的检讨书
2014/09/19 职场文书
教师节寄语2015
2015/03/23 职场文书
小学三年级班主任工作经验交流材料
2015/11/02 职场文书