【C语言指南】C语言内存管理 深度解析

news2024/12/23 4:54:18

           💓 博客主页:倔强的石头的CSDN主页 

           📝Gitee主页:倔强的石头的gitee主页

            ⏩ 文章专栏:《C语言指南》

                                  期待您的关注

 

47f09392526c71b5885ec838a3ea7ffe.gif

引言

C语言是一种强大而灵活的编程语言,为程序员提供了对内存的直接控制能力。这种对内存的控制使得C语言非常灵活,但也带来了更大的责任

在C语言中,程序员需要负责内存的分配和释放,否则可能会导致内存泄漏和其他内存管理问题。

本文将深入探讨C语言的内存管理机制,包括内存分配、内存释放、内存泄漏等问题。

 

目录

引言

一、 内存区域划分

🍃内核空间

🍃栈:

🍃内存映射段:

🍃堆:

🍃数据段:

🍃代码段:

二、内存分配方式

1. 静态分配

(1) 全局变量和静态变量

(2) 局部变量

2. 动态分配

三、动态内存管理

🍃动态内存分配

1. malloc

2. calloc

3. realloc

注意事项

🍃内存释放与内存泄漏

内存释放

内存泄漏

结束语


 

一、 内存区域划分

fa6b88d2b16e49ddb3080a13b9d89941.png

🍃内核空间

  • 高地址空间主要用于存储操作系统内核的代码和数据。这个区域由操作系统内核独占,用户程序通常无法直接访问。
  • 内核空间存储了操作系统内核的代码、数据结构、进程管理信息、内存管理信息等重要数据。这些数据是操作系统运行所必需的,因此必须存储在安全且受保护的内核空间中。

 

🍃栈:

  • 在执行函数时,函数内局部变量的存储单元都可以在栈上创建,函数执行结束时 这些存储单元⾃动被释放。
  • 栈内存分配运算内置于处理器的指令集中,效率很高,但是分配的内 存容量有限。
  • 栈区主要存放运行函数而且分配的局部变量、函数参数、返回数据、返回地址等

 

🍃内存映射段:

  • 内存映射段通常与操作系统的内存管理功能紧密相关,用于将物理内存地址空间映射到进程的虚拟地址空间
  • 这种映射机制允许程序以一种抽象和统一的方式访问内存,而不必关心底层的物理内存布局。

 

🍃堆:

  • 堆是用于动态分配内存的区域,程序员可以通过malloc、calloc等函数手动申请一块指定大小的内存空间,并在使用完毕后手动释放该内存空间。
  • ⼀般由程序员分配释放,若程序员不释放,程序结束时可能由操作系统回收

 

🍃数据段:

  • 数据段是一个专门用于存储全局变量和静态变量的内存区域
  • 这个区域在程序加载到内存时就已经分配好,并且在程序的整个生命周期内都有效。
  • 数据段的主要目的是为程序提供持久的、全局范围的数据存储。

 

🍃代码段:

  • 代码段主要用于存储程序的机器指令,这些指令是程序执行的基础。
  • 这些指令由编译器从源代码编译而成,并在程序加载到内存时由操作系统加载到代码段。这些指令在程序执行期间是只读的,以防止程序意外或恶意地修改自己的指令。
  • 其次,常量在内存中的存储位置取决于常量的类型和编译器的具体实现,可能会存储在只读数据段或其他数据段中。在编译时,一些数值常量可能会被直接嵌入到指令中

 

二、内存分配方式

在C语言中,内存分配主要有两种方式:静态分配和动态分配。下面详细介绍这两种方式及其代码示例。

1. 静态分配

静态分配是指在编译时确定内存分配的方式。静态分配的内存通常存在于数据段和栈区。

(1) 全局变量和静态变量

全局变量和静态变量在程序启动时分配内存,并在整个程序运行期间一直存在。

#include <stdio.h>

// 全局变量
int globalVar = 10;

void function() {
    // 静态变量
    static int staticVar = 20;
    printf("globalVar: %d, staticVar: %d\n", globalVar, staticVar);
}

int main() {
    function();
    function();
    return 0;
}

 

