【C语言内存管理】第一章内存区域划分（栈、堆、全局静态区、常量区、代码区）

长天一色

于 2024-09-29 19:37:18 发布

阅读量482

点赞数 17

分类专栏： C 文章标签： c语言

本文链接：https://blog.csdn.net/fjw12998/article/details/142642111

版权

C 专栏收录该内容

13 篇文章 0 订阅

订阅专栏

第一章内存区域划分（栈、堆、全局静态区、常量区、代码区）

在计算机程序执行过程中，内存的管理是非常重要的一环。不同的区域有不同的用途和管理策略。C语言作为一种底层编程语言，提供了对这些内存区域的直接访问和控制能力。

我们可以通过调试工具查看各种常量、变量地址，便可侧面观察到这些区域的存在。C语言程序的内存通常被划分为以下几个区域，每个区域有其特定的用途和生命周期：

1. 栈（Stack）

栈是一种后进先出（LIFO，Last In First Out）的数据结构。程序执行时，每当进入一个函数，函数的局部变量和参数都会被压入栈中，称之为栈帧（Stack Frame）。当函数返回时，栈帧会被弹出，内存随之释放。

栈内存的管理由编译器自动完成，这提高了内存操作的效率，使得栈成为存储局部变量和函数参数的理想位置。以下是对栈的详细介绍：

作用：存储局部变量、函数参数、返回地址等。函数调用过程中，栈会自动分配和回收内存。
特点：
- 自动管理：局部变量在函数调用开始时自动分配，在函数返回时自动释放。这种特性使得栈操作非常高效。
- 快速分配：由于栈是LIFO结构，新的变量分配只是简单地移动栈指针，因此分配速度非常快。
- 受限容量：栈空间通常较小，过多的递归调用或者分配大数组可能会导致栈溢出（Stack Overflow），从而引发程序崩溃。
生命周期：栈上变量的生命周期与其所在函数的执行时间相同，即变量在函数执行期间存在，当函数返回后，变量也就消失。

示例代码：

#include <stdio.h>

void function() {
    int stack_variable = 10; // 栈中的局部变量 [1]
    printf("Stack variable: %d\n", stack_variable);
}

int main() {    // [2]
    function();
    return 0;
}

在上述代码中：

栈中的局部变量：int stack_variable = 10; 这是一个栈变量，它在 function 函数被调用时分配，并在函数返回时释放。
函数调用与释放：当 main 函数调用 function 时，stack_variable 被压入栈中（在栈上分配内存）。当 function 执行完毕返回时，stack_variable 的内存被释放。

通过这些特性，可以看出栈在内存管理中的重要作用，尤其是在递归函数调用中，栈能够有效地管理每次函数调用的局部变量和返回地址。但需要注意的是，栈空间有限，合理使用栈资源是保证程序稳定运行的关键。

2. 堆（Heap）

堆是一种自由存储区，允许程序在运行时动态分配和释放内存。与栈不同，堆并不自动管理内存，需要程序员显式地通过函数如malloc和free来进行管理。

作用：用于动态内存分配。通过函数malloc、calloc、realloc来分配，通过free来释放。
特点：
- 灵活性：可以分配任意大小的内存，用于不可预见的或规模较大的数据。
- 管理复杂：需要手动管理内存，容易出现内存泄漏（allocated memory not freed）和碎片化（fragmentation）。
生命周期：由程序员控制，直到调用free释放。

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

int main() {
    int *heap_variable = (int *)malloc(sizeof(int)); // 在堆中分配内存 [1]
    if (heap_variable == NULL) {
        fprintf(stderr, "Memory allocation failed\n");
        return 1;
    }
    *heap_variable = 20;
    printf("Heap variable: %d\n", *heap_variable);
    free(heap_variable); // 释放堆内存 [2]
    return 0;
}

在堆中分配内存：int *heap_variable = (int *)malloc(sizeof(int)); 使用 malloc 函数在堆上分配一个 int 大小的内存块，并返回指向该内存块的指针。如果内存分配失败，会返回 NULL。
释放堆内存：free(heap_variable); 用于释放先前分配的堆内存，避免内存泄漏。即使程序结束时操作系统会回收所有内存，但显式释放内存仍是良好的编程实践。

知识点详细讲解：

堆内存分配（malloc）：
- malloc 函数用于在堆中分配指定字节大小的连续内存空间。语法：void *malloc(size_t size);
- 如果分配成功，malloc 返回指向所分配内存的指针；如果分配失败，返回 NULL。
堆内存释放（free）：
- free 函数用于释放之前通过 malloc、calloc 或 realloc 分配的内存。语法：void free(void *ptr);
- 释放内存后，指针仍然指向原来的位置，但是该内存空间不再归程序使用，因此，最好将指针设为 NULL 以避免悬挂指针问题（dangling pointer）。
动态内存分配的好处及风险：
- 好处：
  - 可以按需分配所需大小的内存，有助于处理不确定大小的数据。
  - 能够在运行时灵活地管理内存，提高内存利用效率。
