本文共 1932 字，大约阅读时间需要 6 分钟。

在某些情况，数据结构末端会定义一个可选区域，如下所示：

struct abc{
   	int age;	char *name[20];	...	char placeholder[0];}

而结构体最后使用0长度数组的原因，主要是为了方便的管理内存缓冲区，如果你直接使用指针而不使用数组，那么，你在分配内存缓冲区时，就必须分配结构体一次，然后再分配结构体内的指针一次，（而此时分配的内存已经与结构体的内存不连续了，所以要分别管理即申请和释放）而如果使用数组，那么只需要一次就可以全部分配出来，反过来，释放时也是一样，使用数组，一次释放，使用指针，得先释放结构体内的指针，再释放结构体。还不能颠倒次序。

使用空数组：

1. 不需要初始化，数组名直接就是所在的偏移 。
2. 不占任何空间，指针需要占用4字节（32位）/8字节（64位）长度空间，空数组不占任何空间。

因此如果abc结构体被好几段代码引用，每段代码都可以使用相同的基本定义（避免各自以微略不同的方式做同一件事而造型的混淆），但是，又可以根据其需求以不同的方式将abc的定义区别化。

以下引用别人的例子：

struct tag1{
         int a;      int b;}__attribute ((packed));struct tag2{
         int a;      int b;      char *c;  }__attribute ((packed));struct tag3{
       int a;    int b;    char c[0];}__attribute ((packed));struct tag4{
       int a;    int b;    char c[1];}__attribute ((packed));int main(){
         struct tag2 l_tag2;      struct tag3 l_tag3;      struct tag4 l_tag4;      memset(&l_tag2,0,sizeof(struct tag2));      memset(&l_tag3,0,sizeof(struct tag3));      memset(&l_tag4,0,sizeof(struct tag4));      printf("size of tag1 = %d\n",sizeof(struct tag1));      printf("size of tag2 = %d\n",sizeof(struct tag2));      printf("size of tag3 = %d\n",sizeof(struct tag3));      printf("size of tag4 = %d\n",sizeof(struct tag4));      printf("l_tag2 = %p,&l_tag2.c = %p,l_tag2.c = %p\n",&l_tag2,&l_tag2.c,l_tag2.c);      printf("l_tag3 = %p,l_tag3.c = %p\n",&l_tag3,l_tag3.c);      printf("l_tag4 = %p,l_tag4.c = %p\n",&l_tag4,l_tag4.c);      return 0; }

__attribute ((packed)) 是为了强制不进行4字节对齐，这样比较容易说明问题。

size of tag1 = 8size of tag2 = 12size of tag3 = 8size of tag4 = 9l_tag2 = 0x7ffd0cc68d20,&l_tag2.c = 0x7ffd0cc68d28,l_tag2.c = (nil)l_tag3 = 0x7ffd0cc68d10,l_tag3.c = 0x7ffd0cc68d18l_tag4 = 0x7ffd0cc68d00,l_tag4.c = 0x7ffd0cc68d08

从上面程序和运行结果可以看出：tag1本身包括两个32位整数，所以占了8个字节的空间。tag2包括了两个32位的整数，外加一个char *的指针（4字节，32位系统），所以占了12个字节。tag3才是真正看出char c[0]和char *c的区别，char c[0]中的c并不是指针，是一个偏移量，这个偏移量指向的是a、b后面紧接着的空间，所以它其实并不占用任何空间。tag4更加补充说明了这一点。

转载地址：http://gkhpi.baihongyu.com/