随手翻阅"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)