C语言中的0长度数组(可变数组/柔性数组)的理解与使用

柔性(flexible)数组

概念
在c99中，引入了一个新的概念，柔性数组。
规定：结构体中的最后一个元素允许是未知大小的数组，这就叫做柔性数组成员，但结构体中的柔性数组成员前面必须至少包含一个其他成员。柔性数组中允许结构体包含一个大小可变的数组。

根据不同的编译器来定义

typedef struct var_array
{
    int i;
    int a[0];
};
//若此方式编译不通过用下面的方式来定义
typedef struct var_array
{
    int i;
    int a[];
};

此时的a[0] (a[]) 是未知大小的——数组大小是可以调整的（因此拿数据会很快）

使用柔性数组

struct S
{
 int n;
 int arr[];
};
int main()
{
 struct S* ps=(struct S*)malloc(sizeof(struct S)+5*sizeof(int));
 ps->n=100;
 int i=0;
 for(i=0;i<5;i++)
 {
  ps->arr[i]=i;
  }
  //此时要想放下10个整型字节则需要调整开辟的内存大小
  struct S*ptr=realloc(ps,44);//n需要4个字节，arr[]需要40个字节一共需要4+10*4=44个字节大小的内存空间
  if(ptr!=NULL)
  {
    ps=ptr;
  }
  for(i=5;i<10;i++)
 {
    ps->arr[i]=i;
 }
 for(i=0;i<10;i++)
 {
    printf("%d",ps->arr[i]);
 }
 free(ps);
 ps=NULL;
 return 0;
}

不使用柔性数组的情况

struct s
{
  int n;
  int *arr;
};
int main()
{
 struct s* ps=(struct s*)malloc(sizeof(struct s));
 ps->arr=malloc(5*sizeof(int));
 int i=0;
 for(i=0;i<5;i++)
 {
   ps->arr[i]=1;
 }
 //调整大小
 int *ptr=realloc(ps->arr,10*sizeof(int));
 if(ptr!NULL)
 {
   ps->arr=ptr;
 }
 for(i=5;i<10;i++)
 {
   ps->arr[i]=i;
 }
 //释放内存(两次free)
 free(ps->arr);
 ps->arr=NULL;
 free(ps);
 ps=NULL;

局部性原理的应用
在硬件层，局部性原理允许计算机设计者通过引入称为高速缓存存储器的小而快速的存储器来保存最近被引用的指令和数据项，从而提高对主存的访问速度。在操作系统级，局部性原理允许系统使用主存作为虚拟地址空间最近被引用块的高速缓存。
因此柔性数组malloc一次连续开辟空间有利于提高访问速度。

柔性数组的特点及优点

typedef struct st_type
{
    int i;
    int a[0];//柔性数组成员
}type_a;

优点

1. 方便内存释放。
2. 减少内存碎片提高访问速度

特点

1. 柔性数组成员前必须至少含有一个其他成员
2. sizeof返回结构体大小不包括柔性数组内存
3. 结构用malloc（）函数进行内存的动态分配。且分配的内存应大于结构的大小，以适应柔性数组的预期大小。
   例子：

typedef struct st_type
{
  int i;
  int a[0]; //柔性数组成员不计算大小
}type_a;
printf("printf(%d\n",sizeof(type_a));

上述代码输出结构为4，这又是为何？
大家有空可以去看看这篇文章：结构体里的成员数组和指针http://coolshell.cn/articles/11377.html