关于结构体中最后的 char [0]

问题：
结构体中最后定义一个类似 char p[0] 这样的成员，有何意义？


回复1：
这是个广泛使用的常见技巧，常用来构成缓冲区。比起指针，用空数组有这样的优势：
1.不需要初始化，数组名直接就是所在的偏移
2.不占任何空间，指针需要占用int长度空间，空数组不占任何空间。

从herryhuang(Herry)的回复看，你只是看到了表面，并没有想到这种特性是很有利用价值的。“这个数组不占用任何内存”，意味着这样的结构 节省空间；“该数组的内存地址就和他后面的元素的地址相同”，意味着无需初始化，数组名就是后面元素的地址，直接就能当做指针使用。

这样的写法最适合制作动态buffer。因为可以这样分配空间：
malloc（sizeof(struct XXX）＋ buff_len）；
看出来好处没有？直接就把buffer的结构体和缓冲区一块分配了。用起来也非常方便，因为现在空数组其实变成了buff_len长度的数组了。
这样的好处是：
一次分配解决问题，省了不少麻烦。大家知道为了防止内存泄漏，如果是分两次分配（结构体和缓冲区），那么要是第二次malloc失败了，必须回滚释放第一 个分配的结构体。这样带来了编码麻烦。其次，分配了第二个缓冲区以后，如果结构里面用的是指针，还要为这个指针赋值。同样，在free这个buffer的 时候，用指针也要两次free。如果用空数组，所有问题一次解决。
其次，大家知道小内存的管理是非常困难的，如果用指针，这个buffer的struct部分就是小内存了，在系统内存在多了势必严重影响内存管理的性能。要是用空数组把struct和实际数据缓冲区一次分配大块问题，就没有这个问题。

如此看来，用空数组既简化编码，又解决了小内存碎片问题提高了性能，何乐不为？应该广泛采用。

如果你做过操作系统的开发或者嵌入式开发，这种技巧应该是见得滥了


回复2：
关于这个问题，从楼主的代码来看，存在几个需要弄清楚的地方。第一，char p[0]是否合法；其次，如果非法，按照标准，合法的代码是怎样的？

先解释第一点，在ISO/IEC 9899-1999里面，这么写铁定是非法的，这个仅仅是GNU C的扩展，gcc可以允许这一语法现象的存在。考虑以下代码：
#include

int main(int argc, char* argv[])
{
char ia[0];
printf("%d\n", sizeof(ia));
return 0;
}
这个在gcc里面编译，即使你使用了-Wall参数，gcc仍然会让这段代码通过……如果需要强制编译器按照ISO C标准进行编译，你需要给出-pedantic（或者-pedantic_error）参数，这样，编译器会报告：ISO C forbids zero-size array `ia'
这个仅仅是在C99没有出台的情况下，gcc为了使用类似于C99 flexible array member而做出的一个work-around，但是现在C99出现了，并且正式支持了flexible array member的语法，这样的一个GNU C扩展就有点显得不合时宜了……按照ISO/IEC 9899-1999的要求，flexible array member的定义应当是这样：
struct foo
{
int variable;
int bar[ ];//here!!!! this is the C99 flexible array member
};
这个才是符合标准要求的写法，当你的代码需要跨平台、跨编译器移植，并且需要这个特性的时候，这个才是唯一准确的写法！

本来这里有一个trick，只不过flexible array member将其标准化了而已。
原来的trick应该是写作
struct foo
{
int variable;
int i_am_a_trick[1];
};

struct foo *ptr_to_foo = malloc(sizeof(struct foo) + SOMELENGTH);
因为标准看到了这种trick可能造成的问题：
struct foo something[2];//本以可能并不是这样，对于flexible array member来说，这个会被标记为错误或者警告，防止出现问题……


-------------------------------------------补充：
1. 上面的回复中都是用 sizeof 来计算结构体大小。对于含有变长数组的结构体，sizeof 的返回结果很诡异。请参考 ： ，可以用 偏移量来代替 sizeof 。

例如，针对上面的 struct foo ，：

#define offsetof(type, element) ((size_t)&((type *)0)->element)
struct foo *ptr_to_foo = malloc(offsetof(struct foo, variable) + LENGTH);

2. 关于 C99 flexible array member
C99中，允许结构中的最后一个成员可以是未知大小的数组（结构中，在该数组之前必须至少有一个其他成员），这被称为 flexible array member 。由 sizeof 返回的结构的大小不包括 flexible array member 的大小 。