(2) 局部变量

局部变量在函数调用时分配内存,在函数返回时释放内存。

#include <stdio.h>

void function() {
    // 局部变量
    int localVar = 30;
    printf("localVar: %d\n", localVar);
}

int main() {
    function();
    function();
    return 0;
}

2. 动态分配

动态分配则是在程序运行时根据需要进行的,通过标准库函数如malloccallocreallocfree来管理。动态分配的内存通常存在于堆区。

动态分配的内容比较多,单独放在下面一个小节讲解:

 

三、动态内存管理

🍃动态内存分配

在C语言中,有三个主要的动态内存分配函数:malloccallocrealloc。这些函数用于在程序运行时动态地分配和管理内存。下面详细介绍这三个函数的功能、用法以及一些注意事项。

 

1. malloc

malloc 函数用于在堆上分配指定大小的内存块,并返回指向该内存块的指针。

如果分配失败,malloc 返回 NULL

函数原型

void *malloc(size_t size);
  • size_t 是一个无符号整数类型,表示要分配的内存量(以字节为单位)。
  • 返回值是一个 void * 类型的指针,需要根据实际需求转换成相应的指针类型。

 

示例代码

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

int main() {
    int *p = (int *)malloc(10 * sizeof(int));  // 分配10个整数的内存
    if (p == NULL) {
        fprintf(stderr, "Memory allocation failed\n");
        return 1;
    }

    for (int i = 0; i < 10; i++) {
        p[i] = i * 10;
    }

    printf("Array: ");
    for (int i = 0; i < 10; i++) {
        printf("%d ", p[i]);
    }
    printf("\n");

    free(p);  // 释放内存

    return 0;
}

 

2. calloc

calloc 函数用于在堆上分配多个连续的内存块,并将这些内存块初始化为零。它返回指向分配的内存块的指针。如果分配失败,calloc 返回 NULL

函数原型

void *calloc(size_t num, size_t size);
  • num 表示要分配的内存块的数量。
  • size 表示每个内存块的大小(以字节为单位)。
  • 返回值是一个 void * 类型的指针,需要根据实际需求转换成相应的指针类型。

要注意calloc的参数与malloc有所不同

  • malloc只有一个参数,表示 要申请的空间的字节数
  • calloc有两个参数,将申请的空间看成多个内存块,第二个参数表示内存块的大小,第一个参数表示内存块的数量

示例代码

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

int main() {
    int *arr = (int *)calloc(5, sizeof(int));  // 分配5个整数的内存并初始化为零
    if (arr == NULL) {
        fprintf(stderr, "Memory allocation failed\n");
        return 1;
    }

    for (int i = 0; i < 5; i++) {
        arr[i] = i * 10;
    }

    printf("Array: ");
    for (int i = 0; i < 5; i++) {
        printf("%d ", arr[i]);
    }
    printf("\n");

    free(arr);  // 释放内存

    return 0;
}

 

3. realloc

realloc 函数用于改变之前分配的内存块的大小。如果新的大小大于原大小,新增加的部分不会被初始化;如果新的大小小于原大小,超出部分的内存将被释放。如果分配失败,realloc 返回 NULL,并且原内存块保持不变。

函数原型

void *realloc(void *ptr, size_t new_size);
  • ptr 是之前通过 malloccalloc 或 realloc 分配的内存块的指针。
  • new_size 是新的内存块的大小(以字节为单位)。
  • 返回值是一个 void * 类型的指针,需要根据实际需求转换成相应的指针类型。

 

注意:

 realloc申请内存分配是有可能失败的,不要用原指针直接接收realloc的返回结果,否则有可能丢失原指针的数据

应当先用临时指针接收,判断不为NULL之后,再将原指针指向分配的地址

 

示例代码

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

