php底层HashTable的实现
本文转载自: http://segmentfault.com/blog/tree/1190000000718519
HashTable对PHP来说是一种非常重要的数据结构。很多PHP的内部实现(变量的作用域,函数表,类的属性、方法,数组)就是通过HashTable来实现的。最近了解了一下PHP底层HashTable的实现。
PHP底层HashTable的实现有两个非常重要的结构分别是:HashTable和Bucket。
先说一下HashTable结构:
HashTable的底层实现代码如下:
typedef struct _hashtable{
uint nTableSize; // hash Bucket的大小,最小为8
uint nTableMask; //nTableSize - 1, 索引取值的优化
uint nNumofElements // bucket 里面存的总数
ulong nNextFreeElement //下一个数字索引的位置
Bucket *pInternalPointer //当前遍历的指针(foreach比较快的原因)
Bucket *pListHead //整个hashtable的头指针
Bucket *pListTail //整个hashTable的尾指针
Bucket **argBuckets // Buceket 数组,用来存储数据
doctor_func_t pDestructor //删除元素时的回调函数,用于资源的释放
zend_bool persistent //Bucket的内存分配方式,true使用系统的分配函数,false 使用php的内存分配函数
unsigned char nApplyCount //标记当前hash bucket 被递归的次数
zend_bool bApplyProtection
#if ZEND_DEBUG
int inconsistent
#endif
}HashTable
建议不太了解hash数据结构的同学先简单了解一下hash结构。
简单说一下php中hashtable的初始化操作:
代码如下:
ZEND_API int _zend_hash_init(HashTable *ht, uint nSize, hash_func_t pHashFunction, dtor_func_t pDestructor, zend_bool persistent ZEND_FILE_LINE_DC)
{
uint i = 3;
//...
if (nSize >= 0x80000000) {
/* prevent overflow */
ht->nTableSize = 0x80000000;
} else {
while ((1U << i) < nSize) {
i++;
}
ht->nTableSize = 1 << i;
}
// ...
ht->nTableMask = ht->nTableSize - 1;
/* Uses ecalloc() so that Bucket* == NULL */
if (persistent) {
tmp = (Bucket **) calloc(ht->nTableSize, sizeof(Bucket *));
if (!tmp) {
return FAILURE;
}
ht->arBuckets = tmp;
} else {
tmp = (Bucket **) ecalloc_rel(ht->nTableSize, sizeof(Bucket *));
if (tmp) {
ht->arBuckets = tmp;
}
}
return SUCCESS;
}
最开始判断需要初始化的hashtable大小是不是超过了系统能使用的最大大小。下面是对tablesize大小的一个处理。将用户自定义的大小改成需要的大小。例如:如果用户定义的hashtable大小是6,那初始化时,就会将6变成8,如果用户定义的大小为11,那初始化后的Hashtable的大小为16.
下面就是一个简单的判断,来决定是按照C语言本身的分配内存函数来分配内存,还是根据php封装好的内存分配函数来分配内存。
再谈一下 bucket的结构
typedef struct bucket{
ulong h; //对key索引以后的值,数字key不做kash
uint nKeyLength; //key的长度
void *pData;
void *pDataPtr; //指针数据,指向真实数据
struct bucket * pListNext; //整个hash表的下个元素
struct bucket *pListLast; //整个hash表的上个元素
struct bucket *pNext; //本bucket里面,下一个元素
struct bucket *pLast; //本bucket里面的上一个元素
char arKey[1];
}Bucket
这里用一张网络上的很火的图来说明(图原地址没找到,没有做来源说明):
下面是引用了tipi里面的插入说明:
引用地址:tipi
如图中左下角的假设,假设依次插入了Bucket1,Bucket2,Bucket3三个元素:
1、插入Bucket1时,哈希表为空,经过哈希后定位到索引为1的槽位。此时的1槽位只有一个元素Bucket1。 其中Bucket1的pData或者pDataPtr指向的是Bucket1所存储的数据。此时由于没有链接关系。pNext, pLast,pListNext,pListLast指针均为空。同时在HashTable结构体中也保存了整个哈希表的第一个元素指针, 和最后一个元素指针,此时HashTable的pListHead和pListTail指针均指向Bucket1。
2、插入Bucket2时,由于Bucket2的key和Bucket1的key出现冲突,此时将Bucket2放在双链表的前面。 由于Bucket2后插入并置于链表的前端,此时Bucket2.pNext指向Bucket1,由于Bucket2后插入。 Bucket1.pListNext指向Bucket2,这时Bucket2就是哈希表的最后一个元素,这是HashTable.pListTail指向Bucket2。\3、插入Bucket3,该key没有哈希到槽位1,这时Bucket2.pListNext指向Bucket3,因为Bucket3后插入。 同时HashTable.pListTail改为指向Bucket3。
简单来说就是哈希表的Bucket结构维护了哈希表中插入元素的先后顺序,哈希表结构维护了整个哈希表的头和尾。 在操作哈希表的过程中始终保持预算之间的关系。
郑重声明:本站内容如果来自互联网及其他传播媒体,其版权均属原媒体及文章作者所有。转载目的在于传递更多信息及用于网络分享,并不代表本站赞同其观点和对其真实性负责,也不构成任何其他建议。