C語言可變長數(shù)組在GCC編譯器中的實現(xiàn)

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

因為數(shù)組依靠在程序運行時動態(tài)的調(diào)整esp來分配空間，所以這種類型的數(shù)組只能夠定義在棧內(nèi)，不能夠定義在數(shù)據(jù)段上(全局?jǐn)?shù)組，靜態(tài)數(shù)組)。

代碼

#include

#include

int main()

{

unsigned int size;

scanf("%d",&size);

int var[size]; //定義變長數(shù)組

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編譯通過，在循環(huán)時使用C99標(biāo)準(zhǔn)代碼。編譯時要添加-std=c99參數(shù)，可以在Settings菜單的Compiler and debugger下設(shè)置。

深圳北大青鳥