1. 内存分区模型概述
在C语言程序运行时，操作系统会为每个进程分配一块独立的内存空间。这块内存并非杂乱无章，而是按照特定规则划分为几个功能明确的分区。理解这些分区的特性和差异，是写出高效、安全代码的基础。
内存分区模型主要包含以下四个核心区域：
- 代码区（Text Segment）
- 全局/静态区（Data Segment）
- 栈区（Stack）
- 堆区（Heap）
每个分区在内存中的位置、生命周期和管理方式都有显著差异。比如代码区通常位于内存最低地址处，存放编译后的机器指令；而堆区则位于内存较高地址，由程序员手动管理。
注意：不同操作系统和编译器的具体实现可能略有差异，但基本分区模型保持一致。32位和64位系统的地址空间布局也会有所不同。
2. 代码区深度解析
2.1 代码区的特性与作用
代码区存储程序的可执行指令，具有以下关键特征：
- 只读属性：防止程序意外修改指令
- 共享特性：多个相同进程可共享同一份代码
- 固定大小：编译时确定，运行时不变
在Linux系统中，可以通过size命令查看可执行文件的各段大小：
bash复制$ size a.out
text data bss dec hex filename
1234 567 89 1890 762 a.out
2.2 代码区与函数指针
函数指针直接指向代码区的内存地址。理解这一点对调试和逆向工程很有帮助：
c复制void demo() {
printf("Function address: %p\n", demo); // 打印函数地址
}
实际开发中要注意：
- 函数指针类型必须严格匹配
- 通过函数指针调用时仍遵循标准调用约定
- 某些嵌入式系统可能对代码区访问有特殊限制
3. 全局/静态区详解
3.1 数据段与BSS段
全局/静态区可细分为：
-
已初始化数据段（.data）
- 存储显式初始化的全局/静态变量
- 如：
int global = 42;
-
未初始化数据段（.bss）
- 存储未初始化的全局/静态变量
- 如：
static int count;