c语言中的内存管理

最新推荐文章于 2024-02-28 12:46:35 发布

黄不逗

最新推荐文章于 2024-02-28 12:46:35 发布

阅读量802

点赞数 2

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

本文链接：https://blog.csdn.net/weixin_45172119/article/details/129781369

版权

C语言系列专栏收录该内容

7 篇文章 0 订阅

订阅专栏

内存区间

在C语言中，内存被划分为以下几个区间：
栈（stack）：用于存储局部变量和函数的参数。栈是由编译器自动分配和释放的，栈的大小通常是固定的。

堆（heap）：用于存储动态分配的内存，即使用malloc、calloc或realloc函数分配的内存。堆的大小通常是可变的。

全局区（global）或静态区（static）：用于存储全局变量和静态变量。这些变量在程序启动时就已经分配好内存，并且在整个程序运行期间都存在。

常量区（constant）：用于存储字符串常量等不可修改的数据。这些数据通常在程序启动时就已经存在，并且在整个程序运行期间都不会被修改。

代码区（code）：用于存储程序的指令，即可执行代码。这些指令在程序启动时就已经存在，并且在整个程序运行期间都不会被修改。

需要注意的是，栈和堆的大小都是有限制的，当栈或堆的大小超过了系统限制时，会导致栈溢出或堆溢出，从而导致程序崩溃。因此，在编写程序时需要注意控制栈和堆的大小，以避免出现此类问题。同时，全局区、常量区和代码区的大小通常是由编译器自动管理的，无需手动控制。

栈内存

栈（stack）是内存中的一段区域，用于存储程序运行时的函数调用和局部变量。栈是一种先进后出（LIFO）的数据结构，当一个函数被调用时，会在栈中分配一段内存用于存储该函数的局部变量和参数，当函数返回时，这段内存就会被释放，供下一个函数使用。栈的大小通常是固定的，由编译器在编译时确定，并且不可手动扩展。

栈内存区的特点：

局部性：栈内存区是当前函数的局部存储空间，只有当前函数可以访问这些数据，因此栈内存区具有很好的局部性特征，访问速度相对较快。

自动管理：栈内存区是由编译器自动管理的，它会在函数被调用时自动分配一段内存，函数返回时自动释放这段内存，程序员无需手动管理。

后进先出：栈内存区是一种先进后出（LIFO）的数据结构，当一个函数被调用时，会在栈中分配一段内存，当函数返回时，这段内存就会被释放，供下一个函数使用。

大小限制：栈的大小通常是固定的，由编译器在编译时确定，并且不可手动扩展。当栈的大小超过了系统限制时，会导致栈溢出，从而导致程序崩溃。

在编写程序时，需要注意控制栈的大小，以避免出现栈溢出的情况。一些常见的控制方法包括：避免递归调用过深、避免过多的局部变量和数组、使用动态内存分配等。

堆内存

堆内存是指由程序员手动申请和释放的动态内存区域，其大小和生命周期由程序员控制。堆内存一般用于动态存储一些数据结构，如链表、树等，或者在运行时需要动态申请内存时使用。

在C语言中，可以使用malloc()、calloc()、realloc()等函数动态申请堆内存，申请的内存可以使用指针来访问，直到使用free()函数手动释放。

堆内存的管理相对于栈内存要复杂一些，因为堆内存的大小和生命周期都是由程序员来管理的。如果没有正确地管理堆内存，就容易导致内存泄漏或内存溢出等问题。

在堆内存使用过程中，程序员需要注意以下几点：

动态申请内存后，需要检查返回值，确保内存申请成功。

使用完毕后，必须显式地调用free()函数释放内存。

对同一块内存重复调用free()函数可能会导致程序崩溃。

堆内存的生命周期结束后，应该尽快释放内存，以免占用过多的系统资源。

总之，在使用堆内存时，程序员需要格外小心，要正确地申请、使用和释放内存，以保证程序的正确性和稳定性。

代码区

代码区是指程序运行时存放指令的区域，也叫只读代码区或者文本段。通常情况下，程序运行时的指令是不允许被修改的，因此代码区中的指令通常是只读的，且不可修改。

代码区通常包括程序的二进制代码、程序的常量、静态变量和字符串常量等。在程序运行时，操作系统将代码区加载到内存中，并将控制转移至代码区中的起始位置开始执行指令。

代码区的使用场景通常是存储编译后的程序指令和常量，因此它主要用于存储程序的执行代码。在代码区中，通常不会存储任何动态分配的数据，例如堆和栈中的变量。代码区的大小取决于程序的指令大小和常量大小等因素。

下面是一些代码区的例子：
C 语言程序的函数体和全局变量都存储在代码区中，因为它们都是静态分配的。例如：

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

// 全局变量
int global_var = 10;

// 函数
void my_func(int arg1, int arg2) {
    int local_var = arg1 + arg2;
    printf("Local variable: %d\n", local_var);
}

int main() {
    // 调用函数
    my_func(5, 6);

    return 0;
}

字符串常量也存储在代码区中，因为它们是静态分配的，并且通常不会改变。例如：

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

int main() {
    // 字符串常量
    char *str = "Hello, World!";

    // 打印字符串
    printf("%s\n", str);

    return 0;
}

在上面的代码中，字符串 “Hello, World!” 存储在代码区中，并通过指针 str 引用。

代码区、常量区和静态区的关系

代码区通常是用于存储可执行代码的区域，而字符串常量存储在常量区中。然而，这些不同的区域是在可执行文件被加载到内存时划分的，而不是在源代码中定义的。

在编译器将源代码转换为可执行文件时，所有的字符串常量都被分配到常量区中，这些常量会被映射到可执行文件的相应区域。在可执行文件被加载到内存中时，常量区的内容被映射到代码区。因此，代码区中不仅包含可执行的指令，还包括所有的常量，包括字符串常量。

