什么是柔性数组
在C99 中,结构中的最后一个元素允许是未知大小的数组,这就叫做柔性数组成员
例如:
//柔性数组
typedef struct st_type
{
int i;
int a[0];//柔性数组成员
}type_a;
有一些编译器可能会不通过,它们可能支持的是下面这种写法:
typedef struct st_type
{
int i;
int a[];//柔性数组成员
}type_a;
柔性数组的特点
- 1.结构中的柔性数组成员前面必须至少一个其他成员。
- 2.柔性数组成员允许结构中包含一个大小可变的数组。
- 3.如果使用sizeof 关键字来计算该结构体的大小时不包括柔性数组的内存。
- 4.包含柔性数组成员的结构用malloc ()函数进行内存的动态分配,并且分配的内存应该大于结构的大小,以适应柔性数组的预期大小。
那个 0 个元素的数组没有占用空间,而后我们可以进行变长操作(给结构体分配内存)了。
如何给结构体分配内存?
//柔性数组分配内存
type_a* p = (type_a*)malloc(sizeof(type_a) + 20 * sizeof(int));
由于结构体其他的成员也需要遵循结构体的内存对齐,但是在本文章的例子中,int i已经使用了4字节,int 型的数组的对齐数是4,那么柔性数组的起始位置的偏移量是4的倍数,所以此时空间不存在浪费。直接在malloc函数中使用结构体大小+所需要分配给数组的内存就可。
我们已经给指针p分配了一块内存,但是计算它的大小时,结果依旧是4。为什么?
虽然柔性数组看似是结构体的一个成员,但是其实也仅仅只是在使用的时候把它看作是一个成员,可以认为柔性数组和结构体没有什么关系,就是挂一个名号而已。