比如:
$val) {
//结果是什么?
}
又比如:
$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的意义, 我们可以通过一个例子来了解:
$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的总结构图:
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系列函数来遍历的时候, 也是通过移动数组的内部指针而实现了顺序遍历, 这里有一个问题, 比如:
了解到我刚才介绍的知识, 那么这个问题也就很明朗了, 因为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.bkjia.com/phpjc/320497.htmlwww.bkjia.comtruehttp://www.bkjia.com/phpjc/320497.htmltecharticle比如: ?php $arr [ ' laruence ' ] = ' huixinchen ' ; $arr [ ' yahoo ' ] = 2007 ; $arr [ ' baidu ' ] = 2008 ; foreach ( $arr as $key = $val ) { //结果是什么? } 又比如: ?php...