【Redis】SDS 与 C 字符串的区别

Dear 丶 2021-10-18 15:54 261阅读 0赞

# SDS 与 C 字符串的区别 #

--------------------

根据传统， C 语言使用长度为 `N+1` 的字符数组来表示长度为 `N` 的字符串， 并且字符数组的最后一个元素总是空字符 `'\0'` 。

比如说， 图 2-3 就展示了一个值为 `"Redis"` 的 C 字符串：

![digraph \{    label = "\\n 图 2-3    C 字符串";    rankdir = LR;    node \[shape = record\];    //    buf \[label = "\{ 'R' | 'e' | 'd' | 'i' | 's' | '\\\\0' \}"\];\}][digraph _ label _ _n _ 2-3 C _ rankdir _ LR_ node _shape _ record_ _ buf _label _ _ _R_ _ _e_ _ _d_ _ _i_ _ _s_ _ _0_]

C 语言使用的这种简单的字符串表示方式， 并不能满足 Redis 对字符串在安全性、效率、以及功能方面的要求， 本节接下来的内容将详细对比 C 字符串和 SDS 之间的区别， 并说明 SDS 比 C 字符串更适用于 Redis 的原因。

## 常数复杂度获取字符串长度 ##

因为 C 字符串并不记录自身的长度信息， 所以为了获取一个 C 字符串的长度， 程序必须遍历整个字符串， 对遇到的每个字符进行计数， 直到遇到代表字符串结尾的空字符为止， 这个操作的复杂度为 O(N) 。

举个例子， 图 2-4 展示了程序计算一个 C 字符串长度的过程。

![digraph \{    rankdir = TB;    node \[shape = record\];    str \[label = " <1> 'R' | <2> 'e' | <3> 'd' | <4> 'i' | <5> 's' | <6> '\\\\0' "\];    node \[shape = plaintext\];    p1 \[label = "len = 1"\];    p1 -> str:1;\}][digraph _ rankdir _ TB_ node _shape _ record_ str _label _ _ _1_ _R_ _ _2_ _e_ _ _3_ _d_ _ _4_ _i_ _ _5_ _s_ _ _6_ _0_ _ node _shape _ plaintext_ p1 _label _ _len _ 1_ p1 -_ str_1]

![digraph \{    rankdir = TB;    node \[shape = record\];    str \[label = " <1> 'R' | <2> 'e' | <3> 'd' | <4> 'i' | <5> 's' | <6> '\\\\0' "\];    node \[shape = plaintext\];    p2 \[label = "len = 2"\];    p2 -> str:2;\}][digraph _ rankdir _ TB_ node _shape _ record_ str _label _ _ _1_ _R_ _ _2_ _e_ _ _3_ _d_ _ _4_ _i_ _ _5_ _s_ _ _6_ _0_ _ node _shape _ plaintext_ p2 _label _ _len _ 2_ p2 -_ str_2]

![digraph \{    rankdir = TB;    node \[shape = record\];    str \[label = " <1> 'R' | <2> 'e' | <3> 'd' | <4> 'i' | <5> 's' | <6> '\\\\0' "\];    node \[shape = plaintext\];    p3 \[label = "len = 3"\];    p3 -> str:3;\}][digraph _ rankdir _ TB_ node _shape _ record_ str _label _ _ _1_ _R_ _ _2_ _e_ _ _3_ _d_ _ _4_ _i_ _ _5_ _s_ _ _6_ _0_ _ node _shape _ plaintext_ p3 _label _ _len _ 3_ p3 -_ str_3]

![digraph \{    rankdir = TB;    node \[shape = record\];    str \[label = " <1> 'R' | <2> 'e' | <3> 'd' | <4> 'i' | <5> 's' | <6> '\\\\0' "\];    node \[shape = plaintext\];    p4 \[label = "len = 4"\];    p4 -> str:4;\}][digraph _ rankdir _ TB_ node _shape _ record_ str _label _ _ _1_ _R_ _ _2_ _e_ _ _3_ _d_ _ _4_ _i_ _ _5_ _s_ _ _6_ _0_ _ node _shape _ plaintext_ p4 _label _ _len _ 4_ p4 -_ str_4]

![digraph \{    rankdir = TB;    node \[shape = record\];    str \[label = " <1> 'R' | <2> 'e' | <3> 'd' | <4> 'i' | <5> 's' | <6> '\\\\0' "\];    node \[shape = plaintext\];    p5 \[label = "len = 5"\];    p5 -> str:5;\}][digraph _ rankdir _ TB_ node _shape _ record_ str _label _ _ _1_ _R_ _ _2_ _e_ _ _3_ _d_ _ _4_ _i_ _ _5_ _s_ _ _6_ _0_ _ node _shape _ plaintext_ p5 _label _ _len _ 5_ p5 -_ str_5]

![digraph \{    label = "\\n 图 2-4    计算 C 字符串长度的过程";    rankdir = TB;    node \[shape = record\];    str \[label = " <1> 'R' | <2> 'e' | <3> 'd' | <4> 'i' | <5> 's' | <6> '\\\\0' "\];    node \[shape = plaintext\];    p6 \[label = "发现空字符 \\n 停止计数 \\n 字符串的长度为 5 字节"\];    p6 -> str:6;\}][digraph _ label _ _n _ 2-4 _ C _ rankdir _ TB_ node _shape _ record_ str _label _ _ _1_ _R_ _ _2_ _e_ _ _3_ _d_ _ _4_ _i_ _ _5_ _s_ _ _6_ _0_ _ node _shape _ plaintext_ p6 _label _ _ _n _ _n _ 5 _ p6 -_ str_6]

和 C 字符串不同， 因为 SDS 在 `len` 属性中记录了 SDS 本身的长度， 所以获取一个 SDS 长度的复杂度仅为 O(1) 。

举个例子， 对于图 2-5 所示的 SDS 来说， 程序只要访问 SDS 的 `len` 属性， 就可以立即知道 SDS 的长度为 `5` 字节：

![digraph \{    label = "\\n 图 2-5    五字节长的 SDS";    rankdir = LR;    node \[shape = record\];    //    sdshdr \[label = "sdshdr | free \\n 0 | len \\n 5 | <buf> buf"\];    buf \[label = "\{ 'R' | 'e' | 'd' | 'i' | 's' | '\\\\0' \}"\];    //    sdshdr:buf -> buf;\}][digraph _ label _ _n _ 2-5 _ SDS_ rankdir _ LR_ node _shape _ record_ _ sdshdr _label _ _sdshdr _ free _n 0 _ len _n 5 _ _buf_ buf_ buf _label _ _ _R_ _ _e_ _ _d_ _ _i_ _ _s_ _ _0_ _ _ sdshdr_buf -_ buf]

又比如说， 对于图 2-6 展示的 SDS 来说， 程序只要访问 SDS 的 `len` 属性， 就可以立即知道 SDS 的长度为 `11` 字节。

![digraph \{    label = "\\n 图 2-6    十一字节长的 SDS";    rankdir = LR;    node \[shape = record\];    //    sdshdr \[label = "sdshdr | free \\n 0 | len \\n 11 | <buf> buf"\];    buf \[label = "\{ 'h' | 'e' | 'l' | 'l' | 'o' | ' ' | 'w' | 'o' | 'r' | 'l' | 'd' | '\\\\0' \}"\];    //    sdshdr:buf -> buf;\}][digraph _ label _ _n _ 2-6 _ SDS_ rankdir _ LR_ node _shape _ record_ _ sdshdr _label _ _sdshdr _ free _n 0 _ len _n 11 _ _buf_ buf_ buf _label _ _ _h_ _ _e_ _ _l_ _ _l_ _ _o_ _ _ _ _ _w_ _ _o_ _ _r_ _ _l_ _ _d_ _ _0_ _ _ sdshdr_buf -_ buf]

设置和更新 SDS 长度的工作是由 SDS 的 API 在执行时自动完成的， 使用 SDS 无须进行任何手动修改长度的工作。

通过使用 SDS 而不是 C 字符串， Redis 将获取字符串长度所需的复杂度从 O(N) 降低到了 O(1) ， 这确保了获取字符串长度的工作不会成为 Redis 的性能瓶颈。

比如说， 因为字符串键在底层使用 SDS 来实现， 所以即使我们对一个非常长的字符串键反复执行 STRLEN 命令， 也不会对系统性能造成任何影响， 因为 STRLEN 命令的复杂度仅为 O(1) 。

## 杜绝缓冲区溢出 ##

除了获取字符串长度的复杂度高之外， C 字符串不记录自身长度带来的另一个问题是容易造成缓冲区溢出（buffer overflow）。

举个例子， `<string.h>/strcat` 函数可以将 `src` 字符串中的内容拼接到 `dest` 字符串的末尾：

char *strcat(char *dest, const char *src);

因为 C 字符串不记录自身的长度， 所以 `strcat` 假定用户在执行这个函数时， 已经为 `dest` 分配了足够多的内存， 可以容纳 `src` 字符串中的所有内容， 而一旦这个假定不成立时， 就会产生缓冲区溢出。

举个例子， 假设程序里有两个在内存中紧邻着的 C 字符串 `s1` 和 `s2` ， 其中 `s1` 保存了字符串 `"Redis"` ， 而 `s2` 则保存了字符串 `"MongoDB"` ， 如图 2-7 所示。

![digraph \{    label = "\\n 图 2-7    在内存中紧邻的两个 C 字符串";    rankdir = TB;    //    node \[shape = record\];    memory \[label = " ... | <s1> 'R' | 'e' | 'd' | 'i' | 's' | '\\\\0' | <s2> 'M' | 'o' | 'n' | 'g' | 'o' | 'D' | 'B' | '\\\\0' | ... "\];    //    node \[shape = plaintext\];    s1 -> memory:s1;    s2 -> memory:s2;\}][digraph _ label _ _n _ 2-7 _ C _ rankdir _ TB_ _ node _shape _ record_ memory _label _ _ ... _ _s1_ _R_ _ _e_ _ _d_ _ _i_ _ _s_ _ _0_ _ _s2_ _M_ _ _o_ _ _n_ _ _g_ _ _o_ _ _D_ _ _B_ _ _0_ _ ... _ _ node _shape _ plaintext_ s1 -_ memory_s1_ s2 -_ memory_s2]

如果一个程序员决定通过执行：

strcat(s1, " Cluster");

将 `s1` 的内容修改为 `"Redis Cluster"` ， 但粗心的他却忘了在执行 `strcat` 之前为 `s1` 分配足够的空间， 那么在 `strcat` 函数执行之后， `s1` 的数据将溢出到 `s2` 所在的空间中， 导致 `s2` 保存的内容被意外地修改， 如图 2-8 所示。

![digraph \{    label = "\\n 图 2-8    s1 的内容溢出到了 s2 所在的位置上";    rankdir = TB;    //    node \[shape = record\];    memory \[label = " ... | <s1> 'R' | 'e' | 'd' | 'i' | 's' | ' ' | <s2> 'C' | 'l' | 'u' | 's' | 't' | 'e' | 'r' | '\\\\0' | ... "\];    //    node \[shape = plaintext\];    s1 -> memory:s1;    s2 -> memory:s2;\}][digraph _ label _ _n _ 2-8 s1 _ s2 _ rankdir _ TB_ _ node _shape _ record_ memory _label _ _ ... _ _s1_ _R_ _ _e_ _ _d_ _ _i_ _ _s_ _ _ _ _ _s2_ _C_ _ _l_ _ _u_ _ _s_ _ _t_ _ _e_ _ _r_ _ _0_ _ ... _ _ node _shape _ plaintext_ s1 -_ memory_s1_ s2 -_ memory_s2]

与 C 字符串不同， SDS 的空间分配策略完全杜绝了发生缓冲区溢出的可能性： 当 SDS API 需要对 SDS 进行修改时， API 会先检查 SDS 的空间是否满足修改所需的要求， 如果不满足的话， API 会自动将 SDS 的空间扩展至执行修改所需的大小， 然后才执行实际的修改操作， 所以使用 SDS 既不需要手动修改 SDS 的空间大小， 也不会出现前面所说的缓冲区溢出问题。

举个例子， SDS 的 API 里面也有一个用于执行拼接操作的 `sdscat` 函数， 它可以将一个 C 字符串拼接到给定 SDS 所保存的字符串的后面， 但是在执行拼接操作之前， `sdscat` 会先检查给定 SDS 的空间是否足够， 如果不够的话， `sdscat` 就会先扩展 SDS 的空间， 然后才执行拼接操作。

比如说， 如果我们执行：

sdscat(s, " Cluster");

其中 SDS 值 `s` 如图 2-9 所示， 那么 `sdscat` 将在执行拼接操作之前检查 `s` 的长度是否足够， 在发现 `s` 目前的空间不足以拼接 `" Cluster"` 之后， `sdscat` 就会先扩展 `s` 的空间， 然后才执行拼接 `" Cluster"` 的操作， 拼接操作完成之后的 SDS 如图 2-10 所示。

![digraph \{    label = "\\n 图 2-9    sdscat 执行之前的 SDS";    rankdir = LR;    node \[shape = record\];    //    sdshdr \[label = "sdshdr | free \\n 0 | len \\n 5 | <buf> buf"\];    buf \[label = "\{ 'R' | 'e' | 'd' | 'i' | 's' | '\\\\0' \}"\];    //    sdshdr:buf -> buf;\}][digraph _ label _ _n _ 2-9 sdscat _ SDS_ rankdir _ LR_ node _shape _ record_ _ sdshdr _label _ _sdshdr _ free _n 0 _ len _n 5 _ _buf_ buf_ buf _label _ _ _R_ _ _e_ _ _d_ _ _i_ _ _s_ _ _0_ _ _ sdshdr_buf -_ buf]

![digraph \{    label = "\\n 图 2-10    sdscat 执行之后的 SDS";    rankdir = LR;    node \[shape = record\];    //    sdshdr \[label = "sdshdr | free \\n 13 | len \\n 13 | <buf> buf"\];    buf \[label = "\{ 'R' | 'e' | 'd' | 'i' | 's' | ' ' | 'C' | 'l' | 'u' | 's' | 't' | 'e' | 'r'| '\\\\0' | ... \}"\];    //    sdshdr:buf -> buf;\}][digraph _ label _ _n _ 2-10 sdscat _ SDS_ rankdir _ LR_ node _shape _ record_ _ sdshdr _label _ _sdshdr _ free _n 13 _ len _n 13 _ _buf_ buf_ buf _label _ _ _R_ _ _e_ _ _d_ _ _i_ _ _s_ _ _ _ _ _C_ _ _l_ _ _u_ _ _s_ _ _t_ _ _e_ _ _r_ _0_ _ ... _ _ sdshdr_buf -_ buf]

注意图 2-10 所示的 SDS ： `sdscat` 不仅对这个 SDS 进行了拼接操作， 它还为 SDS 分配了 `13` 字节的未使用空间， 并且拼接之后的字符串也正好是 `13` 字节长， 这种现象既不是 bug 也不是巧合， 它和 SDS 的空间分配策略有关， 接下来的小节将对这一策略进行说明。

## 减少修改字符串时带来的内存重分配次数 ##

正如前两个小节所说， 因为 C 字符串并不记录自身的长度， 所以对于一个包含了 `N` 个字符的 C 字符串来说， 这个 C 字符串的底层实现总是一个 `N+1` 个字符长的数组（额外的一个字符空间用于保存空字符）。

因为 C 字符串的长度和底层数组的长度之间存在着这种关联性， 所以每次增长或者缩短一个 C 字符串， 程序都总要对保存这个 C 字符串的数组进行一次内存重分配操作：

*  如果程序执行的是增长字符串的操作， 比如拼接操作（append）， 那么在执行这个操作之前， 程序需要先通过内存重分配来扩展底层数组的空间大小 —— 如果忘了这一步就会产生缓冲区溢出。
 *  如果程序执行的是缩短字符串的操作， 比如截断操作（trim）， 那么在执行这个操作之后， 程序需要通过内存重分配来释放字符串不再使用的那部分空间 —— 如果忘了这一步就会产生内存泄漏。

举个例子， 如果我们持有一个值为 `"Redis"` 的 C 字符串 `s` ， 那么为了将 `s` 的值改为 `"Redis Cluster"` ， 在执行：

strcat(s, " Cluster");

之前， 我们需要先使用内存重分配操作， 扩展 `s` 的空间。

之后， 如果我们又打算将 `s` 的值从 `"Redis Cluster"` 改为 `"Redis Cluster Tutorial"` ， 那么在执行：

strcat(s, " Tutorial");

之前， 我们需要再次使用内存重分配扩展 `s` 的空间， 诸如此类。

因为内存重分配涉及复杂的算法， 并且可能需要执行系统调用， 所以它通常是一个比较耗时的操作：

*  在一般程序中， 如果修改字符串长度的情况不太常出现， 那么每次修改都执行一次内存重分配是可以接受的。
 *  但是 Redis 作为数据库， 经常被用于速度要求严苛、数据被频繁修改的场合， 如果每次修改字符串的长度都需要执行一次内存重分配的话， 那么光是执行内存重分配的时间就会占去修改字符串所用时间的一大部分， 如果这种修改频繁地发生的话， 可能还会对性能造成影响。

为了避免 C 字符串的这种缺陷， SDS 通过未使用空间解除了字符串长度和底层数组长度之间的关联： 在 SDS 中， `buf` 数组的长度不一定就是字符数量加一， 数组里面可以包含未使用的字节， 而这些字节的数量就由 SDS 的 `free` 属性记录。

通过未使用空间， SDS 实现了空间预分配和惰性空间释放两种优化策略。

### 空间预分配 ###

空间预分配用于优化 SDS 的字符串增长操作： 当 SDS 的 API 对一个 SDS 进行修改， 并且需要对 SDS 进行空间扩展的时候， 程序不仅会为 SDS 分配修改所必须要的空间， 还会为 SDS 分配额外的未使用空间。

其中， 额外分配的未使用空间数量由以下公式决定：

*  如果对 SDS 进行修改之后， SDS 的长度（也即是 `len` 属性的值）将小于 `1 MB` ， 那么程序分配和 `len` 属性同样大小的未使用空间， 这时 SDS `len` 属性的值将和 `free` 属性的值相同。 举个例子， 如果进行修改之后， SDS 的 `len` 将变成 `13` 字节， 那么程序也会分配 `13`字节的未使用空间， SDS 的 `buf` 数组的实际长度将变成 `13 + 13 + 1 = 27` 字节（额外的一字节用于保存空字符）。
 *  如果对 SDS 进行修改之后， SDS 的长度将大于等于 `1 MB` ， 那么程序会分配 `1 MB` 的未使用空间。 举个例子， 如果进行修改之后， SDS 的 `len` 将变成 `30 MB` ， 那么程序会分配 `1 MB` 的未使用空间， SDS 的 `buf` 数组的实际长度将为 `30 MB + 1 MB + 1 byte` 。

通过空间预分配策略， Redis 可以减少连续执行字符串增长操作所需的内存重分配次数。

举个例子， 对于图 2-11 所示的 SDS 值 `s` 来说， 如果我们执行：

sdscat(s, " Cluster");

那么 `sdscat` 将执行一次内存重分配操作， 将 SDS 的长度修改为 `13` 字节， 并将 SDS 的未使用空间同样修改为 `13` 字节， 如图 2-12 所示。

![digraph \{    label = "\\n 图 2-11    执行 sdscat 之前的 SDS";    rankdir = LR;    node \[shape = record\];    //    sdshdr \[label = "sdshdr | free \\n 0 | len \\n 5 | <buf> buf"\];    buf \[label = "\{ 'R' | 'e' | 'd' | 'i' | 's' | '\\\\0' \}"\];    //    sdshdr:buf -> buf;\}][digraph _ label _ _n _ 2-11 _ sdscat _ SDS_ rankdir _ LR_ node _shape _ record_ _ sdshdr _label _ _sdshdr _ free _n 0 _ len _n 5 _ _buf_ buf_ buf _label _ _ _R_ _ _e_ _ _d_ _ _i_ _ _s_ _ _0_ _ _ sdshdr_buf -_ buf]

![digraph \{    label = "\\n 图 2-12    执行 sdscat 之后的 SDS";    rankdir = LR;    node \[shape = record\];    //    sdshdr \[label = "sdshdr | free \\n 13 | len \\n 13 | <buf> buf"\];    buf \[label = "\{ 'R' | 'e' | 'd' | 'i' | 's' | ' ' | 'C' | 'l' | 'u' | 's' | 't' | 'e' | 'r'| '\\\\0' | ... \}"\];    //    sdshdr:buf -> buf;\}][digraph _ label _ _n _ 2-12 _ sdscat _ SDS_ rankdir _ LR_ node _shape _ record_ _ sdshdr _label _ _sdshdr _ free _n 13 _ len _n 13 _ _buf_ buf_ buf _label _ _ _R_ _ _e_ _ _d_ _ _i_ _ _s_ _ _ _ _ _C_ _ _l_ _ _u_ _ _s_ _ _t_ _ _e_ _ _r_ _0_ _ ... _ _ sdshdr_buf -_ buf]

如果这时， 我们再次对 `s` 执行：

sdscat(s, " Tutorial");

那么这次 `sdscat` 将不需要执行内存重分配： 因为未使用空间里面的 `13` 字节足以保存 `9` 字节的 `" Tutorial"` ， 执行 `sdscat` 之后的 SDS 如图 2-13 所示。

![digraph \{    label = "\\n 图 2-13    再次执行 sdscat 之后的 SDS";    rankdir = LR;    node \[shape = record\];    //    sdshdr \[label = "sdshdr | free \\n 4 | len \\n 22 | <buf> buf"\];    //buf \[label = "\{ 'R' | 'e' | 'd' | 'i' | 's' | ' ' | 'C' | 'l' | 'u' | 's' | 't' | 'e' | 'r'| ' ' | 'T' | 'u' | 't' | 'o' | 'r' | 'i' | 'a' | 'l' | '\\\\0' | ... \}"\];    buf \[label = "\{ 'R' | 'e' | 'd' | 'i' | 's' | ... | ' ' | 'T' | 'u' | 't' | 'o' | 'r' | 'i' | 'a' | 'l' | '\\\\0' | ... \}"\];    //    sdshdr:buf -> buf;\}][digraph _ label _ _n _ 2-13 _ sdscat _ SDS_ rankdir _ LR_ node _shape _ record_ _ sdshdr _label _ _sdshdr _ free _n 4 _ len _n 22 _ _buf_ buf_ _buf _label _ _ _R_ _ _e_ _ _d_ _ _i_ _ _s_ _ _ _ _ _C_ _ _l_ _ _u_ _ _s_ _ _t_ _ _e_ _ _r_ _ _ _ _T_ _ _u_ _ _t_ _ _o_ _ _r_ _ _i_ _ _a_ _ _l_ _ _0_ _ ... _ buf _label _ _ _R_ _ _e_ _ _d_ _ _i_ _ _s_ _ ... _ _ _ _ _T_ _ _u_ _ _t_ _ _o_ _ _r_ _ _i_ _ _a_ _ _l_ _ _0_ _ ... _ _ sdshdr_buf -_ buf]

在扩展 SDS 空间之前， SDS API 会先检查未使用空间是否足够， 如果足够的话， API 就会直接使用未使用空间， 而无须执行内存重分配。

通过这种预分配策略， SDS 将连续增长 `N` 次字符串所需的内存重分配次数从必定 `N` 次降低为最多 `N` 次。

### 惰性空间释放 ###

惰性空间释放用于优化 SDS 的字符串缩短操作： 当 SDS 的 API 需要缩短 SDS 保存的字符串时， 程序并不立即使用内存重分配来回收缩短后多出来的字节， 而是使用 `free` 属性将这些字节的数量记录起来， 并等待将来使用。

举个例子， `sdstrim` 函数接受一个 SDS 和一个 C 字符串作为参数， 从 SDS 左右两端分别移除所有在 C 字符串中出现过的字符。

比如对于图 2-14 所示的 SDS 值 `s` 来说， 执行：

sdstrim(s, "XY");   // 移除 SDS 字符串中的所有 'X' 和 'Y'

会将 SDS 修改成图 2-15 所示的样子。

![digraph \{    label = "\\n 图 2-14    执行 sdstrim 之前的 SDS";    rankdir = LR;    node \[shape = record\];    //    sdshdr \[label = "sdshdr | free \\n 0 | len \\n 11 | <buf> buf"\];    buf \[label = " \{ 'X' | 'Y' | 'X' | 'X' | 'Y' | 'a' | 'b' | 'c' | 'X' | 'Y' | 'Y' | '\\\\0' \} "\];    //    sdshdr:buf -> buf;\}][digraph _ label _ _n _ 2-14 _ sdstrim _ SDS_ rankdir _ LR_ node _shape _ record_ _ sdshdr _label _ _sdshdr _ free _n 0 _ len _n 11 _ _buf_ buf_ buf _label _ _ _ _X_ _ _Y_ _ _X_ _ _X_ _ _Y_ _ _a_ _ _b_ _ _c_ _ _X_ _ _Y_ _ _Y_ _ _0_ _ _ _ sdshdr_buf -_ buf]

![digraph \{    label = "\\n 图 2-15    执行 sdstrim 之后的 SDS";    rankdir = LR;    node \[shape = record\];    //    sdshdr \[label = "sdshdr | free \\n 8 | len \\n 3 | <buf> buf"\];    buf \[label = " \{ 'a' | 'b' | 'c' | '\\\\0' | <1> | <2> | <3> | <4> | <5> | <6> | <7> | <8> \} "\];    //    sdshdr:buf -> buf;\}][digraph _ label _ _n _ 2-15 _ sdstrim _ SDS_ rankdir _ LR_ node _shape _ record_ _ sdshdr _label _ _sdshdr _ free _n 8 _ len _n 3 _ _buf_ buf_ buf _label _ _ _ _a_ _ _b_ _ _c_ _ _0_ _ _1_ _ _2_ _ _3_ _ _4_ _ _5_ _ _6_ _ _7_ _ _8_ _ _ _ sdshdr_buf -_ buf]

注意执行 `sdstrim` 之后的 SDS 并没有释放多出来的 `8` 字节空间， 而是将这 `8` 字节空间作为未使用空间保留在了 SDS 里面， 如果将来要对 SDS 进行增长操作的话， 这些未使用空间就可能会派上用场。

举个例子， 如果现在对 `s` 执行：

sdscat(s, " Redis");

那么完成这次 `sdscat` 操作将不需要执行内存重分配： 因为 SDS 里面预留的 `8` 字节空间已经足以拼接 `6` 个字节长的 `" Redis"` ， 如图 2-16 所示。

![digraph \{    label = "\\n 图 2-16    执行 sdscat 之后的的 SDS";    rankdir = LR;    node \[shape = record\];    //    sdshdr \[label = "sdshdr | free \\n 2 | len \\n 9 | <buf> buf"\];    buf \[label = " \{ 'a' | 'b' | 'c' | ' ' | 'R' | 'e' | 'd' | 'i' | 's' | '\\\\0' | <1> | <2> \} "\];    //    sdshdr:buf -> buf;\}][digraph _ label _ _n _ 2-16 _ sdscat _ SDS_ rankdir _ LR_ node _shape _ record_ _ sdshdr _label _ _sdshdr _ free _n 2 _ len _n 9 _ _buf_ buf_ buf _label _ _ _ _a_ _ _b_ _ _c_ _ _ _ _ _R_ _ _e_ _ _d_ _ _i_ _ _s_ _ _0_ _ _1_ _ _2_ _ _ _ sdshdr_buf -_ buf]

通过惰性空间释放策略， SDS 避免了缩短字符串时所需的内存重分配操作， 并为将来可能有的增长操作提供了优化。

与此同时， SDS 也提供了相应的 API ， 让我们可以在有需要时， 真正地释放 SDS 里面的未使用空间， 所以不用担心惰性空间释放策略会造成内存浪费。

## 二进制安全 ##

C 字符串中的字符必须符合某种编码（比如 ASCII）， 并且除了字符串的末尾之外， 字符串里面不能包含空字符， 否则最先被程序读入的空字符将被误认为是字符串结尾 —— 这些限制使得 C 字符串只能保存文本数据， 而不能保存像图片、音频、视频、压缩文件这样的二进制数据。

举个例子， 如果有一种使用空字符来分割多个单词的特殊数据格式， 如图 2-17 所示， 那么这种格式就不能使用 C 字符串来保存， 因为 C 字符串所用的函数只会识别出其中的 `"Redis"` ， 而忽略之后的 `"Cluster"` 。

![digraph \{    label = "\\n 图 2-17    使用空字符来分割单词的特殊数据格式";    node \[shape = record\];    content \[label = " 'R' | 'e' | 'd' | 'i' | 's' | '\\\\0' | 'C' | 'l' | 'u' | 's' | 't' | 'e' | 'r' | '\\\\0' "\];\}][digraph _ label _ _n _ 2-17 _ node _shape _ record_ content _label _ _ _R_ _ _e_ _ _d_ _ _i_ _ _s_ _ _0_ _ _C_ _ _l_ _ _u_ _ _s_ _ _t_ _ _e_ _ _r_ _ _0_]

虽然数据库一般用于保存文本数据， 但使用数据库来保存二进制数据的场景也不少见， 因此， 为了确保 Redis 可以适用于各种不同的使用场景， SDS 的 API 都是二进制安全的（binary-safe）： 所有 SDS API 都会以处理二进制的方式来处理 SDS 存放在 `buf` 数组里的数据， 程序不会对其中的数据做任何限制、过滤、或者假设 —— 数据在写入时是什么样的， 它被读取时就是什么样。

这也是我们将 SDS 的 `buf` 属性称为字节数组的原因 —— Redis 不是用这个数组来保存字符， 而是用它来保存一系列二进制数据。

比如说， 使用 SDS 来保存之前提到的特殊数据格式就没有任何问题， 因为 SDS 使用 `len` 属性的值而不是空字符来判断字符串是否结束， 如图 2-18 所示。

![digraph \{    label = "\\n 图 2-18    保存了特殊数据格式的 SDS";    rankdir = LR;    node \[shape = record\];    //    sdshdr \[label = "sdshdr | free \\n 0 | len \\n 14 | <buf> buf"\];    buf \[label = " \{ 'R' | 'e' | 'd' | 'i' | 's' | '\\\\0' | 'C' | 'l' | 'u' | 's' | 't' | 'e' | 'r' | '\\\\0' | '\\\\0' \} "\];    //    sdshdr:buf -> buf;\}][digraph _ label _ _n _ 2-18 _ SDS_ rankdir _ LR_ node _shape _ record_ _ sdshdr _label _ _sdshdr _ free _n 0 _ len _n 14 _ _buf_ buf_ buf _label _ _ _ _R_ _ _e_ _ _d_ _ _i_ _ _s_ _ _0_ _ _C_ _ _l_ _ _u_ _ _s_ _ _t_ _ _e_ _ _r_ _ _0_ _ _0_ _ _ _ sdshdr_buf -_ buf]

通过使用二进制安全的 SDS ， 而不是 C 字符串， 使得 Redis 不仅可以保存文本数据， 还可以保存任意格式的二进制数据。

## 兼容部分 C 字符串函数 ##

虽然 SDS 的 API 都是二进制安全的， 但它们一样遵循 C 字符串以空字符结尾的惯例： 这些 API 总会将 SDS 保存的数据的末尾设置为空字符， 并且总会在为 `buf` 数组分配空间时多分配一个字节来容纳这个空字符， 这是为了让那些保存文本数据的 SDS 可以重用一部分 `<string.h>` 库定义的函数。

![digraph \{    label = "\\n 图 2-19    一个保存着文本数据的 SDS";    rankdir = LR;    node \[shape = record\];    //    sdshdr \[label = "sdshdr | free \\n 0 | len \\n 11 | <buf> buf"\];    buf \[label = "\{ 'h' | 'e' | 'l' | 'l' | 'o' | ' ' | 'R' | 'e' | 'd' | 'i' | 's' | '\\\\0' \}"\];    //    sdshdr:buf -> buf;\}][digraph _ label _ _n _ 2-19 _ SDS_ rankdir _ LR_ node _shape _ record_ _ sdshdr _label _ _sdshdr _ free _n 0 _ len _n 11 _ _buf_ buf_ buf _label _ _ _h_ _ _e_ _ _l_ _ _l_ _ _o_ _ _ _ _ _R_ _ _e_ _ _d_ _ _i_ _ _s_ _ _0_ _ _ sdshdr_buf -_ buf]

举个例子， 如图 2-19 所示， 如果我们有一个保存文本数据的 SDS 值 `sds` ， 那么我们就可以重用 `<string.h>/strcasecmp` 函数， 使用它来对比 SDS 保存的字符串和另一个 C 字符串：

strcasecmp(sds->buf, "hello world");

这样 Redis 就不用自己专门去写一个函数来对比 SDS 值和 C 字符串值了。

与此类似， 我们还可以将一个保存文本数据的 SDS 作为 `strcat` 函数的第二个参数， 将 SDS 保存的字符串追加到一个 C 字符串的后面：

strcat(c_string, sds->buf);

这样 Redis 就不用专门编写一个将 SDS 字符串追加到 C 字符串之后的函数了。

通过遵循 C 字符串以空字符结尾的惯例， SDS 可以在有需要时重用 `<string.h>` 函数库， 从而避免了不必要的代码重复。

## 总结 ##

表 2-1 对 C 字符串和 SDS 之间的区别进行了总结。

--------------------

表 2-1 C 字符串和 SDS 之间的区别

<table> 
 <thead> 
  <tr> 
   <th>C 字符串</th> 
   <th>SDS</th> 
  </tr> 
 </thead> 
 <tbody> 
  <tr> 
   <td>获取字符串长度的复杂度为&nbsp;O(N)&nbsp;。</td> 
   <td>获取字符串长度的复杂度为&nbsp;O(1)&nbsp;。</td> 
  </tr> 
  <tr> 
   <td>API 是不安全的，可能会造成缓冲区溢出。</td> 
   <td>API 是安全的，不会造成缓冲区溢出。</td> 
  </tr> 
  <tr> 
   <td>修改字符串长度&nbsp;<code>N</code>&nbsp;次必然需要执行&nbsp;<code>N</code>&nbsp;次内存重分配。</td> 
   <td>修改字符串长度&nbsp;<code>N</code>&nbsp;次最多需要执行&nbsp;<code>N</code>&nbsp;次内存重分配。</td> 
  </tr> 
  <tr> 
   <td>只能保存文本数据。</td> 
   <td>可以保存文本或者二进制数据。</td> 
  </tr> 
  <tr> 
   <td>可以使用所有&nbsp;<code>&lt;string.h&gt;</code>&nbsp;库中的函数。</td> 
   <td>可以使用一部分&nbsp;<code>&lt;string.h&gt;</code>&nbsp;库中的函数。</td> 
  </tr> 
 </tbody> 
</table>

[digraph _ label _ _n _ 2-3 C _ rankdir _ LR_ node _shape _ record_ _ buf _label _ _ _R_ _ _e_ _ _d_ _ _i_ _ _s_ _ _0_]: /images/20211018/9287742abb584fd8b76051dbf5b57cb3.png
[digraph _ rankdir _ TB_ node _shape _ record_ str _label _ _ _1_ _R_ _ _2_ _e_ _ _3_ _d_ _ _4_ _i_ _ _5_ _s_ _ _6_ _0_ _ node _shape _ plaintext_ p1 _label _ _len _ 1_ p1 -_ str_1]: /images/20211018/3d29da4a3f644298a456e4c4e4ba451b.png
[digraph _ rankdir _ TB_ node _shape _ record_ str _label _ _ _1_ _R_ _ _2_ _e_ _ _3_ _d_ _ _4_ _i_ _ _5_ _s_ _ _6_ _0_ _ node _shape _ plaintext_ p2 _label _ _len _ 2_ p2 -_ str_2]: /images/20211018/74bf855a2cf24896936e1ffabb0197b8.png
[digraph _ rankdir _ TB_ node _shape _ record_ str _label _ _ _1_ _R_ _ _2_ _e_ _ _3_ _d_ _ _4_ _i_ _ _5_ _s_ _ _6_ _0_ _ node _shape _ plaintext_ p3 _label _ _len _ 3_ p3 -_ str_3]: /images/20211018/190a8d2f9fa94442b20cd2d1b7b8eee1.png
[digraph _ rankdir _ TB_ node _shape _ record_ str _label _ _ _1_ _R_ _ _2_ _e_ _ _3_ _d_ _ _4_ _i_ _ _5_ _s_ _ _6_ _0_ _ node _shape _ plaintext_ p4 _label _ _len _ 4_ p4 -_ str_4]: /images/20211018/036208ca13794535953e6cc00805aab4.png
[digraph _ rankdir _ TB_ node _shape _ record_ str _label _ _ _1_ _R_ _ _2_ _e_ _ _3_ _d_ _ _4_ _i_ _ _5_ _s_ _ _6_ _0_ _ node _shape _ plaintext_ p5 _label _ _len _ 5_ p5 -_ str_5]: /images/20211018/235b8acf6bfd44508edc376e287340f9.png
[digraph _ label _ _n _ 2-4 _ C _ rankdir _ TB_ node _shape _ record_ str _label _ _ _1_ _R_ _ _2_ _e_ _ _3_ _d_ _ _4_ _i_ _ _5_ _s_ _ _6_ _0_ _ node _shape _ plaintext_ p6 _label _ _ _n _ _n _ 5 _ p6 -_ str_6]: /images/20211018/046fdb12f4d0424db70f533a6cf6b466.png
[digraph _ label _ _n _ 2-5 _ SDS_ rankdir _ LR_ node _shape _ record_ _ sdshdr _label _ _sdshdr _ free _n 0 _ len _n 5 _ _buf_ buf_ buf _label _ _ _R_ _ _e_ _ _d_ _ _i_ _ _s_ _ _0_ _ _ sdshdr_buf -_ buf]: /images/20211018/9d46a36cff6b443c9489d457d574f9f4.png
[digraph _ label _ _n _ 2-6 _ SDS_ rankdir _ LR_ node _shape _ record_ _ sdshdr _label _ _sdshdr _ free _n 0 _ len _n 11 _ _buf_ buf_ buf _label _ _ _h_ _ _e_ _ _l_ _ _l_ _ _o_ _ _ _ _ _w_ _ _o_ _ _r_ _ _l_ _ _d_ _ _0_ _ _ sdshdr_buf -_ buf]: /images/20211018/d53232efc43b43f190ebb9c780d3606f.png
[digraph _ label _ _n _ 2-7 _ C _ rankdir _ TB_ _ node _shape _ record_ memory _label _ _ ... _ _s1_ _R_ _ _e_ _ _d_ _ _i_ _ _s_ _ _0_ _ _s2_ _M_ _ _o_ _ _n_ _ _g_ _ _o_ _ _D_ _ _B_ _ _0_ _ ... _ _ node _shape _ plaintext_ s1 -_ memory_s1_ s2 -_ memory_s2]: /images/20211018/2ab49c9940e546edb1861aa364623d05.png
[digraph _ label _ _n _ 2-8 s1 _ s2 _ rankdir _ TB_ _ node _shape _ record_ memory _label _ _ ... _ _s1_ _R_ _ _e_ _ _d_ _ _i_ _ _s_ _ _ _ _ _s2_ _C_ _ _l_ _ _u_ _ _s_ _ _t_ _ _e_ _ _r_ _ _0_ _ ... _ _ node _shape _ plaintext_ s1 -_ memory_s1_ s2 -_ memory_s2]: /images/20211018/7a8f36fecfa5483ea077d13619bdd5b1.png
[digraph _ label _ _n _ 2-9 sdscat _ SDS_ rankdir _ LR_ node _shape _ record_ _ sdshdr _label _ _sdshdr _ free _n 0 _ len _n 5 _ _buf_ buf_ buf _label _ _ _R_ _ _e_ _ _d_ _ _i_ _ _s_ _ _0_ _ _ sdshdr_buf -_ buf]: /images/20211018/d3df718b39b04459bb9c603462fe80c3.png
[digraph _ label _ _n _ 2-10 sdscat _ SDS_ rankdir _ LR_ node _shape _ record_ _ sdshdr _label _ _sdshdr _ free _n 13 _ len _n 13 _ _buf_ buf_ buf _label _ _ _R_ _ _e_ _ _d_ _ _i_ _ _s_ _ _ _ _ _C_ _ _l_ _ _u_ _ _s_ _ _t_ _ _e_ _ _r_ _0_ _ ... _ _ sdshdr_buf -_ buf]: /images/20211018/bc8aa40380604f578d998f0e9f022e24.png
[digraph _ label _ _n _ 2-11 _ sdscat _ SDS_ rankdir _ LR_ node _shape _ record_ _ sdshdr _label _ _sdshdr _ free _n 0 _ len _n 5 _ _buf_ buf_ buf _label _ _ _R_ _ _e_ _ _d_ _ _i_ _ _s_ _ _0_ _ _ sdshdr_buf -_ buf]: /images/20211018/ea14885cc64b452780917d7bd187e67d.png
[digraph _ label _ _n _ 2-12 _ sdscat _ SDS_ rankdir _ LR_ node _shape _ record_ _ sdshdr _label _ _sdshdr _ free _n 13 _ len _n 13 _ _buf_ buf_ buf _label _ _ _R_ _ _e_ _ _d_ _ _i_ _ _s_ _ _ _ _ _C_ _ _l_ _ _u_ _ _s_ _ _t_ _ _e_ _ _r_ _0_ _ ... _ _ sdshdr_buf -_ buf]: /images/20211018/91215c90ce394dd8a26c138e454699a9.png
[digraph _ label _ _n _ 2-13 _ sdscat _ SDS_ rankdir _ LR_ node _shape _ record_ _ sdshdr _label _ _sdshdr _ free _n 4 _ len _n 22 _ _buf_ buf_ _buf _label _ _ _R_ _ _e_ _ _d_ _ _i_ _ _s_ _ _ _ _ _C_ _ _l_ _ _u_ _ _s_ _ _t_ _ _e_ _ _r_ _ _ _ _T_ _ _u_ _ _t_ _ _o_ _ _r_ _ _i_ _ _a_ _ _l_ _ _0_ _ ... _ buf _label _ _ _R_ _ _e_ _ _d_ _ _i_ _ _s_ _ ... _ _ _ _ _T_ _ _u_ _ _t_ _ _o_ _ _r_ _ _i_ _ _a_ _ _l_ _ _0_ _ ... _ _ sdshdr_buf -_ buf]: /images/20211018/aceb0c55554c46a18c6e25e8fe83f4d6.png
[digraph _ label _ _n _ 2-14 _ sdstrim _ SDS_ rankdir _ LR_ node _shape _ record_ _ sdshdr _label _ _sdshdr _ free _n 0 _ len _n 11 _ _buf_ buf_ buf _label _ _ _ _X_ _ _Y_ _ _X_ _ _X_ _ _Y_ _ _a_ _ _b_ _ _c_ _ _X_ _ _Y_ _ _Y_ _ _0_ _ _ _ sdshdr_buf -_ buf]: /images/20211018/ff7efcdd83324a21a5d64877fef1063e.png
[digraph _ label _ _n _ 2-15 _ sdstrim _ SDS_ rankdir _ LR_ node _shape _ record_ _ sdshdr _label _ _sdshdr _ free _n 8 _ len _n 3 _ _buf_ buf_ buf _label _ _ _ _a_ _ _b_ _ _c_ _ _0_ _ _1_ _ _2_ _ _3_ _ _4_ _ _5_ _ _6_ _ _7_ _ _8_ _ _ _ sdshdr_buf -_ buf]: /images/20211018/15e60dab62bd49478b1c4664f0ee17eb.png
[digraph _ label _ _n _ 2-16 _ sdscat _ SDS_ rankdir _ LR_ node _shape _ record_ _ sdshdr _label _ _sdshdr _ free _n 2 _ len _n 9 _ _buf_ buf_ buf _label _ _ _ _a_ _ _b_ _ _c_ _ _ _ _ _R_ _ _e_ _ _d_ _ _i_ _ _s_ _ _0_ _ _1_ _ _2_ _ _ _ sdshdr_buf -_ buf]: /images/20211018/e9c8ad94f68c45e2bfd0358443f6394f.png
[digraph _ label _ _n _ 2-17 _ node _shape _ record_ content _label _ _ _R_ _ _e_ _ _d_ _ _i_ _ _s_ _ _0_ _ _C_ _ _l_ _ _u_ _ _s_ _ _t_ _ _e_ _ _r_ _ _0_]: /images/20211018/52653113c0e947adbb70ce5cdf101d7a.png
[digraph _ label _ _n _ 2-18 _ SDS_ rankdir _ LR_ node _shape _ record_ _ sdshdr _label _ _sdshdr _ free _n 0 _ len _n 14 _ _buf_ buf_ buf _label _ _ _ _R_ _ _e_ _ _d_ _ _i_ _ _s_ _ _0_ _ _C_ _ _l_ _ _u_ _ _s_ _ _t_ _ _e_ _ _r_ _ _0_ _ _0_ _ _ _ sdshdr_buf -_ buf]: /images/20211018/8f82fda97b6f4e7598d98fe7b576d8cc.png
[digraph _ label _ _n _ 2-19 _ SDS_ rankdir _ LR_ node _shape _ record_ _ sdshdr _label _ _sdshdr _ free _n 0 _ len _n 11 _ _buf_ buf_ buf _label _ _ _h_ _ _e_ _ _l_ _ _l_ _ _o_ _ _ _ _ _R_ _ _e_ _ _d_ _ _i_ _ _s_ _ _0_ _ _ sdshdr_buf -_ buf]: /images/20211018/e53b0641dfe14b619663f41f2389976e.png