一、完整内存分区（进程地址空间）
一个程序跑起来，操作系统会给它分配虚拟内存空间，并严格分成这些区域：
- 代码区（Text Segment）
- 数据区（Data Segment）------ 已初始化全局 / 静态
- BSS 区（未初始化全局 / 静态）
- 堆区（Heap）
- 内存映射段 / 动态链接库区
- 栈区（Stack）
- 内核区
二、每个区域详细说明以及为什么要这么划分
1. 代码区（Text Segment）
（1）放什么：
-
编译后的二进制机器指令
-
函数体、if/for/while 逻辑
-
字符串常量（"hello"）
（2）为什么单独划分？
- 只读保护：防止程序意外修改自己的代码，导致崩溃
- 可共享：多个进程运行同一个程序时，共用一份代码，节省内存
- 固定不变：程序运行期间代码不会变，放最下面最安全
2.数据区（Data Segment）
（1）放什么：
- 已初始化的全局变量
- 已初始化的静态变量（static）
cpp
int a = 10;
static int b = 20;（2）为什么单独划分？
- 生命周期：整个程序运行期间都存在
- 程序加载时就把值准备好，不用运行时计算
- 与代码、栈、堆严格分开，避免被意外覆盖
3. BSS 区（未初始化数据段）
（1）放什么：
- 未初始化的全局变量
- 未初始化的静态变量
- 默认值为 0 的全局 / 静态
cpp
int c;
static int d;（2）为什么单独划分？
- 这些变量默认都是 0，不需要在可执行文件里存一堆 0
- 只记录 "需要多大空间"，加载时由操作系统统一清 0
- 极大减小可执行文件体积
- 全局变量默认 0，就是因为它在 BSS，系统统一初始化。
4. 堆区（Heap）
（1）放什么：
- malloc / new 分配的动态内存
- 大数据结构、链表、树、图、缓冲区
特点： 地址从低向高增长 手动分配、手动释放 大小不固定，生命周期自己控制
（2）为什么单独划分？
- 满足运行时才知道大小的需求
- 栈空间太小，大数据必须放堆
- 灵活：想用多久用多久
5. 内存映射段 / 动态链接库区
（1）放什么：
- 动态库（.so / .dll）
- 文件映射
- 共享内存
（2）为什么单独划分？
- 程序不把库打包进自身，共用系统库
- 减小可执行文件体积
- 库更新不用重新编译程序
- 安全隔离，不与堆栈混在一起
6. 栈区（Stack）
（1）放什么：
- 函数局部变量
- 函数参数
- 函数返回地址
- 函数调用栈帧
特点： 地址从高向低增长 自动分配、自动释放，速度极快，空间有限（几 MB～十几 MB）
（2）为什么单独划分？
- 实现函数调用、递归、现场保存
- 管理成本几乎为 0，不需要操心释放
- 有序、连续，CPU 硬件直接支持（esp 寄存器）
7. 内核区
操作系统内核占用，用户进程不能访问。
**目的：**保护系统安全，防止用户程序破坏内核。
三、为什么要划分这么多区域？
不同数据有不同生命周期、读写权限、大小、增长方向、管理方式，必须分类隔离，否则程序无法安全、高效运行。
1. 安全隔离
代码只读，防止被篡改
栈自动回收，防止野指针乱飞
内核区不可访问，防止系统崩溃
2. 生命周期管理
全局：全程存在 → Data/BSS
局部：函数内存在 → 栈
动态：想活多久活多久 → 堆
3. 内存效率
BSS 不占文件空间
代码段共享
栈无需管理，极快
堆灵活应对大数据
4. 硬件与操作系统设计要求
CPU 栈寄存器（esp）依赖栈结构
MMU 内存管理单元依赖分段 / 分区没有分区，虚拟内存无法实现
5. 避免混乱
如果不分区，代码、数据、局部变量混在一起 函数调用无法实现，一写操作就覆盖代码，内存泄漏、越界无法控制，多进程无法共享库，操作系统无法管理
最终结果：程序根本跑不起来