零长度数组

在一些 C 语言编写的代码中，有时可以看到如下定义的结构：

typedef struct  user_def
{
    char * name;
    int length;
    char bytes[0];
} user_def_t ;

这个 bytes 是什么意思？我们知道 0 == sizeof(bytes)，那么 bytes 仅仅是为了定义结构的尾地址吗？

不是的。这里的 bytes 是作为扩展数组用的。请看如下代码：

int alloc_user_def_t(user_def_t * p, int  length)
{
    p = (user_def_t)malloc(sizeof(user_def_t) +  length);
    if (NULL ==  p)
    {
        return -1 ;
    }

    p->name =  NULL;
    p->length =  length;
    memset(p->bytes, 0 , length);
    return 0 ;
}

是不是很酷？同样，也可以把 name 域的值附在结构后面：

int alloc_user_def_t(user_def_t * p, char * name, int length)
{
    p = (user_def_t)malloc(sizeof(user_def_t) + strlen(name) + length + 1);
    if (NULL == p)
    {
        return -1;
    }

    p->name = p + sizeof(user_def_t) + length;
    memcpy(p->name, name, strlen(name) + 1);   /* 别忘了'/0' */
    p->length = length;
    memset(p->bytes, 0, length);
    return 0;
}

总结：在某一结构末尾如定义类似 char bytes[0] 的零长数组，表示该结构不定长，可通过数组的方式进行扩展。结构中必包含一个长度信息。结构本身类似于一个信息头。同时，此结构只能通过堆方式分配内存。

========================

1.零长度数组不是所有的c标准都支持，gnu c支持，ansi c不支持，c++不支持。

 

2.可以把结构体中定义了零长度数组的地方 视为结构体的结尾，在它之后最好不要再定义任何字段。因为零长度数组用来动态的添加数据，一旦添加数据后，零长度数组字段之后定义的字段如果之前赋了值，那么这个值就会被改掉。（结构体的里面的数据在内存中按顺序存储的。）

 

3.如何扩展：

可以直接使用数组方式添加信息：

p->bytes[0] = 'a';

p->bytes[1] = 'b';

也可以通过memcpy，strcpy等函数拷贝方式来添加。

 

4.等价写法：

typedef struct user_def{

    char* name;

    int      length;

    char   bytes[];

}user_def_t;

把char bytes[0] 写成 char bytes[]也可以，但是这样写的话在slickedit里面调试时，查看结构体的成员时是看不到bytes[]这个成员的，写成bytes[0]的话就可以。

 

5.注意的问题：

因为结构体是可以扩展的，所以在给结构体分配内存时必须预先分配足够的内存，保证后面扩展时不会超过预先分配的内存的大小。比如

01  struct arr{
02      int a;
03      int buff[ 0];
04 };
05 
06  int main ( int argc,  char *argv[])
07 {
08      struct arr *ptr;
09     ptr = ( struct arr*)malloc( sizeof( struct arr));
10      int* q=( int*)malloc( sizeof( int));
11      int* k=( int*)malloc( sizeof( int));
12 
13     printf( "%x %x %x  /r/n ",ptr,q,k);
14     *q =  1;
15     ptr->buff[ 0] =  2;
16     ptr->buff[ 1] =  2;
17     ptr->buff[ 2] =  2;
18     ptr->buff[ 3] =  2;
19     printf( "%d /r/n ",*q);
20 }

 

 

ptr指向结构体，q和k指向的int都是在堆里面分配的（ptr,q,k本身是在栈中分配的），分配的空间是16个字节（malloc好像默认是最小分16字节，如果大于16字节则按实际的分，在Slickedit和gcc下是这样，至于malloc的具体内存分配方法暂时没研究） 。

printf("%x %x %x /r/n",ptr,q,k);的结果是6b0208 6b0218 6b0228，可以看出分了16个字节的空间。

当执行到ptr->buff[2] = 2;时，struct的最后四个字节的内容被置成了2. 接下来ptr->buff[3] = 2就把原来q指向的空间的内容置成了2，所以最后printf("%d/r/n",*q)的结果就是2了。

C语言中，在有些结构体里面，会出现一个“0长度数组”的定义，例如： 
typedef struct tag_test 
{ 
    int a; 
    int buf_len; 
    char p[0]; 
}test_s;


从对数组的定义上，上面的结构基本等同于如下的结构： 
typedef struct tag_test1 
{ 
    int a; 
    int buf_len; 
    char *p; 
}test1_s;


我们都需要用malloc这样的方式为结构体中的p分配一块内存，才能使用p，
那么第一种定义和第二种定义相比有什么区别呢？
最关键的区别：第一种定义方式，p指针本身占用的地址空间不计入sizeof的空间，
main() 
{ 
    printf("test sizeof is %d, %d\r\n", sizeof(test_s), sizeof(test1_s)); 
} 
结果：“test sizeof is 8, 12”，
说明用0长度数组，p这个指针本身占用的4字节空间不计算在sizeof中。