C语言内存模型将程序内存划分为代码段（存储可执行指令，只读）、数据段（存储已初始化全局和静态变量）、BSS段（存储未初始化全局和静态变量，初始化为0）、堆（用于动态内存分配，通过malloc/free管理）和栈（存储局部变量、函数参数及返回地址，自动管理生命周期），这些区域按固定顺序在内存中布局，直接影响程序性能、内存安全和资源管理效率。

C语言内存模型是程序运行时内存分配和使用的框架，它定义了程序如何组织其数据结构以及这些数据在物理内存中的布局。理解C语言内存模型对于编写高效、稳定的代码至关重要。C语言内存模型主要包括五个部分：

1. 代码段（Text Segment）

  • 定义与特性：程序执行指令所在的区域，包含编译后的机器码，通常被映射为只读（Read-Only）属性
  • 作用：防止程序意外修改自身代码，提高安全性
  • 优势：允许多个进程共享同一份代码段，节省物理内存资源
  • 优化：编译器可在编译期间进行优化（如内联函数调用、常量折叠），CPU指令缓存加速代码读取

2. 数据段（Data Segment）

  • 结构划分：
    • 只读数据段：存放不可变数据，如字符串字面量和其他常量
    • 读写数据段：用于存储已初始化的全局变量和静态变量
  • 初始化：程序启动时，操作系统根据可执行文件信息分配内存空间，将已初始化变量加载到相应地址

3. BSS段（Block Started by Symbol）

  • 定义：用于存放未初始化的全局变量和静态变量
  • 特点：默认初始化为0或空指针
  • 优势：减少程序启动时的磁盘I/O操作，未初始化数据不必占用额外存储空间

4. 堆（Heap）

  • 定义：用于动态内存分配
  • 特点：增长方向是从低地址向高地址
  • 使用：通过malloc、calloc等函数分配，通过free释放
  • 应用场景：处理不确定大小的数据（如用户输入、文件内容）

5. 栈（Stack）

  • 定义：用于存储局部变量、函数参数、返回地址
  • 特点：增长方向是从高地址向低地址
  • 生命周期：与函数调用绑定，函数结束时自动释放
  • 应用场景：小型、生命周期短的变量

内存布局示意图

+-----------------------------------+
|          Text Segment             |  <- Higher Address
|  (Executable Instructions, Read-Only)|
+-----------------------------------+
|          Data Segment             |
|  (Initialized Global/Static Vars)  |
+-----------------------------------+
|           BSS Segment             |
|  (Uninitialized Global/Static Vars)|
+-----------------------------------+
|                Heap               |  <- Grows upward
+-----------------------------------+
|                Stack              |  <- Grows downward
|  (Local Variables, Function Args)  |
+-----------------------------------+
|    Command Line Args & Environment|
+-----------------------------------+

实际应用示例

#include <stdio.h>
#include <stdlib.h>

int global_var = 10;          // 已初始化的全局变量（数据段 .data）
static int static_var = 20;   // 已初始化的静态变量（数据段 .data）
int uninit_global_var;        // 未初始化的全局变量（BSS段 .bss）
static int uninit_static_var; // 未初始化的静态变量（BSS段 .bss）

void func() {
    int stack_var = 30;       // 局部变量（栈区）
    printf("栈区局部变量地址: %p\n", (void*)&stack_var);
}

int main() {
    int local_var = 40;       // 局部变量（栈区）
    char *heap_var = (char *)malloc(50 * sizeof(char));  // 动态分配内存（堆区）
    
    printf("栈区 - 局部变量地址: %p\n", (void*)&local_var);
    printf("堆区 - 动态分配内存地址: %p\n", (void*)heap_var);
    printf("BSS段 (.bss) - 未初始化的静态变量地址: %p\n", (void*)&uninit_static_var);
    printf("BSS段 (.bss) - 未初始化的全局变量地址: %p\n", (void*)&uninit_global_var);
    printf("数据段 (.data) - 已初始化的静态变量地址: %p\n", (void*)&static_var);
    printf("数据段 (.data) - 已初始化的全局变量地址: %p\n", (void*)&global_var);
    printf("代码段（函数地址）: %p\n", (void*)&func);
    
    free(heap_var);  // 释放动态分配的内存
    return 0;
}

理解C语言内存模型有助于优化程序性能、避免内存错误（如越界访问、内存泄漏）以及处理多线程编程中的同步问题。