- 风险：
  - 需要显式管理内存，容易出现内存泄漏。
  - 如果忘记释放内存，可能造成内存不足。
  - 内存分配和释放的不匹配容易导致程序崩溃或行为异常。

通过合理使用堆内存，可以有效地管理大量数据，但需要注意内存管理的细节，以避免常见的内存问题。

3. 全局/静态区（Global/Static）

该区域存储全局变量和静态变量，这些变量在程序启动时即已分配内存，并在整个程序运行期间都存在。全局变量在全部代码中可见，而静态变量仅在其定义的作用域内可见但有全局生命周期。

作用：存储全局变量、静态变量。
特点：
- 程序生命周期内存储数据：适用于需要在整个程序运行期间保持状态的数据。
- 多文件问题：在多文件程序中需要注意变量重复定义问题，通常使用extern关键字声明外部变量。
生命周期：自程序开始运行，直到程序结束。

#include <stdio.h>

int global_variable = 30; // 全局变量 [1]

void function() {
    static int static_variable = 40; // 静态局部变量 [2]
    static_variable++;
    printf("Static variable: %d\n", static_variable);
}

int main() {
    printf("Global variable: %d\n", global_variable);
    function();
    function(); // 静态变量保持状态 [3]
    return 0;
}

全局变量：在 main 之前定义的 int global_variable = 30 是全局变量。它可以在程序的任何部分访问，并在整个程序生命周期内存在。全局变量在程序开始时被分配内存，并在程序的整个运行期间保留其值。
静态局部变量：在函数 function 内定义的 static int static_variable = 40 是静态局部变量。它第一次被初始化为 40，并且在函数的多次调用之间保持状态。静态变量有两种类型：静态全局变量和静态局部变量。静态变量的特点是在函数的多次调用之间保持其值。
- 静态全局变量：它们在定义的文件内可见，且在其他文件中不可见。可以通过“文件作用域”机制对全局变量的可见性进行控制。
- 静态局部变量：它们在定义的函数内可见，并在多次函数调用之间保持其值。
静态变量保持状态：当函数 function() 被多次调用时，static_variable保持其值而不是每次都重新初始化，因此第二次调用时输出的值比第一次大。

4. 常量区（Text）

常量区通常存储常量数据，例如字符串字面量，这些数据在程序运行时不可改变。如果尝试修改，会引发未定义行为或程序崩溃。

作用：存储常量数据，比如字符串字面量。
特点：
- 只读：常量区的内容通常设为只读，以防止意外修改。
- 数据共享：字符串字面量可能被多个部分共享，节省内存开销。
生命周期：与程序运行期一致。

#include <stdio.h>

int main() {
    const char *text = "Hello, world"; // 存储在常量区 [1]
    printf("Text: %s\n", text);
    // text[0] = 'h'; // 错误: 尝试修改常量区会导致未定义行为 [2]
    return 0;
}

常量区存储：在 const char *text = "Hello, world" 这一行中，字符串 "Hello, world" 存储在常量区。text 是一个指向该字符串的指针。
- 当我们定义字符串字面量时，编译器会将其保存到常量区。这个区域的数据在程序的整个运行期间是只读的。
只读性质：尝试修改常量区的数据，如 text[0] = 'h'，会导致未定义行为，甚至是程序崩溃。
- 在本例中，尝试改变字符串的第一字符为 'h' 将违反常量区只读的规定。编译器一般会对这些区域施加保护，防止修改。

5. 代码区（Code）

代码区存储程序的实际机器码指令，即编译后的二进制可执行代码。通常情况下，代码区是只读的，以防止代码在运行时被意外修改，从而确保程序的稳定性和安全性。

作用：存储程序的机器码，即程序执行的指令。
特点：
- 只读：为了避免程序指令被修改，代码区通常被设置为只读。这种设计提高了程序的安全性。
- 程序指令：该区域存储所有函数和方法的机器码，是程序执行的核心部分。
生命周期：代码区随着程序的加载进入内存开始存在，并随着程序的终止而消失。

#include <stdio.h>

void code_function() {
    printf("This function is stored in the code area.\n");
}

int main() {
    code_function(); // 调用存储在代码区的函数 [1]
    return 0;
}

代码区中的函数：函数 code_function 及其机器码指令被存储在代码区。当 main 函数调用 code_function 时，程序会跳转到代码区的相应位置执行 code_function 的机器码。
- 只读特性：虽然在示例代码中没有展示，但一般操作系统会将代码区设置为只读，这样即使存在 bug 或恶意代码，也很难对程序指令进行修改，从而提高安全性和稳定性。

代码区是一个重要的内存区域，承载着程序的执行逻辑，其只读特性保障了程序的安全和稳定。

内存区域划分对程序的性能和安全性有很大影响。理解各个区域的用途及管理方式，是编写高效、安全代码的基础。