深刻理解PHP之数组(遍历顺序)

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

1. <?php
2. $arr['laruence'] = 'huixinchen';
3. $arr['yahoo'] = 2007;
4. $arr['baidu'] = 2008;
5. foreach ($arr as $key => $val) {
6. //结果是什么?
7. }

又好比:

1. <?php
2. $arr[2] = 'huixinchen';
3. $arr[1] = 2007;
4. $arr[0] = 2008;
5. foreach ($arr as $key => $val) {
6. //如今结果又是什么?
7. }

要彻底了解清楚这个问题, 我想首先应该要你们了解PHP数组的内部实现结构………

PHP的数组

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

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

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

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

关于nApplyCount的意义, 咱们能够经过一个例子来了解:

1. <?php
2.     $arr = array(1,2,3,4,5,);
3.     $arr[] = &$arr;
4.  
5.     var_export($arr); //Fatal error: Nesting level too deep - recursive dependency?

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

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

1. typedef struct bucket {
2. ulong h; /* 数字索引/hash值 */
3. uint nKeyLength; /* 字符索引的长度 */
4. void *pData; /* 数据 */
5. void *pDataPtr; /* 数据指针 */
6. struct bucket *pListNext; /* 下一个元素, 用于线性遍历 */
7. struct bucket *pListLast; /* 上一个元素, 用于线性遍历 */
8. struct bucket *pNext; /* 处于同一个拉链中的下一个元素 */
9. struct bucket *pLast; /* 处于同一拉链中的上一个元素 */
10. char arKey[1]; /* 节省内存,方便初始化的技巧 */
11. } 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的总结构图:

HashTable结构示意图

 

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系列函数来遍历的时候, 也是经过移动数组的内部指针而实现了顺序遍历, 这里有一个问题, 好比:

1. <?php
2. $arr = array(1,2,3,4,5);
3. foreach ($arr as $v) {
4. //能够获取
5. }
6.  
7. while (list($key, $v) = each($arr)) {
8. //获取不到
9. }
10. ?>

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

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

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

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

1. huixinchen
2. 2007
3. 2008

因此, 若是你想在数字索引的数组中按照索引大小遍历, 那么你就应该使用for, 而不是foreach

1. for($i=0,$l=count($arr); $i<$l; $i++) {
2.  //这个时候,不能认为是顺序遍历(线性遍历)
3. }

PHP中遍历数组的顺序, 是和元素的添加前后相关的，若是你想在数字索引的数组中按照索引大小遍历, 那么你就应该使用for, 而不是foreach