/*
* 其在 大端和小端 使用了不同的順序定義. 
* 想來是為了解決大小端環(huán)境的問題, 保證在不同的設(shè)備上可以讀取到相同的位
*/
#ifdef WORDS_BIGENDIAN
# define ZEND_ENDIAN_LOHI_3(lo, mi, hi)    hi; mi; lo;
#else
# define ZEND_ENDIAN_LOHI_3(lo, mi, hi)    lo; mi; hi;
#endif
// 對(duì)不同變量類型的定義
/* Regular data types: Must be in sync with zend_variables.c. */
#define IS_UNDEF					0
#define IS_NULL						1
#define IS_FALSE					2
// ...
// 進(jìn)行結(jié)構(gòu)體的重命名
typedef struct _zval_struct     zval;
/*
* 變量聯(lián)合體定義.
* 此聯(lián)合體和保存各種類型的變量
*/
typedef union _zend_value {
    zend_long         lval; // 8B
    double            dval; // 8B
    zend_refcounted  *counted; // 引用計(jì)數(shù). 8B
    zend_string      *str; // 字符串. 8B
    zend_array       *arr;
    zend_object      *obj;
    zend_resource    *res;
    zend_reference   *ref;
    zend_ast_ref     *ast;
    zval             *zv;
    void             *ptr;
    zend_class_entry *ce;
    zend_function    *func;
    struct {
        uint32_t w1;
        uint32_t w2;
    } ww; // 8B
} zend_value; // 綜上: 8B
// 變量的結(jié)構(gòu)體
struct _zval_struct {
    // 使用 zend_value 聯(lián)合體保存當(dāng)前元素的值. 8B
    zend_value        value;			/* value */
    /*
    * 用來保存變量類型
    * 這里為什么要使用聯(lián)合體呢?
    * 眾所周知, 聯(lián)合體中變量是共用內(nèi)存的
    * 而其中的兩個(gè)內(nèi)容都是4字節(jié)的.
    * 因此, 我認(rèn)為是為了方便使用.
    * 在統(tǒng)一操作時(shí)可使用 type_info, 有可以通過結(jié)構(gòu)體分別獲取每一位
    * (不過這只是個(gè)人理解, 沒有進(jìn)行求證)
    */
    union {
        uint32_t type_info; // 4B
        struct {
            ZEND_ENDIAN_LOHI_3(
                // 用來保存當(dāng)前變量的類型. 也就是上面的一批定義. 1B
                zend_uchar    type,			/* active type */
                // 當(dāng)前變量的一些標(biāo)志位. 如: 常量類型/不可修改 等等. 1B
                zend_uchar    type_flags,
                union { // 2B
                uint16_t  extra;        /* not further specified */
            } u)
        } v; // 4B
    } u1; // 4B
    // 上面兩個(gè)結(jié)構(gòu)體共占用 12B, 而內(nèi)存對(duì)其需要16B, 因此有4個(gè)字節(jié)是空著的
    // 下面的聯(lián)合體可以將這4B 充分利用.
    // 這里根據(jù)不同的變量類型使用不同的變量. 比如: next, 在下面介紹數(shù)組的時(shí)候有用
    union {
        uint32_t     next;                 /* hash collision chain */
        uint32_t     cache_slot;           /* cache slot (for RECV_INIT) */
        uint32_t     opline_num;           /* opline number (for FAST_CALL) */
        uint32_t     lineno;               /* line number (for ast nodes) */
        uint32_t     num_args;             /* arguments number for EX(This) */
        uint32_t     fe_pos;               /* foreach position */
        uint32_t     fe_iter_idx;          /* foreach iterator index */
        uint32_t     property_guard;       /* single property guard */
        uint32_t     constant_flags;       /* constant flags */
        uint32_t     extra;                /* not further specified */
    } u2;
};

