【C语言】深度解析:动态内存管理的机制与实践

简介: 【C语言】深度解析:动态内存管理的机制与实践

【前文】

目前我们掌握申请内存的方式有两种:
int a=0;//直接开辟空间
int arr[10]={0};//连续开辟空间

上面两种开辟空间的方式存在一些问题:

  • 栈空间开辟的空间大小是固定的
  • 数组在声明时,必须指定数组的长度(一定确定大小不能被调整)

以上不能够灵活地处理内存问题,有时候是需要的空间大小在程序运行时才能知道,那么数组在编译时开辟空间的方式就不能得到满足。

对此,为了更灵活地使用空间,C语言标准库提供了程序员在堆上申请和释放空间的函数


【正文】

C语言标准库提供申请和释放动态内存空间的库函数,声明在stdlib.h头文件中。

提前说明:使用同类型指针进行接收的原因是为了确保程序能够正确地解释和操作分配的内存。如果类型不匹配,可能会导致数据处理错误、内存泄漏,甚至程序崩溃。

一、动态内存开辟函数

温馨提示】:

以下三种动态内存开辟函数,都有可能会出现开辟失败的情况,对此返回值为空,通过判断指针是否为空,做出及时的处理。在OJ需要开辟空间时,一般不需要判断,一般不会开辟失败。

1.1 malloc

#include <stdio.h>
#include <stdlib.h>
int main()
{
    int *p=(int *)malloc(10*sizeof(int))
        if(p==NULL)
        {
            perror("malloc fail!!!")
                return 1;
        }
    free(p)
        p=NULL;
    return 0;
}

说明】:

  • 向内存申请空间不完成初始化,返回指向这块空间的大小
  • malloc是void*类型,当我们申请空间时候,需要知道申请空间交给什么类型去维护
  • 如果参数size为0,malloc可能会报错(取决于编译器)
  • 同时申请空间有时候不一定会成功。如果失败的话,将会返回一个空指针,比如申请的空间太大,就会申请失败,这一点使用的时候要去注意。

1.2 calloc

#include <stdio.h>
#include <stdlib.h>
int main()
{
    int *p=(int *)calloc(10,sizeof(int))
        if(p==NULL)
        {
            perror("calloc fail!!!")
                return 1;
        }
    free(p)
        p=NULL;
    return 0;
}

说明】:

  • 向内存申请空间完成初始化为0,并且返回指向这块空间的指针
  • 因为calloc是void*类型,当我们申请空间时候,需要知道申请空间交给什么类型去维护
  • 同时申请空间有时候不一定会成功。如果失败的话,将会返回一个空指针,比如申请的空间太大,就会申请失败,这一点使用的时候要去注意。

1.3 malloc和calloc区别

  • 都是向堆上申请空间
  • 参数部分不同
  • malloc申请空间没有初始化,calloc申请空间初始化为0

1.4 realloc(动态内存扩容)

int main()
{
    int *p=(int *)malloc(10*sizeof(int));
    if(p=NULL)
    {
        perror("malloc fail!!!");
        return 0;
    }
    int *pe=(int *)realloc(p,20*sizeof(int));
    if(pe=NULL)
    {
        perror("realloc fail!!!");
        return 0;
    }
    p=pe;
    free(p)
        p=NULL;
    pe=NULL;
    return 0;
}

说明】:

  • 申请扩展空间并返回指向扩展空间的地址
  • 一般realloc函数的使用,是在开辟好空间的基础上进行进一步的扩容
  • 如果第一个参数部分为空指针,那么realloc等价于malloc。同时需要注意是否开辟空间成功

问题】:realloc需要扩容大小,是在malloc开辟空间大小的基础上追加,还是直接申请整个空间的大小

回答】:直接申请整个空间的大小


1.4.1 关于realloc扩展空间的两种情况:

情况一】:当内存空间足够的时候,直接在申请好的空间追加

情况二】;当内存空间不够的时候,会在内存中寻找一块更大的空间存放,将目前的数据拷贝一份到新的空间位置中,再将原来的空间释放掉.


二、free(释放动态开辟内存)

说明】:

  • 释放动态内存空间
  • 使用方法在上面都有体现
  • free参数部分是空指针,则函数什么事都不做
  • free非动态内存就会报错重复,行为是未定义的
  • 重复释放同一块动态内存空间,会报错

