Redis数据结构——SDS，链表

简单动态字符串

struct sdshdr {
    unsigned int len; //记录buf数组中已使用字节的数量 等于SDS所保存字符串的长度
    unsigned int free; // 记录buf数组中未使用字节的数量
    char buf[];    //字节数组，用于保存字符串
};

SDS在len属性中记录了SDS自己的长度，因此获取一个SDS长度的复杂度仅为O(1)。

SDS的空间分配策略彻底杜绝了发生缓冲区溢出的可能性。当SDS API须要对SDS进行修改时，API会先检查SDS的空间是否知足修改所须要的要求，若是不知足的话，API会自动将SDS的空间扩展至执行修改所需的大小，而后才执行实际的修改操做，因此

SDS 既不须要手动修改SDS的空间大小，也不会出现缓冲区溢出问题。

SDS经过free 未使用空间解除了字符串长度和底层数组长度之间的关联；在SDS中，buf数组的长度不必定就是字符串数量加1，数组中可包含未使用的字节，而这些字节的数组就有SDS的free属性记录。

使用未使用空间，SDS实现了空间预分配和惰性空间释放两种优化策略。

Redis 只会使用C字符串做为字面量，在大多数状况下，Redis 使用SDS（Simple Dynamic String, 简单动态字符串）做为字符串表示。

比起C字符串，SDS具备如下优势：

1. 常数复杂度获取字符串长度。
   

2. 杜绝缓冲区溢出。

3. 减小修改字符串长度使所需的内存重分配次数。

4. 二进制安全

5. 兼容部分C字符串函数

---

链表

typedef struct listNode {
    struct listNode *prev;  //前置节点
    struct listNode *next;  //后置节点
    void *value;    //节点的值
} listNode;

typedef struct listIter {
    listNode *next;
    int direction;
} listIter;

typedef struct list {
    listNode *head;    //表头节点
    listNode *tail;    //表尾节点
    void *(*dup)(void *ptr);    //节点值复制函数
    void (*free)(void *ptr);    //节点值释放函数
    int (*match)(void *ptr, void *key);    //节点值对比函数
    unsigned long len;    //链表所包含的节点数量
} list;

Redis的链表实现的特性能够总结以下：

双端：链表节点带有prev和next指针，获取某个节点的前置节点和后置节点的复杂度都是O(1)

无环: 表头节点的prev指针和表尾节点的next指针都指向NULL, 对链表的访问以NULL为终点。

带表头指针和表尾指针：经过list结构的head指针和tail指针，程序获取链表的表头节点和表尾节点的复杂度为O（1）.

带链表长度计数器：程序使用list结构的len属性来对list持有的链表节点进行计数，程序获取链表中节点数量的复杂度为O（1）。

多态： 链表节点使用void *指针来保存节点值，而且能够经过list结构的dup,free,match三个属性为节点值设置类型特定函数，因此链表能够用于保存各类不一样类型的值。