数组的长度在编译时就确定了。长度为0的数组在标准C和C++中是不允许的，编译时会产生错误。但在GNU C中，这种用法却是合法的。最典型的用法就是位于结构体的最后一项，如下图所示：
struct test {
int a;
int b[0];
} __attribute((packed)); //改变编译器的对齐方式，让编译器更紧凑地使用内存
注：__attribute__是编译器的特性
typedef struct __attribute__((packed)) {
UInt8 cmd; //8位无符号整数
UInt16 index; //16位无符号整数
} D2MCommand;
typedef struct {
UInt8 cmd;
UInt16 index;
} D2MCommandNoAttribute;
NSLog(@"D2MCommand长度: %@", @(sizeof(D2MCommand)));
NSLog(@"D2MCommandNoAttribute长度: %@", @(sizeof(D2MCommandNoAttribute)));
// 打印结果
D2MCommand长度: 3
D2MCommandNoAttribute长度: 4
这样做主要是为了方便内存缓冲区的管理。如果将上面长度为0的数组换为指针，那么在分配内存时，需采用两步：首先 ，为结构体分配一块内存空间；其次再为结构体中的成员变量分配内存空间。这样两次分配的内存时不连续的，需要分别对其进行管理。
struct test1 {
int a;
int *b;
} __attribute((packed));
printf("the length of struct test1:%d\n", sizeof(struct test1)); //结果为8
struct test1 *var1;
var1 = (struct test1 *)malloc(sizeof(struct test1));
var1 -> a = 1;
var1 -> b = (int *)malloc(sizeof(int));
*var1 -> b = 1;
free(var1 -> b);
free(var1);
当使用长度为0的数组时，则只需要分配一次内存空间即可。
#define LENGTH 10
struct test2 {
int a;
int b[0];
} __attribute((packed));
printf("the length of struct test2:%d\n", sizeof(struct test2)); //结果为4
struct test2 *var2;
var2 = (struct test2*)malloc(sizeof(struct test2) + sizeof(int)*LENGTH);
var2 -> a = 2;
for(int i = 0; i < LENGTH; i++) {
var2 -> b[i] = i;
}
free(var2);
上面结构体的第二个成员变量b[0]事实上是不占内存空间的，因此sizeof(struct test2)结果为4。如上所示，通过malloc()申请了一段长度为结构体长度加可变长度(LENGTH)的内存空间给结构体类型的指针，b[0]就指向可变长度的内存空间。此段内存空间是连续的。
其实只要是数组，其分配的内存空间就是连续的，并且也是只需要分配一次内存空间。
struct test3 {
int a;
int b[1];
} __attribute((packed));
printf("the length of struct test3:%d\n", sizeof(struct test3)); //结果为8
struct test3 *var3;
var3 = (struct test3 *)malloc(sizeof(struct test3));
var3 -> a = 3;
(var3 -> b)[0] = 3; //暂时不知括号何用？？？
free(var3); //只需释放一次
个人认为，使用长度为0的数组的好处是：其可变长度(LENGTH)可以由不同地方的代码共同决定。
