长度为0的数组——C语言的非标准用法之一

C语言中，在有些结构体里面，会出现一个“0长度数组”的定义，例如：
typedef struct tag_test
{
 int a;
 int buf_len;
 char p[0];
}test_s;

从对数组的定义上，上面的结构基本等同于如下的结构：
typedef struct tag_test1
{
 int a;
 int buf_len;
 char *p;
}test1_s;

我们都需要用malloc这样的方式为结构体中的p分配一块内存，才能使用p，那么第一种定义和第二种定义相比有什么区别呢？

最关键的区别：第一种定义方式，p指针本身占用的地址空间不计入sizeof的空间，看下面的代码：
main()
{
 printf("test sizeof is %d, %d\r\n", sizeof(test_s), sizeof(test1_s));
}
运行结果是：“test sizeof is 8, 12”，说明用0长度数组，p这个指针本身占用的4字节空间不计算在sizeof中。

这样的特点会使得“变长空间”非常容易处理，考虑如下一个编程的逻辑，我们需要存放一个变化的数据块，分别采用test_s和test1_s两种结构来实现，就会发现0长度数组的好处。

当采用test_s的结构获得“变长空间的总长度的时候”，需采用如下的方式获得：
buf_size = sizeof(test_s) + test_s.buf_len;
而采用test1_s的结构则需要如下的方式：
buf_size = sizeof(test_s) + test_s.buf_len - sizeof(char*);   //----多了一个sizeof(char*)，让人很不爽。。。

最后说明一下，0长度数组是一个“非标”的C语言定义方式，在C的标准化C99中，定义了“不完整数组”，和0长度数组具有一个意义。例如：
typedef struct tag_test2
{
 int a;
 int buf_len;
 char p[];
}test2_s;
sizeof(test2_s)的长度也是4。

但是，我比较喜欢使用0长度数组，因为这个0和sizeof的使用上非常形象。但是在VC 2005中，0长度数据会有一个warnning。

From:http://hi.baidu.com/waiwai75/item/e3266256b1f8c59109be1725

在标准C和C++中，长度为0的数组是被禁止使用的。不过在GNU C中，存在一个非常奇怪的用法，那就是长度为0的数组，比如Array[0];很多人可能觉得不可思议，长度为0的数组是没有什么意义的，不过在这儿，它表示的完全是另外的一层意思，这个特性是不可移植的，所以，如果你致力于编写可移植，或者是稍稍需要跨平台的代码，这些Trick最好还是收起来的好。

在GNU的指南中，它是如此写道：

struct line {
int length;
char contents[0];
};

//...ommit code here

{
struct line *thisline
   = (struct line *) malloc (sizeof (struct line) + this_length);
thisline->length = this_length;
}

这个用法主要用于变长Buffer，struct line的大小为4，结构体中的contents[0]不占用任何空间，甚至是一个指针的空间都不占，contents在这儿只是表示一个常量指针，这个特性是用编译器来实现的，即在使用thisline->contents的时候，这个指针就是表示分配内存地址中的某块buffer，比如malloc (sizeof (struct line) + this_length)返回的是0x8f00a40,thisline->contents指向的位置就是(0x8f00a40 + sizeof(struct line)),而这儿sizeof(struct line)仅仅是一个int的四字节。

对于这个用法，我们定义的结构体指针可以指向任意长度的内存buffer，这个技巧在变长buffer中使用起来相当方便。可能有朋友说，为什么不把最后的contents直接定义为一个指针呢？这儿的差别是这样的，如果定义为一个指针，它需要占用4Bytes，并且在申请好内存后必须人为赋地址才可以。如果使用这个用法，这个常量指针不占用空间，并且无需赋值。

但是，方便并不是绝对的，在释放分配的内存的时候，由于函数free会认为*thisline 只是指向一个4字节的指针，即只会释放length的空间，而对于后面占据大头的buffer却视而不见，这个就需要人为干预；而对于后面的声明指针的方式，则可以直接用Free(thisline->contents)的方式释放掉分配的内存。

ASSERT:除非必要，不要轻易使用这个功能，GNU C下可以编译通过，所以你在使用vc++，那就不用尝试了，编译都无法通过。

From:http://www.douban.com/note/213324492/