总之，代码区、常量区和静态区都是可执行文件在内存中对应的区域，它们在可执行文件加载时被分配并映射到相应的内存区域，而不是在源代码中显式定义的。

常量区和静态区有什么不同吗

常量区和静态区是内存中两个不同的存储区域，它们的主要不同在于存储的数据类型和生命周期。

常量区存储的是程序中的常量，例如字符串常量、数值常量等，这些常量在程序执行期间不可修改，它们的值在编译期间就已经确定并存储在常量区中，因此常量区也称为只读数据区。常量区通常位于代码段之后。

静态区是存储程序中全局变量和静态变量的区域，它们在程序执行期间始终存在，直到程序结束才会被销毁。静态区在程序运行时分配，位于堆和栈之间，通常被称为全局数据区。

因为常量区和静态区存储的数据类型和生命周期不同，所以在内存管理中它们也有不同的特点和使用场景。常量区用于存储不可修改的常量数据，而静态区则用于存储在程序运行期间需要持久存在的数据，例如全局变量、静态变量、字符串缓冲区等。

内存管理

在C语言中，需要手动管理内存的分配和释放，这是因为C语言是一种底层语言，直接操作内存是它的基本特性之一。
C语言中，主要通过以下几个函数进行内存的分配和释放：

malloc函数：

用于在堆上动态分配一段内存，其函数声明为：

void *malloc(size_t size);

malloc 函数用于在堆内存区域中分配一块指定大小的内存空间，并返回该内存空间的首地址（即指向该内存块的指针）。如果分配失败，函数返回 NULL。调用 malloc 时需要指定所需内存空间的大小（单位为字节），例如：

int *ptr;
ptr = (int*) malloc(10 * sizeof(int)); // 分配 10 个 int 类型变量的内存空间

calloc函数：

void *calloc(size_t nmemb, size_t size);

calloc 函数与 malloc 类似，但它在分配内存空间时不仅要指定空间大小，还要指定需要分配的元素个数。这个函数会在堆内存区域中分配 nmemb * size 字节的内存空间，并将所有的字节初始化为 0。函数返回该内存空间的首地址（即指向该内存块的指针）。如果分配失败，函数返回 NULL。调用 calloc 时需要指定所需元素的个数和每个元素所占用的空间大小（单位为字节），例如：

int *ptr;
ptr = (int*) calloc(10, sizeof(int)); // 分配 10 个 int 类型变量的内存空间，并将所有的字节初始化为 0

realloc 函数：

void *realloc(void *ptr, size_t size);

realloc 函数用于重新分配已经分配过的内存空间，以修改已分配内存空间的大小。该函数会在堆内存区域中重新分配一块指定大小的内存空间，并将原先内存空间中的数据拷贝到新分配的内存空间中。如果新分配的内存空间大小小于原先分配的内存空间大小，则新空间后面的部分将被截断。如果新分配的内存空间大小大于原先分配的内存空间大小，则新空间的额外部分将不会被初始化。函数返回新分配的内存空间的首地址（即指向该内存块的指针）。如果分配失败，函数返回 NULL。调用 realloc 时需要指定需要重新分配内存空间的指针和新的内存空间大小，例如：

int *ptr;
ptr = (int*) malloc(10 * sizeof(int)); // 分配 10 个 int 类型变量的内存空间
ptr = (int*) realloc(ptr, 20 * sizeof(int)); // 将原先分配的内存空间重新分配为 20 个 int 类型变量的内存空间

malloc，calloc， realloc通过free之后,可能出现野指针？

在调用malloc()、calloc()、realloc()等函数分配内存之后，程序员需要及时调用free()函数释放该内存。否则，这些内存会一直占用系统资源，直到程序结束或被操作系统回收，造成内存泄漏。

如果在释放内存之后，没有将指针赋值为NULL，而继续使用该指针，就会出现野指针的情况。野指针是指指向已释放或未初始化内存的指针，使用它进行内存读写可能会导致不可预测的程序行为，例如崩溃、数据损坏等。

为避免野指针问题的出现，建议在释放内存后将指针赋值为NULL，例如：

int *p = (int*)malloc(sizeof(int)); // 分配内存
// 使用 p 操作内存
free(p); // 释放内存
p = NULL; // 将指针赋值为 NULL
// 继续使用 p，此时 p 不再是野指针

这样，在后续代码中使用该指针时，可以通过判断指针是否为NULL来避免访问已释放内存的问题，例如：

if (p != NULL) {
    // 使用 p 操作内存
}

野指针

当我们使用 free() 函数释放一个已经被分配的内存块之后，如果我们没有将这个指针设置为 NULL，那么这个指针就成为了一个野指针。

野指针是指指向非法内存地址的指针，使用野指针会导致程序崩溃或者出现不可预测的结果，因此必须避免使用野指针。

为了避免野指针的出现，我们可以在使用完指针之后将其设置为 NULL，这样即使这个指针被错误地使用，也不会访问非法的内存地址，而是会被操作系统拦截并提示错误。另外，当我们使用指针时，也应该检查其是否为 NULL，以避免出现不必要的问题。

在使用 free() 函数释放内存时，我们也应该注意不要重复释放同一个内存块，否则也会导致出现野指针的问题。

释放同一个内存块为什么会出现野指针的问题

释放同一个内存块可能会出现野指针的问题，因为在释放内存的时候，指针所指向的内存块被标记为可用的，但是指针本身的值没有被改变，仍然指向原来的内存块。如果之后再次使用这个指针，就会访问到已经被释放的内存块，从而导致野指针问题的发生。这种情况可以通过将指针赋值为NULL来避免。当指针指向NULL时，访问该指针会引发空指针异常，从而避免野指针的问题。