参考:零长度(柔性)数组时GNU/GCC在C/C++上做得实用性扩展(C99之后的编译器支持),主要是用于变长数组(扩展变长的结构体)。引入原因:静态定长数组容易造成浪费;结构体中用指针虽然不会造成浪费,
但得2次分配(先分配结构体变量空间,再分配数据域空间)内存和2次销毁,当申请和释放不在一个地方时最2为麻烦,一旦忘记容易造成内存泄漏。正是基于此才引入0长度数组。
零长度是指定义数组时,指定其长度为0(如int arr[0];),这样的数组(数组名)不占用实际的空间(只是个不可修改的地址常量的偏移),但能通过数组名访问到其指向的地址。可以巧妙的实现C语言里的数组扩展,
比将reverse定义为指针,* 再为指针分配空间的做法要简单一些,并且可以节省一个指针的存储空间。
#include <stdlib.h>
#include <stdio.h> struct device { int num; int count; int reserve[0]; /* * reserve是一个数组名;该数组没有元素;该数组的其实地址紧随结构体device之 * 后;这种声明方法可以巧妙的实现C语言里的数组扩展,比将reverse定义为指针, * 再为指针分配空间的做法要简单一些,并且可以节省一个指针的存储空间 */ };
int main() { struct device * p_dev = (struct device *) malloc (sizeof(struct device) + sizeof(int)*25); //sizeof(int)*25是数组reserve的具体空间(25个元素)
p_dev->reserve[0] = 100; p_dev->reserve[24] = 0;
printf("p_dev->reserve[0] = %d\n", p_dev->reserve[0]); printf("p_dev->reserve[24] = %d\n", p_dev->reserve[24]); printf("sizeof(struct device) = %d\n",sizeof(struct device));
//将结构体device之后的第一个内容(int值,其实就是reserve[0]的值) 赋值给a
int a = *(&p_dev->count + 1);/*验证地址的连续和扩展。*/ printf("a = %d\n", a); return 0; }
|
运行结果:
p_dev->reserve[0] = 100
p_dev->reserve[24] = 0
sizeof(struct device) = 8
a = 100
内存布局:
num
|
count
|
reverse[0]
|
…
|
…
|
…
|
reverse[24]
|
|<-------struct device-------->|