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

  1. struct abc
  2. {
  3. int age;
  4. char *name[20];
  5. ...
  6. char placeholder[0];
  7. }

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

使用空数组

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

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

以下引用别人的例子:

  1. struct tag1
  2. {
  3. int a;
  4. int b;
  5. }__attribute ((packed));
  6. struct tag2
  7. {
  8. int a;
  9. int b;
  10. char *c;
  11. }__attribute ((packed));
  12. struct tag3
  13. {
  14. int a;
  15. int b;
  16. char c[0];
  17. }__attribute ((packed));
  18. struct tag4
  19. {
  20. int a;
  21. int b;
  22. char c[1];
  23. }__attribute ((packed));
  24. int main()
  25. {
  26. struct tag2 l_tag2;
  27. struct tag3 l_tag3;
  28. struct tag4 l_tag4;
  29. memset(&l_tag2,0,sizeof(struct tag2));
  30. memset(&l_tag3,0,sizeof(struct tag3));
  31. memset(&l_tag4,0,sizeof(struct tag4));
  32. printf("size of tag1 = %d\n",sizeof(struct tag1));
  33. printf("size of tag2 = %d\n",sizeof(struct tag2));
  34. printf("size of tag3 = %d\n",sizeof(struct tag3));
  35. printf("size of tag4 = %d\n",sizeof(struct tag4));
  36. printf("l_tag2 = %p,&l_tag2.c = %p,l_tag2.c = %p\n",&l_tag2,&l_tag2.c,l_tag2.c);
  37. printf("l_tag3 = %p,l_tag3.c = %p\n",&l_tag3,l_tag3.c);
  38. printf("l_tag4 = %p,l_tag4.c = %p\n",&l_tag4,l_tag4.c);
  39. return 0;
  40. }

__attribute ((packed)) 是为了强制不进行4字节对齐,这样比较容易说明问题。
程序的运行结果如下:

  1. size of tag1 = 8
  2. size of tag2 = 12
  3. size of tag3 = 8
  4. size of tag4 = 9
  5. l_tag2 = 0x7ffd0cc68d20,&l_tag2.c = 0x7ffd0cc68d28,l_tag2.c = (nil)
  6. l_tag3 = 0x7ffd0cc68d10,l_tag3.c = 0x7ffd0cc68d18
  7. l_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更加补充说明了这一点。