内存管理剖析-优快云博客

2019独角兽企业重金招聘Python工程师标准>>>

代码段：

在采用段式内存管理的架构中，代码段（code segment / text segment）通常是指用来存放程序执行代码的一块内存区域。这部分区域的大小在程序运行前就已经确定，并且内存区域通常属于只读, 某些架构也允许代码段为可写，即允许程序自我修改(self-modifying code)。在代码段中，也有可能包含一些只读的常数变量，例如字符串常量等。

操作系统在装载一个程序时会进行进程地址空间的分段，而代码段通常处于最底部，即最低地址部分，而堆和栈在高处，所以在允许代码段可写的架构上，当堆或栈内存溢出时，代码段中的数据就会开始被覆盖。

一般来说，可以简单地理解为内存分为三个部分：静态区，栈，堆。

很多地方没有把把堆和栈解释清楚，导致总是分不清楚。其实堆栈就是栈，而不是堆。堆的英文是heap；栈的英文是stack，也翻译为堆栈。堆和栈都有自己的特性，这里先不做讨论。

静态区：保存自动全局变量和static 变量（包括static 全局和局部变量）。静态区的内容在总个程序的生命周期内都存在，由编译器在编译的时候分配。

栈(stack)：栈又称堆栈，是用户存放程序临时创建的局部变量，也就是说我们函数括弧“{}”中定义的变量（但不包括static声明的变量，static意味着在数据段中存放变量）。除此以外，在函数被调用时，其参数也会被压入发起调用的进程栈中，并且待到调用结束后，函数的返回值也会被存放回栈中。由于栈的先进先出特点，所以栈特别方便用来保存/恢复调用现场。从这个意义上讲，我们可以把堆栈看成一个寄存、交换临时数据的内存区。

栈上的内容只在函数的范围内存在，当函数运行结束，这些内容也会自动被销毁。其特点是效率高，但空间大小有限。

堆（heap）：

堆是用于存放进程运行中被动态分配的内存段，它的大小并不固定，可动态扩张或缩减。当进程调用malloc系列函数或new 操作符分配内存时，新分配的内存就被动态添加到堆上（堆被扩张）；其生命周期由free 或delete 决定。当利用free等函数释放内存时，被释放的内存从堆中被剔除（堆被缩减）。在没有释放之前一直存在，直到程序结束。其特点是使用灵活，空间比较大，但容易出错。

程序：

/* stack07.c */

int foo() {

int a;

int b;

int c;

a = 2;

b = 3;

c = 4;

return 0;

}

int main(int argc, char * argv[]) {