注意】:如果忘记去free指针指向空间,操作系统会自动的回收使用权,但是尽量能写就写,万一出现内存泄漏危险了。


三、动态内存的常见错误

  • 对空指针的解引用操作
  • 对动态开辟的空间越界访问
  • 对非动态开辟的空间使用free释放
  • 对free释放一块动态开辟空间的一部分(空间只能一整块还)
  • 多次对一块动态内存空间使用free释放
  • 动态开辟内存忘记释放(内存泄漏)

四、柔性数组(flexible array)

在C99中,结构体最后一个成员为未知大小的数组,这个被称为柔性数组的成员,帮助用户根据要求自己给大小,更加轻松地处理可变长度的数据结构。

typedef struct st_type
{
    int i;
    int nums[0];
}type_a;
有些编译器可能会编译失败,可以化成nums[]
    typedef struct st_type
    {
        int i;
        int nums[];
    }type_a; 

4.1 柔性数组的特点

  • 结构体中至少有一个成员在柔性数组前面(如果顺序错了,也会报错)
  • sizeof返回的这种结构大小是不包含柔性数组的内存,编译器在计算结构体大小时会忽略柔性数组成员
  • 对包含柔性数组的结构体,申请空间的时候适度大于结构体的大小,以便于适应柔性数组的大小
typedef struct st_type
{
    int i;
    int a[0];//柔性数组成员
}type_a;
int main()
{
    printf("%d\n", sizeof(type_a));//输出的是4
    return 0;
}

4.2 柔性数组的使用

代码一】:

typedef struct st_type
{
    int i;
    int *p_a;
}type_a;
int main() 
{
    int i = 0;
    type_a *p = (type_a*)malloc(sizeof(type_a)+100*sizeof(int));
    p->i = 100;
    for(i=0; i<100; i++)
    {
        p->a[i] = i;
    }
    free(p);
    return 0;
}

代码二】:

typedef struct st_type
{
    int i;
    int *p_a;
}type_a;
int main()
{
    type_a *p = (type_a *)malloc(sizeof(type_a));
    p->i = 100;
    p->p_a = (int *)malloc(p->i*sizeof(int));
    //业务处理
    for(i=0; i<100; i++)
    {
        p->p_a[i] = i;
    }
    //释放空间
    free(p->p_a);
    p->p_a = NULL;
    free(p);
    p= NULL;
    return 0;
}

说明】:

  • 就是在一块空间内再开辟一块空间使用。
  • 第一种和第二种都能实现相同的效果,但是第一种有两个好处

【第一个好处】:

  • 如果里面做了二次内存分配,并把整个结构体返回给用户。当用户需要释放空间时候,并不知道这个结构体内成员也需要free。
  • 如果结构体的内存以及其成员要的内存一次性分配好,返回一个结构体指针,用户只需要一次free就可以把所有的内存也给释放掉了

【第二个好处】:连续的内存有益于提高访问速度,也有益于减少内存碎片


五、C/C++中程序内存区域规划

内存分配的几个区域:

栈区(stack):

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

堆区(heap)

一般由程序员分配释放,若程序员不释放,程序结束时可能由OS(操作系统)回收。

数据段(静态区):(static)存放全局变量、静态数据。程序结束后由系统释放。

代码段:存放函数体(类成员函数和全局函数)的二进制代码



