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

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

    因为数组依靠在程序运行时动态的调整esp来分配空间，所以这种类型的数组只能够定义在栈内，不能够定义在数据段上(全局数组，静态数组)。

 

代码

#include  < stdio.h >
#include  < stdlib.h >

int  main()
{
    unsigned  int  size;
    scanf( " %d " , & size);
     int  var[size];       // 定义变长数组
     if (size  ==   0 )
    {
        printf( " empty array\n " );
         return   0 ;
    }
     else
    {
         /* error: 'for' loop initial declarations are only allowed in C99 mode|
        note: use option -std=c99 or -std=gnu99 to compile your code */
         for ( int  i  =   0 ; i  <  size; i ++ )
        {
            printf( " %d\t " ,var[i]);
        }
    }

     return   0 ;
}

 

 

 使用CodeBlocks编译通过，在循环时使用C99标准代码。编译时要添加-std=c99参数，可以在Settings菜单的Compiler and debugger下设置。