零长度数组
零长度数组、变长数组都是GNU C编译器支持的数组类型。
什么是零长度数组？
首先肯定长度是为0的数组
ANSI C规定定义一个数组长度必须为一个常数，那么就是这个数组的长度在编译的时候就确定了。
int a[10];
但是在C99标准中规定可以定义一个变长的数组。
int len;
int a[len]
这样可以让我们的数组在运行的时候再确定，这是变长。
GUN C编译器支持这样定义
int a[0];
零长度数组不占用内存存储空间。可以用sizeog进行测试哦。
零长度一般很少单独使用，常常作为结构体的一个成员，构成一个变长结构体。
struct buffer{
int len;
int a[0];
};
这个buffer的大小是4.
下面来展示一下这个玩意怎么用的诶？
首先的用处在于通过零长度数组去访问结构体的内存，但是还不占内存。
闲话少说，给大爷们上代码。
struct buffer{
int len;
int a[0];
};
struct buffer *buf;
buf = (struct buffer *)malloc(sizeof(struct buffer)+20);
buf->len = 20;
strcpy(buf->a,"hello zhaixue.cc!\n");
puts(buf->a)//打印到屏幕
free(buf);//配套释放内存
return 0;
使用malloc申请一片内存，大小为sizeof(buffer)+20，即24字节。其中4字节用来表示内存的长度20，剩下的20字节空间，可以通过结构体成员a直接访问这片内存。这里不就把一个字符串放进去了。
内核中的零长度数组
前面说了零长度数组在内核中一般以变长结构体的形式出现。现在看看实际内核是怎么用这个的。来看个内核中USB驱动的应用。
网卡驱动中我们都知道有个玩意叫套接字：socket buffer，这个用来传输数据包的
同样在USB驱动中，也有个类似的叫做URB：USB Request Block，即USB请求块，用来传输USB数据包。它的结构体长这个样子：
这个结构体内定义了USB数据包的传输方向、传输地址、传输大小、传输模式等。这些细节我们不深究，只看最后一个成员。
struct usb_iso_packet_descriptor iso_fream_desc[0];
这个是干什么的呢？主要用于USB的同步传输。
USB有4种传输模式：中断传输、控制传输、批量传输和同步传输。不同的USB设备对传输速度、传输数据安全性的要求不同，所采用的传输模式也不同。
USB摄像头对视频或图像的传输实时性要求较高，对数据的丢帧不是很在意，丢一帧无所谓，接着往下传就可以了。所以USB摄像头采用的是USB同步传输模式。
USB摄像头一般会支持多种分辨率，从16*16到高清720P多种格式。不同分辨率的视频传输，一帧图像数据的大小是不一样的，对USB传输数据包的大小和个数需求是不一样的。那么USB到底该如何设计，才能在不影响USB其他传输模式的前提下，适配这种不同大小的数据传输需求呢？
当用户设置不同分辨率的视频格式时，USB就使用不同大小和个数的数据包来传输一帧视频数据。通过零长度数组构成的这个变长结构体就可以满足这个要求。USB驱动可以根据一帧图像数据的大小，灵活地申请内存空间，以满足不同大小的数据传输。而且这个零长度数组又不占用结构体的存储空间。当USB使用其他模式传输时，不受任何影响，完全可以当这个零长度数组不存在。
牛吧！！！
不过吧有个想法关于指针的。
为啥不用指针呢？指针指向的内存也可变化啊。
首先说说这个事：数组名在作为函数参数进行参数传递时，就相当于一个指针。那数组名是指针吗？
数组名在作为参数传递时，传递的确实是一个地址，但数组名绝不是指针，两者不是同一个东西。
数组名用来表征一块连续内存空间的地址，而指针是一个变量，编译器要给它单独分配一个内存空间，用来存放它指向的变量的地址。
其实就是数组名是不能变化的，而指针相当于一个盒子，你可以往里面放东西，但是数组名它就个东西。
对于一个指针变量，编译器要为这个指针变量单独分配一个存储空间，然后在这个存储空间上存放另一个变量的地址，我们就说这个指针指向这个变量。
对于数组名，编译器不会再给它分配一个单独的存储空间，它仅仅是一个符号，和函数名一样，用来表示一个地址。
int array1[10] = {1,2,3,4,5,6,7,8};
int array2[0];
int *p = &array1[5]
交叉编译
反汇编
数组名array1仅仅表示这40个连续存储空间的首地址
指针变量p，编译器给它分配了0x2104c这个存储空间
array2的地址为0x21054，在BSS段的后面。array2符号表示的默认地址是一片未使用的内存空间，仅此而已，编译器绝不会单独再给其分配一个存储空间来存储数组名。（bbs段是未初始化的数据,不占用磁盘空间,是在程序执行前由内核初始化完成。）
因此零长度数组不会对结构体定义造成冗余，而且使用起来很方便。
- 参考资料：《嵌入式C语言自我修养：从芯片、编译器到操作系统》
