内存分配方式（堆、栈 / 栈帧、自由存储区、全局/静态存储区和常量存储区）

---

程序的内存分配：

内存分配方式有三种：

1. 从静态存储区域分配。 内存在程序编译的时候就已经分配好，这块内存在程序的整个运行期间都存在。例如全局变量，static 变量。
2. 在栈上创建。 在执行函数时，函数内局部变量的存储单元都可以在栈上创建，函数执行结束时这些存储单元自动被释放。栈内存分配运算内置于处理器的指令集中，效率很高，但是分配的内存容量有限。
3. 从堆上分配，亦称动态内存分配。 程序在运行的时候用malloc或new申请任意多少的内存，程序员自己负责在何时用free或delete释放内存。动态内存的生存期由我们决定，使用非常灵活，但问题也最多。

一个由C/C++编译的程序占用的内存分为以下几个部分：

1. 栈区（stack）: 由编译器自动分配释放，存放函数的参数值、局部变量的值、函数的返回值等。栈的 生长方向是从高往低的（向着内存地址减小的方向）,其操作方式类似于数据结构中的栈。
2. 堆区（heap） : 堆区的 生长方向是向上增长的（向着内存地址增加的方向），用于分配程序员申请的内存空间（比如new 申请的动态内存）,一般由程序员分配释放，若程序员不释放，程序结束时可能由OS（操作系统）回收。注意它与数据结构中的堆是两回事，分配方式倒是类似于链表。
3. 全局区（静态区）（static）： 用于分配静态变量，全局变量和静态变量的存储是放在一块的。初始化的全局变量和静态变量在一块区域，未初始化的全局变量和未初始化的静态变量在相邻的另一块区域。程序结束后由系统释放。
4. 只读区（文字常量区）： 分配常量、常量字符串。文字常量区在自己特有的内存段内，且有机制控制字符常量不被修改（当字符串相同的时候，系统有时还会将两个指针指向同一处），程序结束后由系统释放。
5. 程序代码区： 存放函数体的二进制代码。

注意 ： 在文字常量区的字符串不可以被修改，而在内存堆空间的字符串可以被修改

图解：

举例如下：

int  a=0;   //全局初始化区    
char *p1;   //全局未初始化区   
 
int main()    
{    
  int  b; 			//栈    
  char  s[]="abc";	//栈    
  char  *p2;		//栈    
  char  *p3="123456";	//123456\0在常量区，p3在栈上。   
  static int c =0;	//全局（静态）初始化区    
  p1 =  (char  *)malloc(10);  //堆 分配得来的10和20字节的区域
  p2  = (char  *)malloc(20);  //堆 注意p1、p2本身是在栈中的     
  p0= "123456";	//123456\0放在常量区，编译器可能会将它与p3所指向的"123456\0"优化成一个地方。    
} 

数据结构中的栈和堆

虽说我们经常把堆栈放在一起称呼，但是不可否认的是，堆栈实际上是两种数据结构：堆和栈。

堆和栈都是一种数据项按序排列的数据结构。

• 栈：就像装数据的桶或箱子，它是一种具有先进后出性质的数据结构。
• 堆：一种经过排序的树形数据结构，每个结点都有一个值。通常我们所说的堆的数据结构，是指二叉堆。堆的特点是根结点的值最小（或最大），且根结点的两个子树也是一个堆。由于堆的这个特性，常用来实现优先队列，堆的存取是任意的。

内存分配中的栈区和堆区

堆区和栈区的区别：

1. 申请方式不同：

• 栈（stack）是系统自动分配空间的，例如我们定义一个 char a；系统会自动在栈上为其开辟空间。
• 堆（heap）则是程序员根据需要自己申请的空间，例如malloc（10）；开辟十个字节的空间。

2. 回收方式不同：

• 栈上的空间是自动分配自动回收的，所以栈上的数据的生存周期只是在函数的运行过程中，运行后就释放掉，不可以再访问。
• 堆上的数据只要程序员不释放空间，就一直可以访问到，不过缺点是一旦忘记释放，在程序运行过程中会造成内存泄露，直到程序结束时由系统回收。

3. 申请内存后系统的响应：

• 栈：只要栈的剩余空间大于所申请空间，系统将为程序提供内存，否则将报异常提示栈溢出。
• 堆：首先应该知道操作系统有一个记录空闲内存地址的链表，当系统收到程序的申请时，会遍历该链表，寻找第一个空间大于所申请空间的堆结点，然后将该结点从空闲结点链表中删除，并将该结点的空间分配给程序，另外，对于大多数系统，会在这块内存空间中的首地址处记录本次分配的大小，这样，代码中的 delete语句才能正确的释放本内存空间。另外，由于找到的堆结点的大小不一定正好等于申请的大小，系统会自动的将多余的那部分重新放入空闲链表中。也就是说堆会在申请后还要做一些后续的工作这就会引出申请效率的问题 。

4. 申请效率的比较：

• 栈由系统自动分配，速度较快。但程序员是无法控制的。
• 堆是由new分配的内存，一般速度比较慢，而且容易产生内存碎片,不过用起来最方便。

5. 申请大小的比较：

• 栈：在Windows下，栈是向低地址扩展的数据结构，是一块连续的内存的区域。这句话的意思是栈顶的地址和栈的最大容量是系统预先规定好的，在 WINDOWS下，栈的大小是2M（也有的说是1M，总之是一个编译时就确定的常数）；在 Linux下，默认栈空间大小是8M（8192 KB），通过命令 ulimit -s 查看linux的默认栈空间大小（通过命令 ulimit -s 设置大小值临时改变栈空间大小。例如：ulimit -s 102400，即修改为100M）。如果申请的空间超过栈的剩余空间时，将提示overflow。因此，能从栈获得的空间较小。
• 堆：堆是向高地址扩展的数据结构，是不连续的内存区域。这是由于系统是用链表来存储的空闲内存地址的，自然是不连续的，而链表的遍历方向是由低地址向高地址。堆的大小受限于计算机系统中有效的虚拟内存。一般来讲在32位系统下，堆内存可以达到4G的空间。由此可见，堆获得的空间比较灵活，也比较大。

