前言
我们平时在写C程序时,我们经常会使用数组来存放一些字符串或者其他数据。但是,在使用数组之前,我们都必须指定数组的大小。当我们知道所要存放数据的大小时还好,但是当我们还无法预先知道存放数据的大小时,我们必须指定足够大的空间来存放数据。这样往往会浪费许多空间;
有人说,我们可以利用指针,额外开辟空间存放数据,这样形式上之战有那个一个指针的空间,但是,使用指针的话,需要多次分配, 多次释放,比较麻烦还可能会引起内存泄漏。
那么,有没有即不浪费空间,又方便的办法呢?答案当然是有的,这就是我们今天所要介绍的柔性数组。
柔性数组
概念
在c99中,引入了一个新的概念,柔性数组,它规定:结构体中的最后一个元素允许时未知大小的数组,这就叫做柔性数组成员,但结构体中的柔性数组成员前面必须至少包含一个其他成员。柔性数组中允许结构体包含一个大小可变的数组。
定义
typedef struct var_array
{
int i;
char data[0];
}Var_a;
有些编译器无法编译,也可以改为:
typedef struct var_array
{
int i;
char data[];
}Var_a;
这样,我们就可以定义一个可变长度的数组
大小
sizeof返回的这种结构大小不包括柔性数组的内存,例如:上述结果sizeof(Var_a) = 4,因为char data[]只是个数组名称,不占据内存空间。即:sizeof(Var_a) = sizeof(int);
开辟空间
上面说到,sizeof返回的这种结构大小不包括柔性数组的内存。所以包含柔性数组成员的结构用malloc()函数进行内存的动态分配,而且分配的内存应该大于结构的大小,以适应柔性数组的预期大小。
Var_a*p = (Var_a *)malloc(sizeof(Var) + size * sizeof(int));
此时,我们就为结构体指针p分配了一块内存。但是当我们再测试结构体的大小时,会发现仍然是4,这是为什么呢?
答:这是因为在定义这个结构体的时候,结构体的大小已经不包含柔性数组的内存大小了。柔性数组属于编外人员,不占结构体内存。只是在使用的时候需要把它当作结构体的一个成员而已。
释放
既然用malloc()分配了内存,就需要用free()来释放内存:
free(p);
p = NULL;
说明
但是,C89不支持这种东西,C99把它作为一种特例加入了标准。但是,C99所支持的是incomplete type,而不是zero array,形同int a[0];这种形式是非法的,C99 支持的形式是形同int a[];只不过有些编译器把int a[0];作为非标准扩展来支持,而且在C99 发布之前已经有了这种非标准扩展了,C99 发布之后,有些编译器把两者合而为一了。