说明
- 在日常的编程中,有时候需要在结构体中存放一个长度不固定的字符串,一般的做法,是在结构体中定义一个指针成员,这个指针成员指向该字符串所在的动态内存空间,例如:
typedef struct test{
int a;
double b;
char *p;
};
- 造成字符串与结构体内存是分离的,有时候不利于操作,例如:复制和访问的时候,需要做些额外操作。
char a[] = "hello world";
test *stpTest = (test *)malloc(sizeof(test) + strlen( a ) + 1 );
strcpy((char *)stpTest + sizeof(test) + 1, a); //访问时需要计算偏移
- 指针p需要占用内存空间,是没必要的。
柔性数组
由来
- 如果既能直接引用该字符串,又不占用结构体的空间,就完美了,符合这种条件的代码结构应该是一个非对象的符号地址,在结构体的尾部放置一个0长度的数组是一个绝妙的解决方案,不过,早期C/C++标准规定不能定义长度为0的数组,因此,有些编译器就把0长度的数组成员作为自己的非标准扩展。
- 长度为0的数组成员是不完整类型(incomplete type),它缺乏足够的信息例如长度去描述一个完整的对象,它的出现反映了C程序员对精炼代码的极致追求,这种代码结构产生于对动态结构体的需求,鉴于这种代码结构所产生的重要作用,C99把它收入了标准中。
- C99使用不完整类型实现柔性数组成员,在C99 中,结构中的最后一个元素允许是未知大小的数组,这就叫做柔性数组(flexible array)成员(也叫伸缩性数组成员),但结构中的柔性数组成员前面必须至少一个其他成员。柔性数组成员允许结构中包含一个大小可变的数组。柔性数组成员只作为一个符号地址存在,而且必须是结构体的最后一个成员,sizeof 返回的这种结构大小不包括柔性数组的内存。柔性数组成员不仅可以用于字符数组,还可以是元素为其它类型的数组。包含柔性数组成员的结构用malloc ()函数进行内存的动态分配,并且分配的内存应该大于结构的大小,以适应柔性数组的预期大小。
定义和使用
typedef struct test{
int a;
double b;
char c[0];
};
typedef struct test{
int a;
double b;
char c[];
};
test *stpTest = (test *)malloc(sizeof(test)+100*sizeof(char));
- c就是一个柔性数组成员,如果把stpTest指向的动态分配内存看作一个整体,c就是一个长度可以动态变化的结构体成员,柔性一词来源于此。c的长度为0,因此它不占用内存,同时stpTest->c就是“hello world”的首地址,不需要再使用(char *)stpTest + 1 这么丑陋的代码了,而后我们可以进行变长操作了,用stpTest->c[n]就能简单地访问可变长元素。
- 释放内存,上面既然用malloc 函数分配了内存,肯定就需要用free 函数来释放内存:
free(stpTest);
- 应当尽量使用标准形式,在非C99的场合,可以使用指针方法。需要说明的是:C89不支持这种东西,C99把它作为一种特例加入了标准。但是,C99所支持的是incomplete type,而不是zero array,形同int a[0];这种形式是非法的,C99支持的形式是形同int a[];只不过有些编译器把int a[0];作为非标准扩展来支持,而且在C99 发布之前已经有了这种非标准扩展了,C99 发布之后,有些编译器把两者合而为一了。