php的所有變量實際上是用一個struct zval來表示的。
/* Zend/zend.h */typedef struct _zval_struct zval;typedef union _zvalue_value { long lval; /* long value */
double dval; /* double value */
struct { char *val; int len;
} str;
HashTable *ht; /* hash table value */
zend_object_value obj;
} zvalue_value;struct _zval_struct { /* Variable information */
zvalue_value value; /* value */
zend_uint refcount;
zend_uchar type; /* active type */
zend_uchar is_ref;
};而數組就是其中的"HashTable *ht"，實際上就是一個哈希表(Hash Table)，表中的所有元素同時又組成一個雙向鏈表，它的定義為：
/* Zend/zend_hash.h */typedef struct _hashtable { uint nTableSize; uint nTableMask; uint nNumOfElements; ulong nNextFreeElement;
Bucket *pInternalPointer; /* Used for element traversal */
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;這里有一個 Bucket *pInternalPointer ，就是被reset/current/next等函數用來遍歷數組保存位置狀態的。Bucket的實現如下，可以看到這就是個赤裸裸的鏈表節點。
typedef struct bucket { ulong h; /* Used for numeric indexing */
uint nKeyLength; void *pData; void *pDataPtr; struct bucket *pListNext; struct bucket *pListLast; struct bucket *pNext; struct bucket *pLast; char arKey[1]; /* Must be last element */} Bucket;而foreach的實現，則位于 ./Zend/zend_compile.h ，在解釋期被flex翻譯成由 zend_do_foreach_begin zend_do_foreach_cont zend_do_foreach_end 這三個函數（以及相關代碼）組合起來。
