本文共 1655 字，大约阅读时间需要 5 分钟。

点击上方蓝字关注我，我们一起学编程

微信搜索：编程笔记本

让我们从一个结构体开始吧：

struct sdshdr1 {
       int len;       // buf 中已占用空间的长度    int free;      // buf 中剩余可用空间的长度    char buf[];    // 数据空间};

这是 redis 中保存字符串对象的结构，大家可以试着计算一下 sizeof(sdshdr1) 的值是多少？

别急，我们再来看下一个结构体：

struct sdshdr2 {
       int len;       // buf 中已占用空间的长度    int free;      // buf 中剩余可用空间的长度    char* buf;    // 数据空间};

此时 sizeof(sdshdr2) 的值又是多少？

现在让我来猜一下你们的心路历程：

• 一看到第一个结构体，肯定想：看不起谁呢？这不是 12 嘛？！
• 当你们看到第二个结构体的时候：哎？这不也是 12 吗？
• 不对，这里面肯定有诈！可是，问题在哪呢…

哈哈，现在让我来揭晓答案把：

sizeof(sdshdr1);    // 8sizeof(sdshdr2);    // 12

sizeof(sdshdr2) == 12 很好理解：每个整型占 4B ，指针占 4B ，共 12B 。

带着疑问，我们再来测试一下：

struct sdshdr {
       int len;       // buf 中已占用空间的长度    int free;      // buf 中剩余可用空间的长度    //char buf[];    // 数据空间};

发现此时 sizeof(sdshdr1) 还是等于 8 。WHAT ？char buf[]; 不占用空间吗？带着疑问，我们查阅相关文献，发现了其中的端倪，原来是一个叫做 **flexible array member（柔性数组成员）**的机制。

柔性数组成员只能是结构体的最后一个成员，并且不指定长度。使用柔性数组成员时，即表示访问紧邻结构体后的内存部分。

下面我们测试一下：

#include 
   
    using namespace std;struct sdshdr {
       int len;       // buf 中已占用空间的长度    int free;      // buf 中剩余可用空间的长度    char buf[];    // 数据空间};int main(){
   	char str[] = "Hello,World";	int len = 11;	sdshdr *sds = (sdshdr *)malloc(sizeof(sdshdr) + len + 1);	sds->len = len;	sds->free = 0;	memcpy(sds->buf, str, len);	sds->buf[strlen(str)] = '\0';	printf("%s\n", sds->buf);	return 0;}/*编译运行：jincheng@DESKTOP-42T69DJ:/mnt/e/LinuxSubSysFile$ ./a.outHello,Worldjincheng@DESKTOP-42T69DJ:/mnt/e/LinuxSubSysFile$*/
   

可以看到，我们可以在开辟空间时直接多开辟一部分空间，作为 buf 的空间，然后直接使用数组名即可访问这部分空间。这样做的好处时，避免了结构体和 buf 都需要进行一次内存分配，即使用一次分配的策略。

微信搜索：编程笔记本