编辑“︁C 语言内存布局”︁

= C语言内存布局 =

== 简介 ==

在C语言中，内存布局（Memory Layout）是指程序在运行时如何组织和使用内存空间。理解内存布局对于编写高效、可靠的程序至关重要，尤其是在涉及指针、动态内存分配和系统级编程时。C程序的内存通常分为以下几个主要部分：

* '''代码段（Text Segment）'''：存储可执行指令。
* '''数据段（Data Segment）'''：存储全局变量和静态变量。
* '''堆（Heap）'''：动态分配的内存区域。
* '''栈（Stack）'''：存储局部变量和函数调用信息。

== 内存布局的组成部分 ==

=== 1. 代码段（Text Segment） ===
代码段也称为文本段，存放程序的机器指令。这部分内存通常是只读的，以防止程序意外修改自身的指令。

=== 2. 数据段（Data Segment） ===
数据段分为两部分：
* '''已初始化数据段'''：存储显式初始化的全局变量和静态变量。
* '''未初始化数据段（BSS段）'''：存储未初始化的全局变量和静态变量，程序启动时会被初始化为零。

<syntaxhighlight lang="c">
#include <stdio.h>

int global_var = 10;         // 已初始化数据段
static int static_var = 20;  // 已初始化数据段
int uninit_var;              // BSS段

int main() {
    printf("global_var: %d\n", global_var);
    printf("static_var: %d\n", static_var);
    printf("uninit_var: %d\n", uninit_var); // 输出0
    return 0;
}
</syntaxhighlight>

输出：
<pre>
global_var: 10
static_var: 20
uninit_var: 0
</pre>

=== 3. 堆（Heap） ===
堆是用于动态内存分配的区域，通过 <code>malloc</code>、<code>calloc</code>、<code>realloc</code> 和 <code>free</code> 函数管理。堆的分配和释放由程序员控制，如果管理不当可能导致内存泄漏或碎片化。

<syntaxhighlight lang="c">
#include <stdio.h>
#include <stdlib.h>

int main() {
    int *ptr = (int *)malloc(5 * sizeof(int)); // 在堆上分配内存
    if (ptr == NULL) {
        printf("内存分配失败\n");
        return 1;
    }
    for (int i = 0; i < 5; i++) {
        ptr[i] = i * 10;
    }
    for (int i = 0; i < 5; i++) {
        printf("ptr[%d] = %d\n", i, ptr[i]);
    }
    free(ptr); // 释放堆内存
    return 0;
}
</syntaxhighlight>

输出：
<pre>
ptr[0] = 0
ptr[1] = 10
ptr[2] = 20
ptr[3] = 30
ptr[4] = 40
</pre>

=== 4. 栈（Stack） ===
栈用于存储局部变量、函数参数和返回地址。栈内存由编译器自动管理，遵循后进先出（LIFO）原则。栈空间通常有限，过度使用可能导致栈溢出。

<syntaxhighlight lang="c">
#include <stdio.h>

void func() {
    int local_var = 50; // 栈上分配的局部变量
    printf("local_var: %d\n", local_var);
}

int main() {
    func();
    return 0;
}
</syntaxhighlight>

输出：
<pre>
local_var: 50
</pre>

== 内存布局图示 ==
<mermaid>
graph TD
    A[内存布局] --> B[代码段]
    A --> C[数据段]
    C --> D[已初始化数据段]
    C --> E[BSS段]
    A --> F[堆]
    A --> G[栈]
</mermaid>

== 实际应用场景 ==
理解内存布局有助于：
* 优化程序性能（如减少堆分配）。
* 避免内存泄漏和非法访问。
* 调试复杂的内存问题。

例如，在嵌入式系统中，内存资源有限，合理使用栈和堆可以避免系统崩溃。

== 常见问题 ==
* '''栈溢出'''：递归调用过深或局部变量占用过多栈空间。
* '''堆碎片化'''：频繁分配和释放不同大小的内存块。
* '''全局变量滥用'''：可能导致数据段占用过多内存。

== 总结 ==
C语言的内存布局是程序运行的基础，合理管理各内存区域可以提高程序的效率和稳定性。初学者应重点掌握栈和堆的使用，而高级用户可进一步研究内存对齐和优化技术。

[[Category:C语言内存管理]]

[[Category:编程语言]]
[[Category:C]]
[[Category:C 语言内存管理]]