int main() {
    int *arr = (int *)malloc(5 * sizeof(int));  // 分配5个整数的内存
    if (arr == NULL) {
        fprintf(stderr, "Memory allocation failed\n");
        return 1;
    }

    for (int i = 0; i < 5; i++) {
        arr[i] = i * 10;
    }

    printf("Initial array: ");
    for (int i = 0; i < 5; i++) {
        printf("%d ", arr[i]);
    }
    printf("\n");

    // 重新分配内存,扩展数组到10个元素
    int* tmp = (int *)realloc(arr, 10 * sizeof(int));
    if (tmp == NULL) {
        fprintf(stderr, "Memory reallocation failed\n");
        return 1;
    }
    arr=tmp;

    for (int i = 5; i < 10; i++) {
        arr[i] = i * 10;
    }

    printf("Extended array: ");
    for (int i = 0; i < 10; i++) {
        printf("%d ", arr[i]);
    }
    printf("\n");

    free(arr);  // 释放内存

    return 0;
}

 

注意事项

  1. 检查返回值:始终检查 malloccalloc 和 realloc 的返回值是否为 NULL,以确保内存分配成功。
  2. 内存释放:使用 free 函数释放不再使用的内存,避免内存泄漏。
  3. 指针类型转换:虽然 malloccalloc 和 realloc 返回 void * 类型的指针,但在某些编译器中,显式类型转换可以提高代码的可移植性。
  4. 初始化malloc 不初始化分配的内存,而 calloc 会将内存初始化为零。

 

🍃内存释放与内存泄漏

内存释放

内存释放是指在不再需要动态分配的内存时,将其归还给系统,以便其他部分的程序可以重用这些内存。在C语言中,内存释放是通过 free 函数完成的。

free 函数

free 函数用于释放之前通过 malloccallocrealloc 分配的内存。

函数原型

void free(void *ptr);
  • ptr 是之前通过 malloccalloc 或 realloc 分配的内存块的指针。
  • 如果 ptr 是 NULLfree 函数什么也不做,这有助于避免空指针解引用的错误。

 

如果 free 的参数不是通过这些函数分配的内存,或者是一个无效的指针,将会导致未定义行为。未定义行为意味着程序的行为不可预测,可能包括但不限于以下几种情况:

  1. 程序崩溃:最常见的结果之一是程序崩溃。操作系统可能会检测到非法的内存操作并终止程序。
  2. 内存损坏:释放非动态分配的内存可能会导致内存损坏,影响其他部分的程序。
  3. 数据损坏:释放非动态分配的内存可能会导致数据损坏,使得程序中的其他数据变得不可靠。
  4. 程序继续运行但行为异常:程序可能会继续运行,但表现出异常的行为,难以调试。

 

 正确使用free函数的示例代码,在上面动态内存分配部分以及给出示例。

下面是一些示例代码,展示了使用 free 释放非动态分配的内存时可能出现的问题。

示例1:释放栈上的内存

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

int main() {
    int local_var = 10;
    free(&local_var);  // 错误:尝试释放栈上的内存

    return 0;
}

在这个例子中,local_var 是一个局部变量,存储在栈上。调用 free(&local_var) 试图释放栈上的内存,这会导致未定义行为,可能会使程序崩溃或表现异常。

 

示例2:释放静态分配的内存

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

int main() {
    int global_var = 20;
    free(&global_var);  // 错误:尝试释放静态分配的内存

    return 0;
}

在这个例子中,global_var 是一个全局变量,存储在全局/静态数据区。调用 free(&global_var) 试图释放静态分配的内存,同样会导致未定义行为。

 

示例3:释放已释放的内存

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

int main() {
    int *p = (int *)malloc(10 * sizeof(int));
    if (p == NULL) {
        fprintf(stderr, "Memory allocation failed\n");
        return 1;
    }

    free(p);  // 第一次释放
    free(p);  // 错误:尝试释放已释放的内存

    return 0;
}

在这个例子中,p 指向的内存已经被释放了一次,再次调用 free(p) 试图释放已释放的内存,这会导致未定义行为。


 

内存泄漏

内存泄漏是指程序在运行过程中未能正确释放已经分配的内存,导致这些内存无法被再次使用。内存泄漏会逐渐消耗系统的可用内存,最终可能导致程序崩溃或系统性能下降。

