可变长数组在gcc编译器中的实现

    在C99中新加入了对变长数组的支持，即数组的长度可以由某个非const变量来定义。可变数组的空间大小直到程序运行时才能确定，因此只有程序在运行时才能为程序分配空间。在gcc编译器程序会在运行时根据实际指定的大小(变量当前的值)调节esp的值，为数组在栈上分配适当大小的空间。由于要在运行时才能为数组分配空间，在开始分配空间之前空间的大小是不确定的，因此分配空间的起始地址也是不确定的(例如要在栈上分配两个可变长数组的情况下)。为了在以后的代码中对可变长数组的内容进行引用操作，程序必须通过某种方式获取可变长数组的地址。在gcc编译器中会在相对于ebp固定的偏移量的栈上分配的一个固定大小的区域（称为内情向量）来记录可变长数组的信息，如数组的开始地址等。后继代码通过内情向量中的起始地址访问可变长数组。
    因为数组依靠在程序运行时动态的调整esp来分配空间，所以这种类型的数组只能够定义在栈内，不能够定义在数据段上(全局数组，静态数组)。

以下是gcc version 4.0.0下的测试结果：
int func(int num)
{
    char var[num];
    var[0]=1;
}

func:
      6    pushl  %ebp
      7    movl    %esp, %ebp
      8
            // 分配固定大小存储数组信息的空间
      9    subl    $24, %esp
    10    movl    %esp, %eax
    11    movl    %eax, %edx

            // 获取数组大小
    12    movl    8(%ebp), %eax
    13
            // 对齐字节，调整esp来为数组分配空间
    14    addl    $15, %eax
    15    addl    $15, %eax
    16    shrl    $4, %eax
    17    sall    $4, %eax
    18    subl    %eax, %esp
    19
            // 存放数组的开始地址到分配的空间中
    20    movl    %esp, -20(%ebp)
    21    movl    -20(%ebp), %eax
    22
    23    addl    $15, %eax
    24    shrl    $4, %eax
    25    sall    $4, %eax
    26    movl    %eax, -20(%ebp)
    27
    28    movl    -20(%ebp), %eax
    29    movl    %eax, -4(%ebp)
    30
            // 根据ebp的某个偏移量中记录的地址来访问数组，对数组元素赋值
    31    movl    -4(%ebp), %eax
    32    movb    $1, (%eax)
    33
    34    movl    %edx, %esp
    35    leave
    36    ret