C語言可變長數組在GCC編譯器中的實現

在C99中新加入了對變長數組的支持，即數組的長度可以由某個非const變量來定義。可變數組的空間大小直到程序運行時才能確定，因此只有程序在運行時才能為程序分配空間。在gcc編譯器程序會在運行時根據實際指定的大小(變量當前的值)調節esp的值，為數組在棧上分配適當大小的空間。由于要在運行時才能為數組分配空間，在開始分配空間之前空間的大小是不確定的，因此分配空間的起始地址也是不確定的(例如要在棧上分配兩個可變長數組的情況下)。為了在以后的代碼中對可變長數組的內容進行引用操作，程序必須通過某種方式獲取可變長數組的地址。在gcc編譯器中會在相對于ebp固定的偏移量的棧上分配的一個固定大小的區域(稱為內情向量)來記錄可變長數組的信息，如數組的開始地址等。后繼代碼通過內情向量中的起始地址訪問可變長數組。

因為數組依靠在程序運行時動態的調整esp來分配空間，所以這種類型的數組只能夠定義在棧內，不能夠定義在數據段上(全局數組，靜態數組)。

代碼

#include

#include

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下設置。

深圳北大青鳥