【存储类和动态内存分配】 程序内存的三个独立部分

存储类和动态内存之间的关系：

我们来看一个理想模型。可以认为程序将它的可用内存分成了三个独立的部分：

① 具有外部链接的、具有内部链接以及具有空链接的静态变量

② 自动变量（又称：局部变量）

③ 动态分配的内存

 

       在编译的时候就已经知道了静态存储时期存储类变量所需的内存数量，存储在这一部分的数据在整个程序运行期间都可使用。这一类型的每个变量在程序开始时就已存在，到程序结束时终止。

       然而，一个自动变量在程序进入包含该变量定义的代码块时产生，在退出这一代码块时终止。因此，伴随着程序对函数的调用和终止，自动变量使用的内存数量也在增加和减少。典型地，这一部分内存处理为堆栈。这意味着在内存中，新变量在创建时按顺序加入，在消亡时按相反顺序移除。

       动态分配的内存在调用malloc()或相关函数时产生，在调用free()时释放。由程序员而不是一系列固定的规则控制内存持续时间，因此内存块可在一个函数中创建，而在另一个函数中释放。由于这点，动态内存分配所用的内存部分可能变成碎片状，也就是说，在活动的内存块之间散布着未使用的字节片。不管怎样，使用动态内存往往导致进程比使用堆栈内存慢。

 

 

参考书籍：

《C Primer Plus (第五版)》Stephen  Prata    云巅工作室译