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的指针。所以就有后面的