Linux C 的可变长数组

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来分配空间，所以这种类型的数组只能够定义在栈内，不能够定义在数据段上(全局数组，静态数组)。??? 有疑问正在研究中。