typedef struct _zend_array      zend_array;
// 沒毛病, 數(shù)組的別名就是 hashTable
typedef struct _zend_array HashTable;
// 用來保存數(shù)組中的數(shù)據(jù)
typedef struct _Bucket {
    // 當(dāng)前元素值
    zval              val;
    // 當(dāng)前元素的 hash
    zend_ulong        h;                /* hash value (or numeric index)   */
    // 元素的 key
    zend_string      *key;              /* string key or NULL for numerics */
} Bucket;
typedef struct _zend_array HashTable;
struct _zend_array {
    zend_refcounted_h gc; // 對(duì)數(shù)組進(jìn)行引用計(jì)數(shù). 8B
    union {
        struct {
            ZEND_ENDIAN_LOHI_4(
                /*
                * 標(biāo)志位. 其常量定義如下:
                * #define HASH_FLAG_CONSISTENCY      ((1<<0) | (1<<1))
                * #define HASH_FLAG_PACKED           (1<<2)
                * #define HASH_FLAG_UNINITIALIZED    (1<<3)
                * #define HASH_FLAG_STATIC_KEYS      (1<<4) // long and interned strings
                * #define HASH_FLAG_HAS_EMPTY_IND    (1<<5)
                * #define HASH_FLAG_ALLOW_COW_VIOLATION (1<<6)
                */
                zend_uchar    flags,
                zend_uchar    _unused,
                zend_uchar    nIteratorsCount,
                zend_uchar    _unused2)
        } v;
        uint32_t flags; // 4B
    } u; // 4B
    // 用來保存數(shù)組中的元素信息. 這是一個(gè)數(shù)組, 記錄數(shù)組首地址.
    // 關(guān)于這里的 兩個(gè)數(shù)組為什么使用 聯(lián)合體記錄, 在上圖中解釋了. 
    union {
        // 用來讀取上方的 hashList 8B
        uint32_t     *arHash;   /* hash table (allocated above this pointer) */
        // 用來讀取上方的 dataList 8B
        Bucket       *arData;   /* array of hash buckets */
        // 當(dāng)前數(shù)組中其實(shí)保存了兩個(gè)數(shù)組, 但是對(duì)于key是連續(xù)數(shù)字的數(shù)組來說, arrHash 其實(shí)并不需要. 可以直接使用數(shù)組存儲(chǔ)
        // 所以使用了 arPacked 來表示key全部為數(shù)字的, 通過標(biāo)識(shí)位 HASH_FLAG_PACKED 來標(biāo)識(shí). 以節(jié)省內(nèi)存占用
        // 所以, 其實(shí)對(duì)于連續(xù)數(shù)字的數(shù)組, 其底層真的是數(shù)組, 而不是 hashTable
        // 這里你可以簡(jiǎn)單的實(shí)驗(yàn)一下, 通過構(gòu)造一個(gè)連續(xù)數(shù)字索引的數(shù)字, 然后在給其賦值一個(gè)key 為字符串的元素, 通過 memory_get_usage 函數(shù)查看內(nèi)存的變化. 很明顯的. 
        zval         *arPacked; /* packed array of zvals */
    }; // 8B
    // 數(shù)組中存儲(chǔ)的元素個(gè)數(shù). 4B
    uint32_t          nNumOfElements;
    /*
    * 向數(shù)組中添加元素時(shí), 使用的數(shù)組索引. 
    * 此變量與 nNumOfElements 的區(qū)別是,
    * 當(dāng)數(shù)組中元素釋放的時(shí)候, 比如 unset 操作.
    * nNumOfElements 進(jìn)行減一操作, 而 nNumUsed 變量不變.
    * 同時(shí), 元素也并沒有從數(shù)組中抹去, 僅僅是將其 type 修改為 IS_UNDEF
    * 等到下一次內(nèi)存擴(kuò)充的時(shí)候, 在將這些元素釋放掉, 以保證釋放的高效
    * 4B
    */
    uint32_t          nNumUsed;
    // 記錄當(dāng)前數(shù)組已經(jīng)分配的地址大小. 2的 n 次冪(分配地址每次乘2). 4B
    uint32_t          nTableSize;
    // 計(jì)算 key 的 hash 散列值時(shí)使用(在下方具體介紹). 4B
    uint32_t          nTableMask;
    // 數(shù)組遍歷是使用的游標(biāo), 如調(diào)用函數(shù): next/prev/end/reset/current 等. 4B
    uint32_t          nInternalPointer;
    /*
    * 用來記錄下一個(gè)元素插入時(shí)的默認(rèn) key.
    * 比如代碼:
    * $arr = [];
    * $arr[] = 1; // 相當(dāng)于 $arr[0]=1;
    * 但是, 你或許會(huì)疑惑, 這還需要單獨(dú)記錄么? 直接使用數(shù)組的大小計(jì)算不就行了?
    * 再看一段:
    * $arr = [];
    * $arr['a'] = 1;
    * $arr[] = 2; // 相當(dāng)于 $arr[0] = 1;
    * 是不是懂了??
    * 8B
    */
    zend_long         nNextFreeElement;
    /*
    * 此方法在數(shù)組中的元素更新或刪除時(shí)調(diào)用.
    * 若元素是引用計(jì)數(shù)的類型, 會(huì)更新其引用計(jì)數(shù)
    * 相當(dāng)于元素的析構(gòu)函數(shù)
    * 8B
    */
    dtor_func_t       pDestructor;
}; // 56B

