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三个属性为节点值设置类型特定函数，所以链表可以用于保存各种不同类型的值。