sds-1

sds结构-1

数据结构

这里比较有意思的是GNU C的零长度数组，sizeof(char buf[0]) == 0， 关于这篇内容的C语言技巧改日写一篇文章阐述

struct __attribute__ ((__packed__)) sdshdr8 {
    uint8_t len; /* used */
    uint8_t alloc; /* excluding the header and null terminator */
    unsigned char flags; /* 3 lsb of type, 5 unused bits */
    char buf[];
};
struct __attribute__ ((__packed__)) sdshdr16 {
    uint16_t len; /* used */
    uint16_t alloc; /* excluding the header and null terminator */
    unsigned char flags; /* 3 lsb of type, 5 unused bits */
    char buf[];
};
struct __attribute__ ((__packed__)) sdshdr32 {
    uint32_t len; /* used */
    uint32_t alloc; /* excluding the header and null terminator */
    unsigned char flags; /* 3 lsb of type, 5 unused bits */
    char buf[];
};
struct __attribute__ ((__packed__)) sdshdr64 {
    uint64_t len; /* used */
    uint64_t alloc; /* excluding the header and null terminator */
    unsigned char flags; /* 3 lsb of type, 5 unused bits */
    char buf[];
};   

len：字符串长度
alloc：可用容量
flags：数据类型
buf：字符数据

可以看到，内容相同的数据结构，因为类型的原因按字长定义了四种。 redis存储的时候选最小的可用的结构去描述字符串，在避免内存消耗方面做到了极致。

宏解析

#define SDS_TYPE_8  1
#define SDS_TYPE_16 2
#define SDS_TYPE_32 3
#define SDS_TYPE_64 4
#define SDS_TYPE_MASK 7
#define SDS_TYPE_BITS 3
#define SDS_HDR_VAR(T,s) struct sdshdr##T *sh = (struct sdshdr##T *)((s)-(sizeof(struct sdshdr##T)));
#define SDS_HDR(T,s) ((struct sdshdr##T *)((s)-(sizeof(struct sdshdr##T))))
#define SDS_TYPE_5_LEN(f) ((f)>>SDS_TYPE_BITS)   

flags值最大为4，占3位，所以SDS_TYPE_BITS为3，SDS_TYPE_MASK为7。
SDS_HDR就是获得一个类型的基地址，同时做了强制类型转换，这里所谓的基地址就是结构体的地址。
SDS_HDR_VAR就是定义了一个具体类型的指针。
可以看到redis作者通过宏来动态管理字符串的类型。这些trick玩的比较好，有可能是我玩单片机的时候接触不到这么高级的写法。

函数解析

因为传入的sds都是真正存储的位置，而函数中都会先获取到具体类型才执行相应逻辑。
unsigned char flags = s[-1];
因为声明结构体时已经取消了优化字节对齐，所以这些结构体都是程序都是连续存储的。
上述操作就是拿到了结构体的flags成员,这里的trick就是[]的玩法，其实就是base_addr+offset

sdslen

typedef char *sds;

static inline size_t sdslen(const sds s) {
    unsigned char flags = s[-1];
    switch(flags&SDS_TYPE_MASK) {
        case SDS_TYPE_5:
            return SDS_TYPE_5_LEN(flags);
        case SDS_TYPE_8:
            return SDS_HDR(8,s)->len;
        case SDS_TYPE_16:
            return SDS_HDR(16,s)->len;
        case SDS_TYPE_32:
            return SDS_HDR(32,s)->len;
        case SDS_TYPE_64:
            return SDS_HDR(64,s)->len;
    }
    return 0;
}
//就是获取到真正类型后直接取出对应的成员

static inline size_t sdsavail(const sds s);
static inline void sdssetlen(sds s, size_t newlen);
static inline void sdsinclen(sds s, size_t inc);
static inline size_t sdsalloc(const sds s);
static inline void sdssetalloc(sds s, size_t newlen);
//上述几个函数都是对结构体成员的获取和更新    

//其实就是在算法前多了获取类型的操作

总结

觉得自己学的很浅，很多都没有接触过。redis作者这么巧妙的使用宏和各种自己想不到的知识点去实现，很有学习借鉴意义。你和大神的差别就在思想。