GNU C中的零长度数组

随手翻阅"linux内核设计与实现"一书，看到一个关于进程的结构体：struct thread_info {
    struct task_struct  *task;
    struct exec_domain  *exec_domain;
    unsigned long       flags;
    __u32           status;
    __u32           cpu;
    int         preempt_count;
    mm_segment_t        addr_limit;
    struct restart_block    restart_block;
    void __user     *sysenter_return;
    unsigned long           previous_esp;
    __u8            supervisor_stack[0];
};
注意上面结构体的最后一个字段，数组长度居然为0。对于C语言，无论是理论还是实践经验来说，我还算是比较熟悉的。不过，说实话，这个用法我还是第一次遇到，不知有何妙用。出于对技术的好奇，我查阅了一些资料，发现只有GNU C允许使用这种用法，目的是为了访问不定长结构体时节省空间和便利性。我用下面这个例子来说明。struct demo {
    int     a;
    char    b[256];
    char    follow[0];
};
假如，现在程序中要分配一个struct demo结构体，并紧邻其后分配长度为LEN个字节空间，则可以使用如下方法得到：
struct demo *demo = (struct demo *) malloc (sizeof(strcut demo) + LEN);这样我们就可以用 demo->follow 来访问结构体demo随后的空间数据，非常方便。当然，我们可以使用指针来达到这样的目的。
struct demo {
    int     a;
    char    b[256];
    char    *follow;
};
struct demo *demo = (struct demo *) malloc (sizeof(strcut demo) + LEN);
同样可以达到零长度数组的效果，但是却多分配了一个char指针。如果分配额外数据空间还好，否则就是白白浪费了空间。不过，很可惜，只有GNU C支持这种用法，其他C编译器不支持。不过，我想也很少有人去这么用的，权当是长长见识吧。
(Aiguille.LIU/刘爱贵, aigui.liu@gmail.com)