Redis源码分析：字典实现(-)

本文分析的是Redis的版本为4.0.11。

字典(dictionary)

键值数据库(key-value store)是字典的数据结构，键(key)和值(value)进行关联，形成键值对，所有数据库的操作都是通过主键(primary key)来实现的。除了用作表示数据库外，字典还是Redis底层哈希键的底层实现。

字典结构定义

字典结构定义位于dict.h文件中。先来看一下字典结构的定义：

/* Unused arguments generate annoying warnings... */
#define DICT_NOTUSED(V) ((void) V)

typedef struct dictEntry {
    void *key;
    union {
        void *val;
        uint64_t u64;
        int64_t s64;
        double d;
    } v;
    struct dictEntry *next;
} dictEntry;

typedef struct dictType {
    uint64_t (*hashFunction)(const void *key);
    void *(*keyDup)(void *privdata, const void *key);
    void *(*valDup)(void *privdata, const void *obj);
    int (*keyCompare)(void *privdata, const void *key1, const void *key2);
    void (*keyDestructor)(void *privdata, void *key);
    void (*valDestructor)(void *privdata, void *obj);
} dictType;

/* This is our hash table structure. Every dictionary has two of this as we
 * implement incremental rehashing, for the old to the new table. */
typedef struct dictht {
    dictEntry **table;
    unsigned long size;
    unsigned long sizemask;
    unsigned long used;
} dictht;

typedef struct dict {
    dictType *type;
    void *privdata;
    dictht ht[2];
    long rehashidx; /* rehashing not in progress if rehashidx == -1 */
    unsigned long iterators; /* number of iterators currently running */
} dict;

字典的实现，采用了哈希表(hash table)的结构。在dict的结构中，包含了哈希表的结构dictht的数组，数组的长度为2。每个字典包含两个哈希表结构，主要是为了实现增量重新哈希功能时，避免在大数据量的情况下，哈希表一次性扩展时导致的性能问题。
底层哈希表的实现，是典型的数组+拉链的形式，dictht结构中的成员table指向的dictEntry指针数组，size表示哈希表的大小，sizemask为大小掩码，used的表示哈希表中已实现的哈希桶的个数。dict提供下列的宏：

#define dictSlots(d) ((d)->ht[0].size+(d)->ht[1].size)
#define dictSize(d) ((d)->ht[0].used+(d)->ht[1].used)

dictEntry为字典的条目，用于存储key，value及链表指针。value使用了union的结构，方便都不同类型的值进行存储。dictEntry提供下列宏来便捷的访问和操作成员变量：

#define dictSetSignedIntegerVal(entry, _val_) \
    do { (entry)->v.s64 = _val_; } while(0)

#define dictSetUnsignedIntegerVal(entry, _val_) \
    do { (entry)->v.u64 = _val_; } while(0)

#define dictSetDoubleVal(entry, _val_) \
    do { (entry)->v.d = _val_; } while(0)
    
#define dictGetKey(he) ((he)->key)
#define dictGetVal(he) ((he)->v.val)
#define dictGetSignedIntegerVal(he) ((he)->v.s64)
#define dictGetUnsignedIntegerV