c语言中数组的内存建立

使用C语言编程，实际上使用的内存只有一种——虚拟内存。根据功能的不同在C语言中又将虚拟内存为分三类：栈区、堆区、静态数据区，无论单一变量还是数组，其内存分配都是如此。其中，栈区、静态数据区、堆区都会有编译器负责分配、操作系统负责管理，程序员可以在堆区使用malloc()来动态分配堆内存。
1、栈区：一般每一个函数对应一个栈区，在编译原理中称为栈帧。比如下面的代码：
int main()
{
//定义一个有20个int元素的数组。此时数组a分配的虚拟内存称为栈区，有编译器自行分配。
    int a[20] = {0}; 
    return 0;
}
2、静态数据区：这实际上对应于生成的可执行文件的.data区段，因为这个区段在生成的可执行文件中，因此是“静态的”。比如下面的代码：
//定义一个20个int元素的全局数组，此时数组分配的虚拟内存称为静态数据区，有编译器自行分配。
int g_a[20]; 
int main() { return 0;}
3、堆区：堆区是最复杂的，有操作系统负责堆管理，但是当用C语言编译器生成一个可执行文件并且运行时，它会默认建立一些堆。拿Windows来说，每一程序运行，它会建立至少两个堆，一个是默认堆，一个是new堆。比如下面的代码：
int main()
{
    int *pa = (int*)malloc(sizeof(int)*20);//分配20个int元素大小的堆空间。
    return 0;

}

在c语言中建立数组，系统为其分配空间，建立多个数组，其空间是连续的。

我们可以借助下面的例题：

问题描述：已知5个元素的整型数组 A 未排序，一个索引数组 B 保存 A 的下标。编写程序，在不改变数组A的情况下，只改变数组 B完成对A的排序，如下图所示。
输入：从键盘随机输入五个整数，作为数组A的元素。
输出：第一行输出排序后数组A的五个元素，各元素间无间隔字符；第二行输出数组B排序后的五个元素，各元素间无间隔字符。

 样例

输入 9 7 5 8 4
输出 97584
       42130

编出程序如下：

#include<stdio.h>
int main(){
int a[5],b[5],c[5],r,s,i;
        int k;
for(i=0;i<5;i++){
scanf("%d",&a[i]);
                b[i]=i;
c[i]=a[i];
}
k=1;
while(k==1){
k=0;
for(i=0;i<4;i++){       //13行
if(c[i]>c[i+1]){
r=c[i];
c[i]=c[i+1];
c[i+1]=r;
k=1;
s=b[i];
b[i]=b[i+1];
b[i+1]=s;
}
}
}
    for(i=0;i<5;i++)
printf("%d",a[i]);
printf("\n");
for(i=0;i<5;i++)
printf("%d",b[i]);
return 0;
} 

此时运行结果是确的，但是如果把13行改为for(i=0;i<5;i++){ 

输入9 7 5 8 4则会出现下面的结果：

97584

90738

原因何在？

其实程序使用了3个数组，在13行的循环中，当i运行到i=4的时候，会出现c[5]的数据，由于内存的线性分配，此时c[5]指向的数据是b[0]的数据，进行对b[0]和c[4]的交换操作而引起错误。

//引用：百度知道用户iamdebugman，吉林大学高级程序设计。