C语言中长度为0的数组

注：本文转载自网络，因为被多次转载和改编，根本出处已无从考究。

 

       

       长度为0的数组在标准c和c++中是不允许的，如果使用长度为0的数组，编译时会产生错误，提示数组长度不能为0。但在GNUc中，这种用法却是合法的。它的最典型的用法就是位于数组中的最后一项，如上面所示，这样做主要是为了方便内存缓冲区的管理。如果你将上面的长度为的数组换为指针，那么在分配内存时，需采用两步：首先，需为结构体分配一块内存空间；其次再为结构体中的成员变量分配内存空间。这样两次分配的内存是不连续的，需要分别对其进行管理。当使用长度为的数组时，则是采用一次分配的原则，一次性将所需的内存全部分配给它。相反，释放时也是一样的。

对于长度为的数组，在gcc手册中，有如下一段代码片段：

struct line {

      int length;

      char contents[0];

};

struct line *thisline = (struct line *)malloc (sizeof (struct line) + this_length);

thisline->length = this_length;

        这段代码的主要含义是定义了一个结构体，并对其进行初始化，上面结构体的第二个成员变量contents[0]事实上是不占内存空间的，因此整个结构体的长度sizeof(struct line)为4。当采用malloc为其申请内存空间时，如上所示，申请了一段长度为结构体长度加可变长度的内存空间给结构体类型的指针，这时contents就指向申请的可变长度的内存空间。由于是一次申请的，所以这段可变长度的内存空间和前面的结构体长度的内存空间是连续的。对于这段可变长度的内存空间，可以采用数组的方式对其进行访问。对于整个结构体，当不再使用时，可以使用free函数一次性对其进行释放，而不必像指针那样分别释放。

对比：

struct test1
{
     int a;
    int *b;
}__attribute((packed));

struct test2
{
     int a;
     int b[0];
}__attribute((packed));

struct test3
{
     int a;
     int b[1];
}__attribute((packed));

• 长度为0的数组并不占有内存空间，而指针方式需要占用内存空间。
• 对于长度为0的数组，在申请内存空间时，采用一次性分配的原则进行；对于包含指针的结构体，在申请空间时需分别进行，释放时也需分别释放。
• 对于长度为0的数组的访问可采用数组方式进行。