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

在标准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++，那就不用尝试了，编译都无法通过。

http://dev.firnow.com/course/3_program/c++/cppjs/20091211/184518.html

　　这种想法源于C语言——试图说明一个可变长的struct。在你举的例子里，struct line的大小，对编译器来说，为四字节。但是，你可以动态分配，例如200字节的一个块（类型为char[200]），再把这个块的指针，cast成类 型为struct line的指针。这样，在这个struct line的变量中，字段contents就可以视为一个长度为196个元素的char数组来使用了。

这种做法的优点是，比起把 contents说明成char的指针，效率要高。因为访问contents的元素时，不需要间接访问了。

这种做法的缺点是不安全， 特别是释放这个块（200字节）时，要你“人工”干预。因为编译器认为，这个由struct line的指针指向的块，只有4个字节。

然而，在C++语言里，是不允许零长数组的（摘自pp137，C++标准ISO/IEC-14882(2003)E ）：

In a declaration T D where D has the form

D1 [constant-expression opt]

and the type of the identifier in the declaration T D1 is "derived-declarator-type-list T," then the type of the identifier of D is an array type. T is called the array element type; this type shall not be a reference type, the (possibly cv-qualified) type void, a function type or an abstract class type. If the constant-expression (5.19) is present, it shall be an integral constant expression and its value shall be greater than zero.

因此，GNU C++这个“feature”，是不可移植的，还是不用为妙（或者数组长度的长度至少要为1）。