GNU C中的零长度数组

随手翻阅"linux内核设计与实现"一书，看到一个关于进程的结构体：

1. structthread_info{
2. structtask_struct*task;
3. structexec_domain*exec_domain;
4. unsignedlongflags;
5. __u32status;
6. __u32cpu;
7. intpreempt_count;
8. mm_segment_taddr_limit;
9. structrestart_blockrestart_block;
10. void__user*sysenter_return;
11. unsignedlongprevious_esp;
12. __u8supervisor_stack[0];
13. };

注意上面结构体的最后一个字段，数组长度居然为0。对于C语言，无论是理论还是实践经验来说，我还算是比较熟悉的。不过，说实话，这个用法我还是第一次遇到，不知有何妙用。出于对技术的好奇，我查阅了一些资料，发现只有GNU C允许使用这种用法，目的是为了访问不定长结构体时节省空间和便利性。我用下面这个例子来说明。

1. structdemo{
2. inta;
3. charb[256];
4. charfollow[0];
5. };

假如，现在程序中要分配一个struct demo结构体，并紧邻其后分配长度为LEN个字节空间，则可以使用如下方法得到：

struct demo *demo = (struct demo *) malloc (sizeof(strcut demo) + LEN);

这样我们就可以用 demo->follow 来访问结构体demo随后的空间数据，非常方便。当然，我们可以使用指针来达到这样的目的。

1. structdemo{
2. inta;
3. charb[256];
4. char*follow;
5. };
6. structdemo*demo=(structdemo*)malloc(sizeof(strcutdemo)+LEN);

同样可以达到零长度数组的效果，但是却多分配了一个char指针。如果分配额外数据空间还好，否则就是白白浪费了空间。不过，很可惜，只有GNU C支持这种用法，其他C编译器不支持。不过，我想也很少有人去这么用的，权当是长长见识吧。

(Aiguille.LIU/刘爱贵, aigui.liu@gmail.com)