作者:华清远见讲师
最近很多同学希望了解C语言的内存分配,虽然可以在互联网上找到诸多的讲解,但是你会发现要么不通俗易懂,要么不算太全面。而这些对于新手而言,又绝对会把你弄得晕头转向的,所以在此对网上和书本上的诸般讲解,进行了通俗的翻译和总结。
在说内存分配之前,先提一点题外话,因为在和同学们讲解内存分配的时候,他们不是很明白为什么要进行这样的分配。所以先讲解下,计算机的组成和基本原理。
一、计算机的组成
计算机的五大组成部分:运算器、控制器、存储器、输入设备和输出设备。
我们都知道计算机的处理中心是CPU,它主要由运算器和控制器组成。
1) 运算器
实现算术运算和逻辑运算的部分,主要对数据进行加工处理。
2) 控制器
计算机的指挥中心,它通过地址访问存储器,从存储器中取出指令(程序),并指出下一指令在存储器中的位置,将取出的指令经指令寄存器送往指令译码器,经过对指令的分析产生相应的操作,控制其他部件的有条不紊的工作。
![](https://i-blog.csdnimg.cn/blog_migrate/36d3369143c45840fa7e1fff92312a20.jpeg)
执行指令有四个步骤:取指令、指令译码、按指令操作码执行、形成下一条指令地址。
3)存储器
计算机存放所有数据和程序的记忆部分,它分为两大类:一类是内部存储器(内存),一类是外部存储器(外存)。存储器由若干个存储单元组成,每个存储单元都有一个地址,计算机通过地址对存储单元进行读写。
4) 输入设备
向计算机输入信息(程序、数据、声音、文字、图形、图像等)的设备(键盘、鼠标、图形扫描仪、触摸屏、条形码输入器、光笔等)。
5) 输出设备
主要有显示器、打印机和绘图仪等。
二、内存分配
在任何程序设计环境及语言中,内存管理都十分重要。在目前的计算机系统或嵌入式系统中,内存资源仍然是有限的。因此在程序设计中,有效地管理内存资源是程序员首先考虑的问题
1) C程序结构:可执行代码存储时
下面是C语言可执行程序的基本情况:
上面分别是:代码区、全局初始化数据区/静态数据区、未初始化数据区、十进制总和、十六进制总和、文件名。
我们可以看出程序在未运行前,没有调入到内存时,分为三个部分:代码区(text)、数据区(data)、未初始化数据区(bss)。
(1) 代码区(text)
存放CPU可执行的机器指令,由于程序被经常使用,防止其被意外修改,代码区通常是只读的。
(2) 全局初始化数据区/静态数据区(data)
存放被初始化的全局变量、静态变量(全局静态变量和局部静态变量)、常量数据(如字符串常量)。
(3) 未初始化数据区(BSS)
存放未初始化的全局变量,BSS这个叫法是根据早期的汇编运算符而来的,这个汇编运算符标志着一个块的开始。BSS区的数据在程序开始执行之前被内核初始化为0或空指针(NULL)。
2)C程序结构:程序执行时
一个正在运行的C程序,占用的内存分为5个区域:代码区、初始化数据区/静态数据区、未初始化数据区、堆区、栈区。
![](https://i-blog.csdnimg.cn/blog_migrate/18896a578b1a14a943a4a1aac9e41879.jpeg)
(1) 代码区(text)
代码区指令根据程序设计流程依次执行,对于顺序指令,则只会执行一次,如果反复,则需使用跳转指令,如果进行递归,则需借助栈来实现。
代码区包括操作码和要操作的对象(或对象的地址引用),如果是立即数(即具体的数值,如2),将直接包含在代码中;如果是局部数据,将在栈中分配空间,然后引用该数据的地址;如果是BSS区和数据区,在代码中同样引用该数据的地址。
(2) 全局初始化数据区/静态数据区(data)
只初始化一次。上面已经说过,在程序编译时,该区域已经被分配好了,这块内存在程序的整个运行期间都存在,当程序结束时,才会被释放。
(3)未初始化数据 区(BSS)
在运行时改变其值。
(4)栈区(stack)
存放函数的参数值和局部变量,由编译器自动分配释放,其操作方式类似于数据结构的栈。其特点是不需要程序员去考虑内存管理的问题,很方便;同时栈的容量很有限,在Linux系统中,栈的容量只有8M,并且当相应的范围结束时(如函数),局部变量就不能再使用。
(5)堆区(heap)
有些操作对象只有在程序运行时才能确定,这样编译器在编译时就无法为他们预先分配空间,只有程序运行时才分配,这就是动态内存分配。堆区就是用于动态内存分配(如malloc的动态内存分配),堆在内存中位于bss区和栈区之间,一般由程序员申请和释放。
之所以分配如此多的区域,主要是因为:
一个进程在运行时,代码是根据流程依次执行的,代码只需访问一次,当然跳转或递归时代码会被执行多次,而数据一般都需要访问多次,因此单独开辟空间以便访问和节约空间。
下面是一个详细的代码,来全面分析内存分配情况:
//main.c
int a = 0; //a在全局初始化数据区
char *p1; //p1在bss区(未初始化全局变量)
static int c = 0; //c在全局初始化数据区(c是全局静态变量)
struct employee
{
char name[20];
int age;
float score;
}e1; //e1在全局初始化数据区
int main()
{
int b; //b在栈区(局部变量)
char s[] = “abc”; //s在栈区,“abc”在常量区(全局初始化数据区)
char *p2; //p2在栈区
char *p3 = “123456”; //p3在栈区,“123456”在常量区(全局初始化数据区)
static int d = 0; //d在全局初始化数据区(静态局部变量)
struct student
{
char *name; //name在栈区,name指针指向是在堆区
int age;
float score;
}s1; //s1在栈区
p1 = (char*)malloc(10); //分配得来的10个字节的区域在堆区
p2 = (char*)malloc(20); //分配得来的20个字节的区域在堆区
name = (cahr *)malloc(20); //分配得来的20个字节的区域在堆区
/*从常量区的“Hello World”字符串复制到刚分配到的堆区*/
strcpy(p1, “Hello World”);
free(p1); //释放内存
free(p2); //释放内存
}
文章选自华清远见嵌入式培训