相关文章
|
8月前
|
传感器 数据采集 监控
Python生成器与迭代器:从内存优化到协程调度的深度实践
简介:本文深入解析Python迭代器与生成器的原理及应用,涵盖内存优化技巧、底层协议实现、生成器通信机制及异步编程场景。通过实例讲解如何高效处理大文件、构建数据流水线,并对比不同迭代方式的性能特点,助你编写低内存、高效率的Python代码。
313 0
|
9月前
|
安全 C语言
C语言中的字符、字符串及内存操作函数详细讲解
通过这些函数的正确使用,可以有效管理字符串和内存操作,它们是C语言编程中不可或缺的工具。
404 15
|
9月前
|
SQL 缓存 安全
深度理解 Java 内存模型:从并发基石到实践应用
本文深入解析 Java 内存模型(JMM),涵盖其在并发编程中的核心作用与实践应用。内容包括 JMM 解决的可见性、原子性和有序性问题,线程与内存的交互机制,volatile、synchronized 和 happens-before 等关键机制的使用,以及在单例模式、线程通信等场景中的实战案例。同时,还介绍了常见并发 Bug 的排查与解决方案,帮助开发者写出高效、线程安全的 Java 程序。
474 0
|
8月前
|
边缘计算 算法 Java
Java 绿色计算与性能优化:从内存管理到能耗降低的全方位优化策略与实践技巧
本文探讨了Java绿色计算与性能优化的技术方案和应用实例。文章从JVM调优(包括垃圾回收器选择、内存管理和并发优化)、代码优化(数据结构选择、对象创建和I/O操作优化)等方面提出优化策略,并结合电商平台、社交平台和智能工厂的实际案例,展示了通过Java新特性提升性能、降低能耗的显著效果。最终指出,综合运用这些优化方法不仅能提高系统性能,还能实现绿色计算目标,为企业节省成本并符合环保要求。
270 0
|
缓存 边缘计算 安全
阿里云CDN:全球加速网络的实践创新与价值解析
在数字化浪潮下,用户体验成为企业竞争力的核心。阿里云CDN凭借技术创新与全球化布局,提供高效稳定的加速解决方案。其三层优化体系(智能调度、缓存策略、安全防护)确保低延迟和高命中率,覆盖2800+全球节点,支持电商、教育、游戏等行业,帮助企业节省带宽成本,提升加载速度和安全性。未来,阿里云CDN将继续引领内容分发的行业标准。
684 7
|
机器学习/深度学习 人工智能 自然语言处理
DeepSeek 实践应用解析:合力亿捷智能客服迈向 “真智能” 时代
DeepSeek作为人工智能领域的创新翘楚,凭借领先的技术实力,在智能客服领域掀起变革。通过全渠道智能辅助、精准对话管理、多语言交互、智能工单处理、个性化推荐、情绪分析及反馈监控等功能,大幅提升客户服务效率和质量,助力企业实现卓越升级,推动智能化服务发展。
487 1
|
机器学习/深度学习 人工智能 监控
鸿蒙赋能智慧物流:AI类目标签技术深度解析与实践
在数字化浪潮下,物流行业面临变革,传统模式的局限性凸显。AI技术为物流转型升级注入动力。本文聚焦HarmonyOS NEXT API 12及以上版本,探讨如何利用AI类目标签技术提升智慧物流效率、准确性和成本控制。通过高效数据处理、实时监控和动态调整,AI技术显著优于传统方式。鸿蒙系统的分布式软总线技术和隐私保护机制为智慧物流提供了坚实基础。从仓储管理到运输监控再到配送优化,AI类目标签技术助力物流全流程智能化,提高客户满意度并降低成本。开发者可借助深度学习框架和鸿蒙系统特性,开发创新应用,推动物流行业智能化升级。
429 1
|
存储 C语言
【C语言程序设计——函数】递归求斐波那契数列的前n项(头歌实践教学平台习题)【合集】
本关任务是编写递归函数求斐波那契数列的前n项。主要内容包括: 1. **递归的概念**:递归是一种函数直接或间接调用自身的编程技巧,通过“俄罗斯套娃”的方式解决问题。 2. **边界条件的确定**:边界条件是递归停止的条件,确保递归不会无限进行。例如,计算阶乘时,当n为0或1时返回1。 3. **循环控制与跳转语句**:介绍`for`、`while`循环及`break`、`continue`语句的使用方法。 编程要求是在右侧编辑器Begin--End之间补充代码,测试输入分别为3和5,预期输出为斐波那契数列的前几项。通关代码已给出,需确保正确实现递归逻辑并处理好边界条件,以避免栈溢出或结果
732 16
|
算法 C语言
【C语言程序设计——循环程序设计】求解最大公约数(头歌实践教学平台习题)【合集】
采用欧几里得算法(EuclideanAlgorithm)求解两个正整数的最大公约数。的最大公约数,然后检查最大公约数是否大于1。如果是,就返回1,表示。根据提示,在右侧编辑器Begin--End之间的区域内补充必要的代码。作为新的参数传递进去。这个递归过程会不断进行,直到。有除1以外的公约数;变为0,此时就找到了最大公约数。开始你的任务吧,祝你成功!是否为0,如果是,那么。就是最大公约数,直接返回。
395 18

推荐镜像

更多
  • DNS