0长度数组

参考：零长度（柔性）数组时GNU/GCC在C/C++上做得实用性扩展（C99之后的编译器支持），主要是用于变长数组（扩展变长的结构体）。引入原因：静态定长数组容易造成浪费；结构体中用指针虽然不会造成浪费，
但得2次分配（先分配结构体变量空间，再分配数据域空间）内存和2次销毁，当申请和释放不在一个地方时最2为麻烦，一旦忘记容易造成内存泄漏。正是基于此才引入0长度数组。

+ View Code?

1

<em id="__mceDel">零长度是指定义数组时，指定其长度为0（如int arr[0];)，这样的数组（数组名）不占用实际的空间（只是个不可修改的地址常量的偏移），但能通过数组名访问到其指向的地址。可以巧妙的实现C语言里的数组扩展，<br>比将reverse定义为指针，</em><em id="__mceDel" style="font-family: "PingFang SC", "Helvetica Neue", Helvetica, Arial, sans-serif; font-size: 14px">* 再为指针分配空间的做法要简单一些，并且可以节省一个指针的存储空间。</em>

 

#include <stdlib.h>
#include <stdio.h>
struct device
{
    int num;
    int count;
    int reserve[0];
/*
* reserve是一个数组名；该数组没有元素；该数组的其实地址紧随结构体device之
* 后；这种声明方法可以巧妙的实现C语言里的数组扩展，比将reverse定义为指针，
* 再为指针分配空间的做法要简单一些，并且可以节省一个指针的存储空间
*/
};


int main()
{
    struct device * p_dev =
        (struct device *) malloc (sizeof(struct device) + sizeof(int)*25);
    //sizeof(int)*25是数组reserve的具体空间(25个元素)

    p_dev->reserve[0] = 100;
    p_dev->reserve[24] = 0;

    printf("p_dev->reserve[0] = %d\n", p_dev->reserve[0]);
    printf("p_dev->reserve[24] = %d\n", p_dev->reserve[24]);
    printf("sizeof(struct device) = %d\n",sizeof(struct device));

    //将结构体device之后的第一个内容(int值，其实就是reserve[0]的值) 赋值给a


    int a = *(&p_dev->count + 1);/*验证地址的连续和扩展。*/
    printf("a = %d\n", a);
    return 0;
}


 

 

运行结果：

p_dev->reserve[0] = 100

p_dev->reserve[24] = 0

sizeof(struct device) = 8

a = 100

 

内存布局：

num

count

reverse[0]

…

…

…

reverse[24]

|<-------struct device-------->|