各种变量在内存中的分布

各种变量在内存中的分布

 

一般认为在c中分为这几个存储区
1栈 - 有编译器自动分配释放
2堆 - 一般由程序员分配释放，若程序员不释放，程序结束时可能由OS回收
3全局区（静态区），全局变量和静态变量的存储是放在一块的，初始化的全局变量和静态变量在一块区域，未初始化的全局变量和未初始化的静态变量在相邻的另一块区域。程序结束释放。
4另外还有一个专门放常量的地方。 - 程序结束释放

在函数体中定义的变量通常是在栈上，用malloc, calloc, realloc等分配内存的函数分配得到的就是在堆上。在所有函数体外定义的是全局量，加了static修饰符后不管在哪里都存放在全局区（静态区）,在所有函数体外定义的static变量表示在该文件中有效，不能extern到别的文件用，在函数体内定义的static表示只在该函数体内有效。另外，函数中的 "adgfdf "这样的字符串存放在常量区。

比如：
int a = 0; 全局初始化区
char *p1; 全局未初始化区
main()
{
int b; 栈
char s[] = "abc ";栈
char *p2; 栈
char *p3 = "123456 "; 123456\0在常量区，p3在栈上。
static int c =0； 全局（静态）初始化区
p1 = (char *)malloc(10);
p2 = (char *)malloc(20);
分配得来得10和20字节的区域就在堆区。
strcpy(p1, "123456 "); 123456\0放在常量区，编译器可能会将它与p3所指向的 "12345
6 "优化成一块。
}

测试程序：

1. #include <stdio.h>  
2. #include <malloc.h>  
3. int g_i = 100;  
4. int g_j = 200;  
5. int g_k, g_h;  
6. int main()  
7. {  
8.     const int MAXN = 100;  
9.     int *p = (int*)malloc(MAXN * sizeof(int));  
10.     static int s_i = 5;  
11.     static int s_j = 10;  
12.     static int s_k;  
13.     static int s_h;  
14.     int i = 5;  
15.     int j = 10;  
16.     int k = 20;  
17.     int f, h;  
18.     char *pstr1 = "MoreWindows123456789";  
19.     char *pstr2 = "MoreWindows123456789";  
20.     char *pstr3 = "Hello";  
21.       
22.       
23.     printf("堆中数据地址：0xx\n", p);  
24.       
25.     putchar('\n');  
26.     printf("栈中数据地址(有初值)：0xx = %d\n", &i, i);  
27.     printf("栈中数据地址(有初值)：0xx = %d\n", &j, j);  
28.     printf("栈中数据地址(有初值)：0xx = %d\n", &k, k);  
29.     printf("栈中数据地址(无初值)：0xx = %d\n", &f, f);  
30.     printf("栈中数据地址(无初值)：0xx = %d\n", &h, h);  
31.       
32.     putchar('\n');  
33.     printf("静态数据地址(有初值)：0xx = %d\n", &s_i, s_i);  
34.     printf("静态数据地址(有初值)：0xx = %d\n", &s_j, s_j);  
35.     printf("静态数据地址(无初值)：0xx = %d\n", &s_k, s_k);  
36.     printf("静态数据地址(无初值)：0xx = %d\n", &s_h, s_h);  
37.       
38.     putchar('\n');  
39.     printf("全局数据地址(有初值)：0xx = %d\n", &g_i, g_i);  
40.     printf("全局数据地址(有初值)：0xx = %d\n", &g_j, g_j);  
41.     printf("全局数据地址(无初值)：0xx = %d\n", &g_k, g_k);  
42.     printf("全局数据地址(无初值)：0xx = %d\n", &g_h, g_h);  
43.       
44.     putchar('\n');  
45.     printf("字符串常量数据地址：0xx 指向 0xx 内容为-%s\n", &pstr1, pstr1, pstr1);  
46.     printf("字符串常量数据地址：0xx 指向 0xx 内容为-%s\n", &pstr2, pstr2, pstr2);  
47.     printf("字符串常量数据地址：0xx 指向 0xx 内容为-%s\n", &pstr3, pstr3, pstr3);  
48.     free(p);  
49.     return 0;  
50. }  

运行结果（Release版本，XP系统）如下：

可以看出：

1.      变量在内存地址的分布为：堆-栈-代码区-全局静态-常量数据

2.      同一区域的各变量按声明的顺序在内存的中依次由低到高分配空间（只有未赋值的全局变量是个例外）。

3.      全局变量和静态变量如果不赋值，默认为0。 栈中的变量如果不赋值，则是一个随机的数据。

4.      编译器会认为全局变量和静态变量是等同的，已初始化的全局变量和静态变量分配在一起，未初始化的全局变量和静态变量分配在另一起。

 

上面程序全在一个主函数中，下面增加函数调用，看看函数的参数和函数中变量会分配在什么地方。

程序如下：

1. #include <stdio.h>  
2. void fun(int i)  
3. {  
4.     int j = i;  
5.     static int s_i = 100;  
6.     static int s_j;  
7.   
8.     printf("子函数的参数:        0x%p = %d\n", &i, i);  
9.     printf("子函数 栈中数据地址: 0x%p = %d\n", &j, j);  
10.     printf("子函数 静态数据地址(有初值): 0x%p = %d\n", &s_i, s_i);  
11.     printf("子函数 静态数据地址(无初值): 0x%p = %d\n", &s_j, s_j);  
12. }  
13. int main()  
14. {  
15.     int i = 5;  
16.     static int s_i = 100;  
17.     static int s_j;  
18.   
19.     printf("主函数 栈中数据地址: 0x%p = %d\n", &i, i);  
20.     printf("主函数 静态数据地址(有初值): 0x%p = %d\n", &s_i, s_i);  
21.     printf("子函数 静态数据地址(无初值): 0x%p = %d\n", &s_j, s_j);  
22.     putchar('\n');  
23.   
24.     fun(i);  
25.     return 0;  
26. }  

运行结果如下：

可以看出，主函数中栈的地址都要高于子函数中参数及栈地址，证明了栈的伸展方向是由高地址向低地址扩展的。主函数和子函数中静态数据的地址也是相邻的，说明程序会将已初始化的全局变量和表态变量分配在一起，未初始化的全局变量和表态变量分配在另一起。