常见的内存泄漏原因

  1. 忘记释放内存:这是最常见的内存泄漏原因。程序员在使用完动态分配的内存后忘记调用 free 函数。
  2. 重复释放内存:多次调用 free 函数释放同一块内存会导致未定义行为,可能会引发程序崩溃。
  3. 指针覆盖:在未释放内存的情况下,重新赋值指针,导致原来的内存地址丢失,无法再释放。
  4. 递归分配:在递归函数中分配内存,但没有正确的释放机制,导致内存泄漏。

示例代码:内存泄漏

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

void leaky_function() {
    int *p = (int *)malloc(10 * sizeof(int));  // 分配内存
    if (p == NULL) {
        fprintf(stderr, "Memory allocation failed\n");
        return;
    }

    for (int i = 0; i < 10; i++) {
        p[i] = i * 10;
    }

    // 忘记释放内存
    // free(p);
}

int main() {
    for (int i = 0; i < 1000; i++) {
        leaky_function();  // 每次调用都会导致10个整数的内存泄漏
    }

    return 0;
}

 

 如何避免内存泄漏?

1. 及时释放内存

每次动态分配内存后,确保在不再需要该内存时及时释放。这是避免内存泄漏的最基本也是最重要的原则。

 

2. 使用指针管理技巧

2.1 设置指针为 NULL

释放内存后,将指针设置为 NULL,可以避免重复释放和悬空指针问题。

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

int main() {
    int *p = (int *)malloc(10 * sizeof(int));
    if (p == NULL) {
        fprintf(stderr, "Memory allocation failed\n");
        return 1;
    }

    // 使用分配的内存
    for (int i = 0; i < 10; i++) {
        p[i] = i * 10;
    }

    // 释放内存
    free(p);
    p = NULL;  // 将指针设置为 NULL

    return 0;
}

 

2.2 使用局部变量管理指针

在函数内部使用局部变量管理指针,可以确保在函数退出时释放内存。

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

void process_data() {
    int *p = (int *)malloc(10 * sizeof(int));
    if (p == NULL) {
        fprintf(stderr, "Memory allocation failed\n");
        return;
    }

    // 使用分配的内存
    for (int i = 0; i < 10; i++) {
        p[i] = i * 10;
    }

    // 释放内存
    free(p);
}

int main() {
    process_data();
    return 0;
}

3. 代码审查和测试

定期进行代码审查,检查是否有遗漏的 free 调用。编写单元测试,确保每个分配的内存都被正确释放。

4. 使用内存检测工具

使用内存检测工具,如 Valgrind,可以帮助检测内存泄漏和非法内存访问等问题。

安装Valgrind

在Linux系统上,可以使用以下命令安装Valgrind:

sudo apt-get install valgrind

使用Valgrind

编译你的程序(假设程序文件名为 example.c):

gcc -g -o example example.c

运行Valgrind:

valgrind --leak-check=full ./example

Valgrind 会输出详细的内存泄漏报告,帮助你定位和修复内存泄漏问题。

 

5. 避免复杂的数据结构管理

对于复杂的动态数据结构(如链表、树等),确保有明确的内存管理策略。使用封装好的数据结构库,可以减少内存管理的复杂性。

6. 代码规范和注释

编写清晰、规范的代码,并添加适当的注释,说明内存分配和释放的逻辑,有助于团队成员理解和维护代码。

通过以上策略和最佳实践,可以有效避免内存泄漏,提高程序的稳定性和性能。

 

结束语

内存管理是C语言编程中至关重要的一环,直接影响到程序的性能和稳定性。通过本文的介绍,我们探讨了C语言中的内存分配和释放机制,以及如何避免常见的内存泄漏问题。正确地管理内存不仅可以提高程序的效率,还能减少潜在的错误和崩溃风险。

 

我们介绍了几种有效的策略和最佳实践,包括及时释放内存、使用指针管理技巧、代码审查和测试、使用内存检测工具等。希望这些方法能帮助你在实际开发中更好地管理内存,编写出更加健壮和高效的C语言程序。

 

总之,良好的内存管理习惯是每个C语言开发者必备的技能。不断学习和实践,才能在复杂的编程环境中游刃有余。希望本文对你有所帮助,祝你在C语言编程的道路上越走越远!

 

 

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/2241868.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