//  判斷需要時(shí)對(duì)數(shù)組進(jìn)行擴(kuò)容
#define ZEND_HASH_IF_FULL_DO_RESIZE(ht)				\
    if ((ht)->nNumUsed >= (ht)->nTableSize) {		\
        zend_hash_do_resize(ht);					\
    }
static zend_always_inline zval *_zend_hash_add_or_update_i(HashTable *ht, zend_string *key, zval *pData, uint32_t flag)
{
    // 一些額外處理...
    // 需要時(shí)對(duì)數(shù)組進(jìn)行擴(kuò)充
    ZEND_HASH_IF_FULL_DO_RESIZE(ht);		/* If the Hash table is full, resize it */
add_to_hash:
    // INTERNED 字符串不會(huì)被銷毀, 用來實(shí)現(xiàn)相同字符串共用內(nèi)存
    // 當(dāng)數(shù)組中所有key 都是 INTERNED 字符串
    // 那么數(shù)組釋放的時(shí)候就不需要釋放 key 了, 同時(shí)數(shù)組 copy 的時(shí)候也不需要增加字符串引用計(jì)數(shù)
    // HASH_FLAG_STATIC_KEYS 標(biāo)記位就是用來標(biāo)記數(shù)組中所有 key 均為 INTERNED 字符串
    // 若當(dāng)前字符串不是 INTERNED 的, 則修改數(shù)組的標(biāo)記位
    if (!ZSTR_IS_INTERNED(key)) {
        zend_string_addref(key);
        HT_FLAGS(ht) &= ~HASH_FLAG_STATIC_KEYS;
    }
    // 獲取當(dāng)前元素的 dataList index
    idx = ht->nNumUsed++;
    // 數(shù)組中元素內(nèi)容增加
    ht->nNumOfElements++;
    // 元素賦值
    arData = ht->arData;
    p = arData + idx;
    p->key = key;
    p->h = h = ZSTR_H(key);
    // 計(jì)算 hashList index
    nIndex = h | ht->nTableMask;
    // 這一步就是用來處理 hash 沖突的
    // 將當(dāng)前元素的 next 指向原來 hashList 中的值
    Z_NEXT(p->val) = HT_HASH_EX(arData, nIndex);
    // 更新 hashList
    HT_HASH_EX(arData, nIndex) = HT_IDX_TO_HASH(idx);
    // 對(duì) val 進(jìn)行賦值. 
    // 這里判斷標(biāo)志位 HASH_LOOKUP, 然后將 val 置為 null. 這里看了半天沒看懂其作用, 如果有知道的還望不吝賜教
    if (flag & HASH_LOOKUP) {
        ZVAL_NULL(&p->val);
    } else {
        ZVAL_COPY_VALUE(&p->val, pData);
    }
    return &p->val;
}

<?php
// 統(tǒng)計(jì)函數(shù)的耗時(shí)
function echoCallCostTime($msg, $call){
    $startTime = microtime(true) * 1000;
    $call();
    $endTime = microtime(true) * 1000;
    $diffTime = $endTime - $startTime;
    echo "$msg 耗時(shí) $diffTime", PHP_EOL;
}
$size = 2**16;
$array = [];
echoCallCostTime('異常數(shù)組-構(gòu)造', function () use ($size, &$array){
    $array = array();
    for ($i = 0; $i <= $size; $i++) {
        $key = $size * $i;
        $array[$key] = 0;
    }
});
echoCallCostTime('異常數(shù)組-首個(gè)元素訪問', function () use ($array){
    $b = $array[0];
});
echoCallCostTime('異常數(shù)組-最后元素訪問', function () use ($array, $size){
    $b = $array[$size * $size];
});
echoCallCostTime('普通數(shù)組-構(gòu)造', function () use ($size, &$array){
    $array = array();
    for ($i = 0; $i <= $size; $i++) {
        $array[$i] = 0;
    }
});
echoCallCostTime('普通數(shù)組-首個(gè)元素訪問', function () use ($array){
    $b = $array[0];
});
echoCallCostTime('普通數(shù)組-最后元素訪問', function () use ($array, $size){
    $b = $array[$size];
});