redis字符串源码解析(sds.h/sds.c)

redis字符串源码解析(sds.h/sds.c)

字符串的定义

首先看一下redis字符串结构体

/*
 * 类型别名，用于指向 sdshdr 的 buf 属性
 */
typedef char *sds;

struct sdshdr {
      
    // buf 中已占用空间的长度
    int len;
    // buf 中剩余可用空间的长度
    int free;
    // 数据空间 实际上不占用内存空间sizeof(struct sdshdr) = 8
    char buf[];
};

这个都很好理解，使用结构体struct sdshdr来保存字符串；

注意：struct sdshdr中的char buf[],是针对可变长结构体的编程技巧，必须强调这点，否则后面没法理解。sizeof(struct sdshdr) === 8(柔性数组成员不占用结构体的空间，只作为一个符号地址存在，而且必须是结构体的最后一个成员。柔性数组成员不仅可以用于字符数组，还可以是元素为其它类型的数组。C99中，结构中的最后一个元素允许是未知大小的数组，这就叫做柔性数组成员，但结构中的柔性数组成员前面必须至少一个其他成员。柔性数组成员允许结构中包含一个大小可变的数组。sizeof返回的这种结构大小不包括**柔性数组的内存。包含柔性数组成员的结构用malloc()函数进行内存的动态分配，并且分配的内存应该大于结构的大小，以适应柔性数组的预期大小。)

新建redis字符串

/*
 * 根据给定的初始化字符串 init 和字符串长度 initlen
 * 创建一个新的 sds
 *
 * 参数
 *  init ：初始化字符串指针
 *  initlen ：初始化字符串的长度
 *
 * 返回值
 *  sds ：创建成功返回 sdshdr 相对应的 sds
 *        创建失败返回 NULL
 *
 * 复杂度
 *  T = O(N)
 */
sds sdsnewlen(const void *init, size_t initlen) {
   

    struct sdshdr *sh;

    // 根据是否有初始化内容，选择适当的内存分配方式
    // T = O(N)
    if (init) {
   
        // zmalloc 不初始化所分配的内存
        sh = zmalloc(sizeof(struct sdshdr)+initlen+1);
    } else {
   
        // zcalloc 将分配的内存全部初始化为 0
        sh = zcalloc(sizeof(struct sdshdr)+initlen+1);
    }

    // 内存分配失败，返回
    if (sh == NULL) return NULL;

    // 设置初始化长度
    sh->len = initlen;
    // 新 sds 不预留任何空间
    sh->free = 0;
    // 如果有指定初始化内容，将它们复制到 sdshdr 的 buf 中
    // T = O(N)
    if (initlen && init)
        memcpy(sh->buf, init, initlen);
    // 以 \0 结尾
    sh->buf[initlen] = '\0';

    // 返回 buf 部分，而不是整个 sdshdr
    return (char*)sh->buf;
}

这个函数调用例如：sdsnewlen(“redis”,5)

会根据init判断内存是否初始化，所以有两种初始化方式，分配内存大小都是

sizeof(struct sdshdr)+initlen+1，1是为了给\0;

注意： return (char)sh->buf;*

返回的是buf的指针，而不是sh，如果后面我们想改变结构体中的len和free怎么办呢。

这里有内存的知识需要注意，我们的结构体在内存中存放是这样的：

|5|0|“redis”|现在返回的指针指向"redis",当我们使用sh->buf的内存减去两个int就能得到sh的指针。所以就有后面的