柔性数组成员(flexible array member)也叫伸缩性数组成员,在一个结构体中,最后一个元素是大小未知的数组,且这个数组前面还有其他成员变量,那么最后一个元素就是柔型数组。
柔性数组是我在学习PostgreSQL源码时遇到的,在数据库系统中大量使用。下面我们来看看它有什么作用吧。
举个反例
描述一个学生的结构体,因为name长度是不确定的,所以我们可以这样写:
typedef struct Student{
int id;
int gender;
char *name;
}Student;
//使用时
Student *s = (Student*)malloc(sizeof(Student));
name = (char*)malloc(sizeof(char)*MAX_LEN);
//释放时
free(name);
free(s);
s = NULL;
但这样实际上,结构体和字符串是分离的,如果要动态分配Student结构体的空间,分配时需要两次操作,释放时也需要两次操作,稍不注意就会造成访问越界或者内存泄露,对用户来说使用很麻烦。柔性数组是C99标准中引入的,就是为了使得结构体的内存空间可以整体操作,这样访问和释放空间都比较方便,且连续块内存提高了访问速度。
含有柔性数组的结构体写法
当最后一个成员变量是一个长度为0的数组,就可以当做柔性数组使用。
#include <stdio.h>
#include <stdlib.h>
typedef struct Student{
int id;
int gender;
char name[0];
}Student; //含有柔性数组的结构体定义
int main(int argc, char *argv[]) {
//分配空间
Student *s = (Student*)malloc(sizeof(Student) + 20);
//赋值
s->id = 1001;
s->gender = 1;
strcpy(s->name, "xiaoming");
printf("%d %d %s", s->id, s->gender, s->name);
//释放
free(s);
s = NULL;
return 0;
}
从上面的使用中,可以看到,对于含有柔性数组的结构体,我们可以整体分配其空间,这样大小就是可变的,name含有20字节的空间。
如果大家试一下会发现,把char name[0]改成char* name,整体分配空间之后指针依旧是空指针,不能达到类似效果。
还有一点需要注意,char name[0]不是指针,并不占用空间,所以sizeof(Student)就是8,为两个int的大小和。
PG中的例子
这是PG中numeric类型的一种底层实现,我们无需细究n_header的构成,只需要知道其是一个包含长度信息的头部即可,n_data是一个柔性数组,FLEXIBLE_ARRAY_MEMBER是一个宏定义,内容为空,分配空间的时候,会根据header来分配相应大小的空间。
特点总结
- 避免两次内存操作,简单方便,易于扩展
- 一次操作,内存连续,访问速度快
- 柔性数组本身不占用内存,而指针占用