栈帧的定义

函数在调用时，系统回给每个函数分配一块栈内存空间，使用 esp 和 ebp 进行标记，在栈帧中保存的是一次函数调用的相关数据信息

每个栈帧对应着一个未运行完的函数。 寄存器 ebp 指向当前的栈帧的底部（高地址），寄存器 esp 指向当前的栈帧的顶部（低地址）。

堆和栈中的存储内容：

• 栈： 在函数调用时，第一个进栈的是主函数中函数调用后的下一条指令（函数调用语句的下一条可执行语句）的地址，然后是函数的各个参数，在大多数的C编译器中，参数是由右往左入栈的，然后是函数中的局部变量。注意静态变量是不入栈的。当本次函数调用结束后，局部变量先出栈，然后是参数，最后栈顶指针指向最开始存的地址，也就是主函数中的下一条指令，程序由该点继续运行。
• 堆：一般是在堆的头部用一个字节存放堆的大小。堆中的具体内容由程序员安排。

全局变量、局部变量、静态全局变量、静态局部变量的区别：

1. 生存周期不同、作用范围不同、分配方式不同

全局变量具有全局作用域。全局变量只需在一个源文件中定义，就可以作用于所有的源文件。当然，其他不包含全局变量定义的源文件需要用extern 关键字再次声明这个全局变量。

局部变量也只有局部作用域，它是自动对象（auto），它在程序运行期间不是一直存在，而是只在函数执行期间存在，函数的一次调用执行结束后，变量被撤销，其所占用的内存也被收回。

静态局部变量具有局部作用域，它只被初始化一次，自从第一次被初始化直到程序运行结束都一直存在，它和全局变量的区别在于全局变量对所有的函数都是可见的，而静态局部变量只对定义自己的函数体始终可见。

静态全局变量也具有全局作用域，它与全局变量的区别在于如果程序包含多个文件的话，它作用于定义它的文件里，不能作用到其它文件里，即被static关键字修饰过的变量具有文件作用域。这样即使两个不同的源文件都定义了相同名字的静态全局变量，它们也是不同的变量。

2. 分配内存空间看：

全局变量，静态局部变量，静态全局变量都在静态存储区分配空间，而局部变量在栈里分配空间。

从以上分析可以看出， 把局部变量改变为静态变量后是改变了它的存储方式即改变了它的生存期。把全局变量改变为静态变量后是改变了它的作用域，限制了它的使用范围。因此static这个说明符在不同的地方所起的作用是不同的。

知识点习题

1. C++中关于堆和栈的说法，哪个是错误的:

A. 堆的大小仅受操作系统的限制，栈的大小一般一般较小
B. 在堆上频繁的调用new/delete容易产生内存碎片，栈没有这个问题
C. 堆和栈都可以静态分配
D. 堆和栈都可以动态分配

正确答案

C

答案解析

静态分配是指在编译阶段就能确定大小，由编译器进行分配，堆不可以进行静态分配，堆的申请都是在执行过程中进行的。

A，堆和栈的大小都可以设置，栈一般只有几KB。
B，堆在动态分配时，要申请连续的内存空间，释放后会产生碎片。
D，堆是使用malloc()、calloc()、realloc()等函数动态分配的，而使用alloca()函数可以动态分配栈的内存空间，释放的时候由编译器自己释放。

2. 关于操作系统heap与stack说法中，正确的是（）。

A. stack由编译器自动分配和释放,存放函数的参数值，局部变量，全局变量的值
B. heap一般由程序员分配和释放，若程序员不释放，可能会造成操作系统的内存泄露
C. stack由系统自动分配，无需程序员干涉，heap需要手动申请
D. heap与stack都会在初始大小空间用满时，系统自动增加其大小
E. 一个进程下的多个线程可以共享堆空间但是不能共享栈空间
F. 在C语言中，指针只能指向堆上的内存，不能指向栈上的内存

正确答案： B，C，E

答案解析：

• A：全局变量放在static静态区
• D：heap在初始大小空间用满时，栈会报栈溢出；堆本身就是动态分配内存的，随着申请而增长
• F：二级指针，指向就是栈上的一级指针

3. 局部变量能不能和全局变量重名？

正确答案：能，局部变量会屏蔽全局变量。要用全局变量，需要使用 "::"

4. 在函数内部声明的所有变量都将占用栈内存？

正确答案：错，静态变量被放在全局区

5. 请指出下面这个程序在C和C++中的输出分别是什么。

#include <stdio.h>

int value = 0;

void printvalue(){
    printf("value = %d\n", value);
}

int main(){
    int value = 0;

    value = 1;
    printf("value = %d\n", value);

    ::value = 2;
    printvalue();

    return 0;
}

正确答案：

• 在C中编译不能通过，并指示15行符号错误。
• 在C++中输出如下：

value = 1	（局部变量）
value = 2	（全局变量）

答案解析：

在C++中可以通过使用域操作符 “::” 来直接操作全局变量，但是在C中不支持这个操作符，因此会报错。

在VScode中：

• 如果将以上代码保存在后缀名为.c的文件中，上述代码不能通过编译，并且提示15行有语法错误
• 如果将以上代码保存在后缀名为.cpp的文件中，在代码前加入 extern “C”{} ，上述代码可以通过编译并且运行