Linux C 的可變長數組

1. #include <stdio.h>
2. #include <stdlib.h>
3. #include <string.h>
5. static char arry_b[0];
7. void lengthen_arry(int n)
8. {
9. const char *head = "headstr-";
10. const char *tail = "tailstr";
12. char arr[n+1];
13. char vla[strlen(head) + strlen(tail) + 1];
15. int i;
17. strcpy(vla, head);
18. strcat(vla, tail);
20. printf("%s\n", vla);
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. }
30. bzero(arr, (n+1) * sizeof(char));
32. for (i = 0; i < n; i++) {
34. arr[i] = (char)('A' + i);
35. arry_b[i] = (char)('A' + i);
37. }
39. arr[n] = '\0';
40. arry_b[n] = '\0';
41. printf("length_arry:%s:%s\n", arr, arry_b);
42. }
44. typedef struct _t {
45. size_t size;
46. char *s;
47. }s_t;
49. void lengthen_arry_2(char *str)
50. {
51. s_t *t;
52. t = (s_t *)malloc(sizeof (s_t) + strlen(str));
54. t->size = strlen(str);
56. t->s = (char *)t + sizeof(s_t);
58. strncpy(t->s, str, t->size);
60. printf("s_t:%s\n", t->s);
61. free(t); //只要一次釋放就可以
62. }
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來分配空間，所以這種類型的數組只能夠定義在棧內，不能夠定義在數據段上(全局數組，靜態數組)。??? 有疑問正在研究中。