【Linux网络编程】简单的UDP网络程序

目录 一&#xff0c;socket编程的相关说明 1-1&#xff0c;sockaddr结构体 1-2&#xff0c;Socket API 二&#xff0c;基于Udp协议的简单通信 一&#xff0c;socket编程的相关说明 Socket编程是一种网络通信编程技术&#xff0c;它允许两个或多个程序在网络上相互通信&…

Kafka入门:Java客户端库的使用

在现代的分布式系统中&#xff0c;消息队列扮演着至关重要的角色&#xff0c;而Apache Kafka以其高吞吐量、可扩展性和容错性而广受欢迎。本文将带你了解如何使用Kafka的Java客户端库来实现生产者&#xff08;Producer&#xff09;和消费者&#xff08;Consumer&#xff09;的基…

STM32设计学生宿舍监测控制系统

目录 前言 一、本设计主要实现哪些很“开门”功能&#xff1f; 二、电路设计原理图 电路图采用Altium Designer进行设计&#xff1a; 三、实物设计图 四、程序源代码设计 五、获取资料内容 前言 随着科技的飞速发展和智能化时代的到来&#xff0c;学生宿舍的安全、舒适…

HTML5实现俄罗斯方块小游戏

文章目录 1.设计来源1.1 主界面1.2 皮肤风格1.2 游戏中界面1.3 游戏结束界面 2.效果和源码2.1 动态效果2.2 源代码 源码下载 作者&#xff1a;xcLeigh 文章地址&#xff1a;https://blog.csdn.net/weixin_43151418/article/details/143788449 HTML5实现俄罗斯方块小游戏&#x…

自由学习记录(22)

最后再总结一下吧 虽然过程里很多细节也许我没有去管&#xff0c;毕竟现在就已经存在更好的解决方案了 但大致思想是了解了 A星是一种网格上的遍历方式&#xff0c;为了找到一个目标点和起点之间的要经过的最短节点组 里面更像是动态规划 每一次的遍历&#xff0c;都是当前…

UNIX网络编程-TCP套接字编程(实战)

概述 TCP客户端/服务器程序示例是执行如下步骤的一个回射服务器&#xff1a; 客户端从标准输入读入一行文本&#xff0c;并写给服务器。服务器从网络输入读入这行文本&#xff0c;并回射给客户端。客户端从网络输入读入这行回射文本&#xff0c;并显示在标准输出上。 TCP服务器…

『VUE』27. 透传属性与inheritAttrs(详细图文注释)

目录 什么是透传属性&#xff08;Forwarding Attributes&#xff09;使用条件唯一根节点禁用透传属性继承总结 欢迎关注 『VUE』 专栏&#xff0c;持续更新中 欢迎关注 『VUE』 专栏&#xff0c;持续更新中 什么是透传属性&#xff08;Forwarding Attributes&#xff09; 在 V…

408模拟卷较难题(无分类)

模拟卷特别是大题还是很有难度的&#xff0c;而且有些题有错&#xff0c;还是先把真题吃透&#xff0c;后面没时间的话就不整理了。 一棵树转化为二叉树&#xff0c;那么这棵二叉树一定为右子树为空的树 计算不同种形态&#xff0c;即计算6个结点的二叉树有几种形态&#xff0c…

【JavaScript】LeetCode:96-100

文章目录 96 单词拆分97 最长递增子序列98 乘积最大子数组99 分割等和子集100 最长有效括号 96 单词拆分 动态规划完全背包&#xff1a;背包-字符串s&#xff0c;物品-wordDict中的单词&#xff0c;可使用多次。问题转换&#xff1a;s能否被wordDict中的单词组成。dp[i]&#x…

安全见闻1-5

涵盖了编程语言、软件程序类型、操作系统、网络通讯、硬件设备、web前后端、脚本语言、病毒种类、服务器程序、人工智能等基本知识&#xff0c;有助于全面了解计算机科学和网络技术的各个方面。 安全见闻1 1.编程语言简要概述 C语言&#xff1a;面向过程&#xff0c;适用于系统…

相亲小程序(源码+文档+部署+讲解)

