Redis 源码解析 - Redis 基本类型一字符串SDS

Redis中的字符串（String）并不是直接使用C语言的原生字符串（即以空字符\0结尾的字符数组），而是采用了一种名为Simple Dynamic String（简称SDS）的数据结构来实现。SDS设计的主要目的是提高字符串操作的效率，尤其是在频繁修改和读取字符串长度的场景下。以下是SDS的一些关键特性及其实现细节：

SDS 数据结构

在Redis 3.2版本之后，SDS的结构大致如下（具体实现可能随版本更新而有所变化）：

struct sdshdr {
    // 记录buf数组中已使用的字节数量
    int len;
    // 记录buf数组中未使用的字节数量
    int free;
    // 字符数组，用于存储字符串数据
    char buf[];
};

SDS 的特点

1. 空间预分配：当对SDS进行修改，需要更多空间时，Redis不仅分配必要的空间，还会额外分配一些空间作为预留。对于追加操作（如append），如果追加后长度小于1MB，则至少分配当前长度的两倍空间；如果大于等于1MB，则至少分配1MB的额外空间。这样可以减少连续追加操作导致的频繁内存重分配。

2. 惰性空间释放：当SDS的字符串缩短时，并不会立即释放多出来的空间，而是通过free字段记录下来，供后续可能的增长使用。只有在sdstrim或者sdsalloc这类显式操作时才会真正释放多余的空间。

3. 二进制安全：SDS不依赖于\0作为字符串结束标志，而是通过len字段记录字符串的实际长度，因此可以用来保存包括\0在内的任意二进制数据。

4. 兼容C字符串：尽管SDS不是简单的C字符串，但它可以通过添加一个\0字符在末尾快速转换为C字符串，因此可以无缝对接C库的函数。

5. 常数时间获取长度：由于直接存储了字符串的长度信息，获取字符串长度的操作时间复杂度为O(1)，不需要像C字符串那样遍历整个字符串。

SDS 实现分析

在Redis源码中，sds.c和sds.h文件包含了SDS数据结构的定义和各种操作SDS的函数，如创建、销毁、长度获取、扩容、缩容、追加、截取等。这些函数的设计都围绕着提高字符串操作的效率和灵活性，确保Redis在处理大量字符串数据时能保持高性能。例如，sdsMakeRoomFor函数负责在需要时为SDS分配更多空间，而sdscatlen则用于追加指定长度的字符串数据。

综上所述，SDS是Redis为了优化字符串操作性能而设计的一种高效动态字符串实现，它通过一系列精巧的设计，解决了C语言原生字符串在处理复杂场景下的不足，是Redis能够高效处理字符串数据的关键。