Linux C 的可變長數組

1. #include <stdio.h>  
2. #include <stdlib.h>  
3. #include <string.h>  
4.   
5. static char arry_b[0];  
6.   
7. void lengthen_arry(int n)  
8. {  
9.     const char *head = "headstr-";  
10.     const char *tail = "tailstr";  
11.   
12.     char arr[n+1];  
13.     char vla[strlen(head) + strlen(tail) + 1];  
14.   
15.     int i;  
16.   
17.     strcpy(vla, head);  
18.     strcat(vla, tail);  
19.   
20.     printf("%s\n", vla);  
21.   
22.     for(i = 0; i < 5; ++i)  
23.     {  
24.         char foo[i + 2];  
25.         strncpy(foo, "xxxxxxxxxxx", i + 1);  
26.         foo[i + 1] = '\0';  
27.         printf("%s\n", foo);  
28.     }  
29.   
30.     bzero(arr, (n+1) * sizeof(char));  
31.   
32.     for (i = 0; i < n; i++) {  
33.   
34.         arr[i] = (char)('A' + i);  
35.         arry_b[i] = (char)('A' + i);  
36.   
37.     }  
38.   
39.     arr[n] = '\0';  
40.     arry_b[n] = '\0';  
41.     printf("length_arry:%s:%s\n", arr, arry_b);  
42. }  
43.   
44. typedef struct _t {  
45.     size_t size;  
46.     char *s;  
47. }s_t;  
48.   
49. void lengthen_arry_2(char *str)  
50. {  
51.     s_t *t;  
52.     t = (s_t *)malloc(sizeof (s_t) + strlen(str));  
53.   
54.     t->size = strlen(str);  
55.   
56.     t->s = (char *)t + sizeof(s_t);  
57.   
58.     strncpy(t->s, str, t->size);  
59.   
60.     printf("s_t:%s\n", t->s);  
61.     free(t); //只要一次釋放就可以  
62. }  
63.   
64. int main(int argc, char *argv[])  
65. {  
66.     lengthen_arry(6);  
67.     lengthen_arry_2("lengthen_arry");  
68.     return 0;  
69. }  

/*=============*/

在C99中新加入了對變長數組的支持，即數組的長度可以由某個非const變量來定義。

可變數組的空間大小直到程序運行時才能確定，因此只有程序在運行時才能為程序分配空間。

在gcc編譯器程序會在運行時根據實際指定的大小(變量當前的值)調節esp的值，為數組在棧上分配適當大小的空間。

由於要在運行時才能為數組分配空間，在開始分配空間之前空間的大小是不確定的，因此分配空間的起始地址也是不確定的(例如要在棧上分配兩個可變長數組的情況下)。

為了在以後的代碼中對可變長數組的內容進行引用操作，程序必須通過某種方式獲取可變長數組的地址。

在gcc編譯器中會在相對於ebp固定的偏移量的棧上分配的一個固定大小的區域（稱為內情向量）來記錄可變長數組的信息，如數組的開始地址等。

後繼代碼通過內情向量中的起始地址訪問可變長數組。

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