在程序运行过程中，操作系统会根据程序的需要，将内存划分为多个功能不同的区段，以便更高效地管理内存资源和确保程序的稳定运行。不同的内存区段负责存储不同类型的数据和代码，涵盖了从程序指令、全局变量到动态分配的数据等内容。
（内存分区图示）
理解这些内存分区的结构和特性，不仅有助于编写更高效的代码，还能帮助排查和解决如段错误、内存泄漏、栈溢出等常见问题。以下是常见的六个主要内存分区的详细解析：
01、栈区（Stack）
存储内容：
函数参数（如 func(int a, int b) 中的 a 和 b）。局部变量（如函数内定义的 int x = 5;）。函数调用的上下文信息（如返回地址、寄存器备份）。
特性：
自动管理：变量生命周期与作用域绑定（如函数结束时自动释放）。地址增长方向：向低地址扩展。高效但有限：分配速度快，但空间较小（默认几 MB）。
典型问题：
栈溢出（如递归过深、超大局部数组 int arr[1000000];）。悬挂指针（返回局部变量地址）。
示例代码：
voidfunc(){
intx=5; //局部变量，存储在栈区
}
02、堆区（Heap）
存储内容：动态分配的内存块（如 malloc、calloc 分配的变量）。
特性：
手动管理：需通过 free 显式释放，否则导致内存泄漏。地址增长方向：向高地址扩展，与栈区相对生长。碎片问题：频繁分配/释放可能产生内存碎片，降低效率。
典型问题：
野指针（释放后未置 NULL）。双重释放（free 同一指针多次）。
示例代码：
int*arr=(int*)malloc(100*sizeof(int));
free(arr);
arr=NULL;//避免野指针
03、BSS段（Block Started by Symbol）
存储内容：
未显式初始化的全局变量（如 int g_uninit;）。未初始化的静态变量（如 static int s_uninit;）。
特性：
隐式初始化：程序加载时由系统自动初始化为 0 或 NULL。节省空间：.bss 段不占用磁盘空间，仅在内存中分配。与 .data 区别：.data 存储非零初始值，而 .bss 存储默认零值。
示例代码：
intg_uninit;//存储在BSS段，自动初始化为0
staticints_uninit;//存储在BSS段，自动初始化为0
04、数据段（Data Segment）
存储内容：
已显式初始化的全局变量（如 int g_var = 10;）。
已初始化的静态变量（如函数内的 static int s_var = 20;）。
特性：
显式初始化：必须赋初值（非零值）。
生命周期：从程序启动到结束（与全局变量一致）。
示例：extern 声明的全局变量实际指向此区。
示例代码：
intg_var=10; //存储在数据段
staticints_var=20;//存储在数据段
05、常量区（Read-Only Data Segment）
存储内容：
字符串常量（如 "Hello, World"）。const 修饰的全局常量（如 const int MAX = 100;）。浮点数常量、整型常量表等只读数据。
特性：
运行时不可修改：试图修改会导致段错误（Segmentation Fault）。跨文件共享：同一常量在多个源文件中引用时，仅存储一份。注意：const 修饰的局部变量不在此区，而是存储在栈区。
示例代码：
constintMAX=100;//存储在常量区
char*msg="Hello";//存储在常量区
06、代码段（Text Segment）
存储内容：编译后的二进制机器指令（即程序的执行代码）。
特性：
只读：禁止修改，防止程序意外篡改指令。可共享：多个进程可同时加载同一份代码（如动态库）。示例：函数定义（如 void func() { ... }）、控制逻辑（如 if/for 语句的底层实现）。
示例代码：
voidfunc(){//函数定义存储在代码段
printf("Hello");
}
总结
| 区域 | 存储内容 | 生命周期 | 常见问题 |
| 栈区 | 局部变量、参数、返回地址 | 函数调用期间 | 栈溢出、悬挂指针 |
| 堆区 | 动态分配的内存块 | malloc 分配到 free 释放 | 内存泄漏、野指针、双重释放 |
| BSS段 | 未初始化的全局和静态变量 | 程序运行期间 | 无 |
| 数据段 | 已初始化的全局和静态变量 | 程序运行期间 | 无 |
| 常量区 | 字符串常量、const 常量 | 程序运行期间 | 段错误 |
| 代码段 | 机器指令 | 程序运行期间 | 段错误 |
