nNumUsed、nNumOfElements:当删除数组元素时并不会立马从数组中删除，而是将这个元素的类型标为IS_UNDEF，只有在数组容量超限，需要扩容时才会删除。

若没有扩容，则nNumUsed将一直递增，所以其值并不是有效的元素数。nNumOfElements则是数组中有效元素的数量，所以nNumOfElements ≤ nNumUsed。

Bucket结构用力保存元素的key及value。而h是hash code：如果key是数值（及数值索引）那么它的值就是数值索引的值；如果key是字符串，那么它的值就是根据字符串key通过Time33算法计算得到的散列值。h值用来映射元素的存储位置。

数组实现：

为了实现散列表的有序性，PHP中的散列表在散列函数与元素数组之间加了一层映射表，这个映射表也是数组，大小与存储元素的数组相同。

中间映射表存储元素在实际存储的有序数组中的下标：元素按照先后顺序依次插入实际存储数组，然后将其数组下标按照散列函数散列出来的位置存储在新加的映射表中。

散列函数：根据key映射出元素的的存储位置，通常会以取模作为散列函数：key->h % nTableSize。但PHP采用另一种方式：nIndex = key->h | nTableMask。

在PHP数组的结构中并没有发现这个中间映射表，事实上，它与arData放在一起。在数组初始化时，同时分配用于存储Bucket的内存和分配相同数量的uint32_t大小的空间。然后将arData偏移到存储元素数组的位置。

中间映射表可以通过arData向前访问到。

哈希冲突：不同的key值可能计算得到相同的哈希值，在插入散列表时会发生冲突，因为映射表只能存储一个元素。

解决方法：把冲突的Bucket串成链表，即中间映射表映射出来的是一个Bucket链表，而不是一个Bucket，查找时需要遍历这个链表，逐个比较key，从而找到目标元素。

HashTable会记录与它冲突的元素在arData数组中的存储位置。

 在设置映射值时，发现中间映射表中要设置的位置已经被之前插入的元素占用了（值不等于初始化的-1），那么会把已经存在的值保存到新插入的Bucket中（即c插入后u2.next=0），然后将映射表中的值更新为新Bucket的存储位置（即映射表中的值：2）。

引用：

引用是一种指向其他类型的结构，类似C语言中指针的概念。当修改引用类型的变量时，其修改将反应到实际引用的变量上。

在PHP中通过&操作符生成一个引用变量，比如$b = &$a，执行时首先为&操作的变量分配一个zend_reference结构，这个结构就是引用类型的结构体，它内嵌了一个zval，此zval的value指向原来zval的value，然后将原zval的类型修改为IS_REFERENCE，原zval的value指向新创建的zend_reference结构。

例子：

$a = date("Y-m");
$b = &$a;

$a为字符串，通过&$a将其转化为引用类型并赋值给了$b，转换后的$a的类型由IS_STRING变为IS_REFERENCE，$a的value也转变为zend_reference结构，这个结构指向原来的字符串。

$a、$b间接指向了实际的value值。 

使用引用时需要注意，引用只能通过&产生，不能通过赋值传递。

如上面的例子，再把$b赋值给其他变量，那么传递给新变量的value将是实际引用的值，而不是引用本身。

$a = date("Y-m");
$b = &$a;
$c = $b;   //如果想让$c也引用指向$a/$b引用的值，则：$c = &$b