GCC零长数组与变长数组

一般我们如果碰到如下代码一般都会认为是错误的。

1
2


int a=10;
int array[a];

因为我们的书上明确说过，定义数组的时候，数组维度必须为常量表达式或者const的常量。就像下面一样：

1
2
3


int array[10];
const int lenght=10;
int array2[lenght];

第一次我看到第一段代码的时候认为绝壁编译无法通过，刚好我又在Linux下开发程序，抱着怀疑的心态编译了一下，结果竟然通过了。当时我的人生观、价值观、世界观就被颠覆了，便在网上四处搜索答案，之后在 http://www.cnblogs.com/hazir/p/variable_length_array.html 找到了答案。

在 ISO/IEC9899 标准的 6.7.5.2 Array declarators 中明确说明了数组的长度可以为变量的，称为变长数组（VLA，variable length array）。（注：这里的变长指的是数组的长度是在运行时才能决定，但一旦决定在数组的生命周期内就不会再变。）
在 GCC 标准规范的 6.19 Arrays of Variable Length 中指出，作为编译器扩展，GCC 在 C90 模式和 C++ 编译器下遵守 ISO C99 关于变长数组的规范。

GCC 中允许使用零长数组，把它作为结构体的最后一个元素非常有用，下面例子出自 gcc 官方文档。

1
2
3
4
5
6
7


struct line {
    int length;
    char contents[0];
};

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

从上例就可以看出，零长数组在有固定头部的可变对象上非常适用，我们可以根据对象的大小动态地去分配结构体的大小。