介绍

内存布局是指计算机内存的组织和结构方式。它定义了各种系统组件如何划分和使用内存。

这在 C 中至关重要，因为它直接影响执行期间变量、函数和数据结构的存储和访问方式。

在本文中，我们将了解 C 中内存布局的基本方面。

C 内存布局中的段

C中的内存布局由不同的段组成，下面是段；

1. 文本（代码）段。
2. 数据段。
3. 堆。
4. 堆。

下图描述了C的内存布局。

现在让我们详细讨论这些部分。

文本（代码）段

文本段是C程序中存储编译后的机器代码指令的内存区域。这些指令构成了程序的可执行逻辑，并负责定义其行为。

下面通过一个简单的例子来说明C程序中文本段的概念：

#include 

int main() {
    int x = 5;
    int y = 10;
    int sum;

    sum = x   y;
    printf("The sum of %d and %d is %d\n", x, y, sum);

    return 0;
}

编译此程序时，编译器将源代码转换为机器代码。该机器代码构成了程序的逻辑和行为，并存储在文本段中。

虽然我们无法直接看到机器码。我们可以理解为文本段包含编译后的指令。

本质上，文本段包含定义程序执行时如何行为的指令。

数据段

数据段分为两部分：

• 初始化数据段
• 未初始化的数据段

初始化数据段

初始化数据段由全局变量、外部变量、静态变量（局部变量和全局变量）以及预先初始化的常量全局变量组成。初始化的数据段有两个部分，只读和读写部分。

具有可以修改的预定义值的变量，即初始化的全局变量、外部变量和静态（本地和全局）变量存储在 读写部分中。另一方面，常量变量位于 只读 部分。

下面是一个示例，说明了存储在初始化数据段中的变量，包括读写部分和只读部分：

#include 

// Global variable (read-write section)
int globalVar = 10;

// External variable declaration (read-write section)
extern int externVar;

// Static global variable (read-write section)
static int staticGlobalVar = 20;

// Constant global variable (read-only section)
const int constGlobalVar = 30;

int main() {
    globalVar  = 5;
    staticGlobalVar  = 10;

    printf("Global variable: %d\n", globalVar);
    printf("Extern variable: %d\n", externVar);  // Assuming externVar is defined in another file
    printf("Static global variable: %d\n", staticGlobalVar);
    printf("Constant global variable: %d\n", constGlobalVar);

    return 0;
}

这说明了存储在初始化数据段的读写和只读部分中的变量。

未初始化的数据段

未初始化的数据段也称为BSS（由符号开始的块）段由未初始化的全局变量、外部变量和静态（局部和全局）变量组成。

这些变量在程序执行之前默认初始化为零。他们具有读写权限。从而允许在程序执行期间读取和写入它们。

例子：

#include 

// Uninitialized global variable (goes to the BSS segment)
int globalVar;

// Uninitialized static global variable (also goes to the BSS segment)
static int staticGlobalVar;

int main() {
    // Uninitialized local static variable (goes to the BSS segment)
    static int staticLocalVar;

    printf("Uninitialized Global Variable: %d\n", globalVar);
    printf("Uninitialized Static Global Variable: %d\n", staticGlobalVar);
    printf("Uninitialized Static Local Variable: %d\n", staticLocalVar);
    return 0;
}

在此程序中，未初始化的变量默认包含零或空值。这是由于编译器自动初始化造成的。这显示了存储在 BSS 段中的变量的行为。

堆

堆是用于运行时动态内存分配的内存区域。这允许在程序执行期间根据需要分配和释放内存。 malloc()、calloc()、realloc()和free()等函数用于内存分配和释放在堆中。程序的所有部分都可以访问堆。

例子：

#include 
#include 

int main() {
    // Dynamically allocate memory for an integer variable on the heap
    int *ptr = (int *)malloc(sizeof(int));

    return 0;
    }

此代码片段演示了 C 中动态内存分配的简单用法。它引起人们对请求内存、初始化指向该内存的指针以及正确管理内存以避免泄漏所涉及的步骤的关注。虽然此示例中不包括错误处理和内存释放，但它们是实际应用中使用动态内存的关键组成部分。

堆

堆栈段主要功能是管理函数调用和存储局部变量。这部分在程序的内存布局中至关重要，因为它控制程序内的流程。堆栈采用后进先出（LIFO）结构，这意味着最近添加的数据将首先被删除。这使得堆栈对于管理局部变量和嵌套函数调用非常有效。

例子：

#include 

void functionA(int n) {
    int a = n   1; // Local variable
    printf("In functionA, a = %d\n", a);
}

void functionB() {
    int b = 10; // Local variable
    printf("In functionB, b = %d\n", b);
    functionA(b); // Call to functionA
}

int main() {
    int x = 20; // Local variable
    printf("In main, x = %d\n", x);
    functionB(); // Call to functionB
    return 0;
}

代码解释了栈帧如何存储局部变量。新的堆栈帧由函数调用创建，并在函数返回时被消除。 printf 指令有助于每个函数的局部变量值的可视化。执行流程遵循函数的调用和返回。

结论

C 程序员可以通过掌握这些概念来提高他们的编码技术并更好地理解他们的程序如何与内存交互。无论您是在优化性能还是解决复杂问题，了解内存布局都是编程工具箱中的一项重要技能。

欢迎关注、评论、点赞。快乐编码！

让我们在 LinkedIn 上联系吧。