最近我在挖掘一些优秀的开源项目时&#xff0c;无意间发现了一个相当给力的系统——相亲小程序管理系统。这个系统不仅功能实用&#xff0c;而且代码结构清晰&#xff0c;易于二次开发。作为一名技术爱好者&#xff0c;我觉得有必要把这个好东西推荐给我的读者们。接下来&#…

RabbitMQ介绍和快速上手案例

文章目录 1.引入1.1同步和异步1.2消息队列的作用1.3rabbitMQ介绍 2.安装教程2.1更新软件包2.2安装erlang2.3查看这个erlang版本2.4安装rabbitMQ2.5安装管理页面2.6浏览器测试2.7添加管理员用户 3.rabbitMQ工作流程4.核心概念介绍4.1信道和连接4.2virtual host4.3quene队列 5.We…

aws(学习笔记第十二课) 使用AWS的RDS-MySQL

aws(学习笔记第十二课) 使用AWS的RDS 学习内容&#xff1a; AWS的RDS-MySQL 1. 使用AWS的RDS 什么是RDS RDS就是Relation Database Service的缩写&#xff0c;是AWS提供的托管关系型数据库系统。让用户能够在 AWS Cloud 云中更轻松地设置、操作和扩展关系数据库。 数据库和we…

跳房子(弱化版)

题目描述 跳房子&#xff0c;也叫跳飞机&#xff0c;是一种世界性的儿童游戏&#xff0c;也是中国民间传统的体育游戏之一。 跳房子的游戏规则如下&#xff1a; 在地面上确定一个起点&#xff0c;然后在起点右侧画 n 个格子&#xff0c;这些格子都在同一条直线上。每个格子内…

A029-基于Spring Boot的物流管理系统的设计与实现

&#x1f64a;作者简介&#xff1a;在校研究生&#xff0c;拥有计算机专业的研究生开发团队&#xff0c;分享技术代码帮助学生学习&#xff0c;独立完成自己的网站项目。 代码可以查看文章末尾⬇️联系方式获取&#xff0c;记得注明来意哦~&#x1f339; 赠送计算机毕业设计600…

Spring系统框架

Spring Framework系统架构 1.Spring核心概念 代码书写现状 耦合度偏高 解决方案 使用对象时&#xff0c;在程序中不要主动使用new产生对象&#xff0c;转换为外部提供对象 IOC(Inversion of Control)控制反转 对象的创建控制权由程序移到外部&#xff0c;这种思想称为控制…

鸿蒙实战:页面跳转

文章目录 1. 实战概述2. 实现步骤2.1 创建项目2.2 准备图片素材2.3 编写首页代码2.4 创建第二个页面 3. 测试效果4. 实战总结 1. 实战概述 实战概述&#xff1a;本实战通过ArkUI框架&#xff0c;在鸿蒙系统上开发了一个简单的两页面应用。首页显示问候语和“下一页”按钮&…

文献解读-DNAscope: High accuracy small variant calling using machine learning

关键词&#xff1a;基准与方法研究&#xff1b;基因测序&#xff1b;变异检测&#xff1b; 文献简介 标题&#xff08;英文&#xff09;&#xff1a;DNAscope: High accuracy small variant calling using machine learning标题&#xff08;中文&#xff09;&#xff1a;DNAsc…

程序设计方法与实践-变治法

变换之美 变治法就是基于变换的思路&#xff0c;进而使原问题的求解变得简单的一种技术。 变治法一般有三种类型&#xff1a; 实例化简&#xff1a;将问题变换为同问题&#xff0c;但换成更为简单、更易求解的实例。改变表现&#xff1a;变化为同实例的不同形式&#xff0c;…

解决Anaconda出现CondaHTTPError: HTTP 000 CONNECTION FAILED for url

解决Anaconda出现CondaHTTPError: HTTP 000 CONNECTION FAILED for url 第一类情况 在anaconda创建新环境时&#xff0c;使用如下代码 conda create -n charts python3.7 错误原因&#xff1a; 默认镜像源访问速度过慢&#xff0c;会导致超时从而导致更新和下载失败。 解决方…