内存空间布局（Linux C++）

最新推荐文章于 2021-12-08 22:02:13 发布

喵小苡♡

最新推荐文章于 2021-12-08 22:02:13 发布

阅读量387

点赞数

分类专栏： C++ 文章标签： c++ 内存结构

本文链接：https://blog.csdn.net/Roy_Paris/article/details/105023802

版权

C++ 专栏收录该内容

6 篇文章 0 订阅

订阅专栏

参考了一些书，欢迎指正，谢谢。

5层空间布局

堆和栈的区别

5层空间布局

代码段：存放程序执行代码，可能包含一些只读的常数变量（如：字符串常量）。一个程序可以在内存中有多个副本。
初始化数据段：属于静态内存分配，位于可执行文件中。已初始化的全局变量、静态变量。
未初始化数据段：未初始化的全局变量，静态变量。
堆：存放进程运行中动态分配的内存段
栈：又称堆栈，存放局部变量。函数调用时，用栈来传递参数和返回值，方便用于保存or恢复调用现场。

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

可以大致查看整个程序在内存中的分配情况，有以下两个特点：

传入的参数、局部变量，都是在栈顶分布，随着子函数的增多而向下增长。
函数的调用地址（函数运行代码）、全局变量、静态变量都是在分配内存的底部存在，而malloc分配的堆则存在于这些内存之上，并向上生长。

于是，我们可以详细总结一下：

堆和栈的区别

不同点	栈（去饭店吃饭）	堆（自己做饭）
生长方式不同	向下生长	向上生长
空间大小不同	栈的空间有限。栈顶预先定好，若申请空间超过剩余空间将overflow。ulimit -a可看栈大小限制	堆的空间可以达到4G。是不连续的内存区域。链表遍历方向是低to高地址。堆大小受计算机系统有效虚拟内存限制
管理方式不同	栈是由编译器自动分配，无需程序员控制	堆是由程序员自己控制的的
分配效率不同，堆的效率比栈要低得多。	栈是机器系统提供的数据结构，计算机底层对栈提供支持：分配专门的寄存器存放栈的地址，压栈出栈都有专门的指令。	堆则是由C/C++函数库提供，库函数会按照一定的算法在堆内存中搜索可用的足够大小的空间，如果没有足够大小的空间（可能是由于内存碎片太多），就有可能调用系统功能去增加程序数据段的内存空间，这样就有机会分到足够大小的内存，然后进行返回。
是否会碎片化	栈不会产生碎片，因为栈是种先进后出的	堆比较容易产生碎片，多次的new/delete会造成内存的不连续，从而产生大量的碎片。
分配方式不同	栈可以是静态分配和动态分配两种。栈的动态分配和堆是不同的，他的动态分配是由编译器进行释放，无需我们手工实现。	堆是动态分配的。程序员自己申请，并指明大小
申请后系统响应	只要栈的剩余空间大于申请空间，系统将为程序提供内存；否则报异常，提示栈溢出。	遍历记录空闲内存地址的链表，寻找第一个空间>申请空间的堆结点。将该结点删除，分配给程序。（此空间首地址处记录本次分配的大小--方便delete）系统自动将多余的部分重新放入空闲链表。
存储内容	函数调用时，进栈顺序：A函数调用语句的下一条可执行语句的地址 → B函数的参数（从右往左入栈）→ C函数中的局部变量。（静态变量不入栈）函数调用结束，逆序出栈，最后栈顶指针指向主函数的下一条指令，程序从该点继续运行。	在头部用一个Byte存放堆的大小，堆中的具体内容由程序员安排。