结构体零长度数组的作用

在一些 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] 的零长数组，表示该结构不定长，可通过数组的方式进行扩展。结构中必包含一个长度信息。结构本身类似于一个信息头。同时，此结构只能通过堆方式分配内存。