通俗理解 C 语言内存分配最近很多同学希望了解C语言的内存分配

最近很多同学希望了解C语言的内存分配，虽然可以在互联网上找到诸多的讲解，但是你会发现要么不通俗易懂，要么不算太全面。而这些对于新手而言，又绝对会把你弄得晕头转向的，所以在此对网上和书本上的诸般讲解，进行了通俗的翻译和总结。

在说内存分配之前，先提一点题外话，因为在和同学们讲解内存分配的时候，他们不是很明白为什么要进行这样的分配。所以先讲解下，计算机的组成和基本原理。

一．计算机的组成

计算机的五大组成部分：运算器、控制器、存储器、输入设备和输出设备。

我们都知道计算机的处理中心是CPU，它主要由运算器和控制器组成。

1）运算器

实现算术运算和逻辑运算的部分，主要对数据进行加工处理。

2）控制器

计算机的指挥中心，它通过地址访问存储器，从存储器中取出指令（程序），并指出下一指令在存储器中的位置，将取出的指令经指令寄存器送往指令译码器，经过对指令的分析产生相应的操作，控制其他部件的有条不紊的工作。

程序计数器（pc） pc寄存器中的内容是，下一条要取的指令的16位单元存储地址。当执行一条指令时，首先需要根据pc中存放的指令地址，将指令由内存取到指令寄存器中，此过程称为“取指令”。与此同时，pc中的地址或自动加1或由转移指针给出下一条指令的地址。如此循环，执行每一条指令。

指令寄存器（IR）存放当前要执行的指令

指令译码器（ID）对现行指令进行分析，确定指令类型、指令所要完成的操作以及寻址方式

时序产生器用于产生时序脉冲和节拍电位去控制计算机的有序工作

状态/条件寄存器用于保存指令执行完成后产生的条件码。例如：运算是否溢出，结果是正是负，是否有进位等。而且还保存中断和系统工作状态等信息。

微操作信号发生器把指令提供的操作信号、时序产生器提供的时序信号以及由控制功能部件反馈的状态信号等综合成特定的操作序列，从而完成取指令的执行控制。

执行指令有四个步骤：取指令、指令译码、按指令操作码执行、形成下一条指令地址。

3）存储器

计算机存放所有数据和程序的记忆部分，它分为两大类：一类是内部存储器（内存），一类是外部存储器（外存）。存储器由若干个存储单元组成，每个存储单元都有一个地址，计算机通过地址对存储单元进行读写。

4）输入设备

向计算机输入信息（程序、数据、声音、文字、图形、图像等）的设备（键盘、鼠标、图形扫描仪、触摸屏、条形码输入器、光笔等）。

5）输出设备

主要有显示器、打印机和绘图仪等。

二．内存分配

在任何程序设计环境及语言中，内存管理都十分重要。在目前的计算机系统或嵌入式系统中，内存资源仍然是有限的。因此在程序设计中，有效地管理内存资源是程序员首先考虑的问题

1） C程序结构：可执行代码存储时

下面是C语言可执行程序的基本情况：

上面分别是：代码区、全局初始化数据区/静态数据区、未初始化数据区、十进制总和、十六进制总和、文件名。

我们可以看出程序在未运行前，没有调入到内存时，分为三个部分：代码区（text）、数据区（data）、未初始化数据区（bss）。

（1）代码区（text）

存放CPU可执行的机器指令，由于程序被经常使用，防止其被意外修改，代码区通常是只读的。

（2）全局初始化数据区/静态数据区（data）

存放被初始化的全局变量、静态变量（全局静态变量和局部静态变量）、常量数据（如字符串常量）。

（3）未初始化数据区（BSS）

存放未初始化的全局变量，BSS这个叫法是根据早期的汇编运算符而来的，这个汇编运算符标志着一个块的开始。BSS区的数据在程序开始执行之前被内核初始化为0或空指针（NULL）。

2）C程序结构：程序执行时

一个正在运行的C程序，占用的内存分为5个区域：代码区、初始化数

据区/静态数据区、未初始化数据区、堆区、栈区。

程序运行时内存区域

（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); //释放内存

}

戳左下角原文领取：最新独家原创嵌入式Linux驱动开发源码

【近期文章推荐】

1.我谈的只是15K的base，Can you？

2.程序员应该读的一些数学/算法图书

3.推荐10部嵌入式Linux系统有关的电子书

4.物联网工资一般多少看后直接惊呆了

5.华为10年员工离职：别了！白天吵架，晚上加班的日子

6.为嵌入式8月高薪就业榜疯狂打call 最高月薪突破1.8w

7.工作十年的程序员，却拿着毕业三年的工资，再不开窍就真晚了

回复“0-71”任一数字，即可查看往期文章精选哦

长按二维码3秒

与10万程序高手做朋友

每天干货享不停

（记得识别二维码哟）

或微信搜索华清远见，即可关注我们

免费讲座 | 干货分享 | 程序员生活 | 就业招聘

高端IT就业培训专家

m.embedu.org