C语言结构体中最后一个成员为char[1]或char[0]

需要引起注意的：ISO/IEC 9899-1999里面，这么写是非法的，这个仅仅是GNU C的扩展，gcc可以允许这一语法现象的存在。 结构体最后使用0或1的长度数组的原因，主要是为了方便的管理内存缓冲区，如果你直接使用指针而不使用数组，那么，你在分配内存缓冲区时，就必须分配结构体一次，然后再分配结构体内的指针一次，（而此时分配的内存已经与结构体的内存不连续了，所以要分别管理）。而如果使用数组，那么只需要一次就可以全部分配出来，反过来，释放时也是一样，使用数组，一次释放，使用指针，得先释放结构体内的指针，再释放结构体。还不能颠倒次序。其实就是分配一段连续的的内存，减少内存的碎片化。

1、只需分配释放一次，速度稍快。

2、减少内存碎片。

#include 
#include 
#include 
struct tag1
{
    int a;
    int b;
}__attribute ((packed));//强制不进行4字节对齐  8

struct tag2
{
    int a;
    int b;
    char *c;
}__attribute ((packed));  //16  64位机

struct tag3
{
    int a;
    int b;
    char c[0];
}__attribute ((packed)); //8

struct tag4
{
    int a;
    int b;
    char c[1];
}__attribute ((packed)); //9

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));//8
    printf("size of tag2 = %d\n",sizeof(struct tag2));//16
    printf("size of tag3 = %d\n",sizeof(struct tag3));//8
    printf("size of tag4 = %d\n",sizeof(struct tag4));//9

    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);
//    l_tag2 = 0x7fffffffe550,&l_tag2.c = 0x7fffffffe558,l_tag2.c = (nil)
//    l_tag3 = 0x7fffffffe540,l_tag3.c = 0x7fffffffe548
//    l_tag4 = 0x7fffffffe530,l_tag4.c = 0x7fffffffe538
    return 0;
}

tag2包括了两个32位的整数，外加一个char *的指针，所以占了12个字节。tag3才是真正看出char c[0]和char *c的区别，char c[0]中的c并不是指针，是一个偏移量，这个偏移量指向的是a、b后面紧接着的空间，所以它其实并不占用任何空间。tag4更加补充说明了这一点。

#include 
using namespace std;

struct MyData
{
    int nLen;
    char data[0];
};

int main()
{
    int nLen = 10;
    char str[10] = "123456789";
    cout << sizeof(MyData) << endl; //4
    MyData *myData = (MyData*)malloc(sizeof(MyData) + 10);
    memcpy(myData->data,  str, 10);
    cout << myData->data << endl; //123456789
    free(myData);
    return 0;
}

在结构中，data是一个数组名；但该数组没有元素；该数组的真实地址紧随结构体MyData之后，而这个地址就是结构体后面数据的地址；这种声明方法可以巧妙的实现C语言里的数组扩展

这种玩法英文叫：Flexible Array，中文翻译叫：柔性数组。