柔性数组成员

点击上方蓝字关注我，我们一起学编程
欢迎小伙伴们分享、转载、私信、赞赏
flexible array member
今天给大家分享一个 trick 。

微信搜索：编程笔记本
微信搜索：编程笔记本
微信搜索：编程笔记本

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

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);    // 8
sizeof(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 <bits/stdc++.h>
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.out
Hello,World
jincheng@DESKTOP-42T69DJ:/mnt/e/LinuxSubSysFile$
*/

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

微信搜索：编程笔记本
微信搜索：编程笔记本
微信搜索：编程笔记本