探索动态内存开辟的奥秘

2024-05-04 19:36

本文主要是介绍探索动态内存开辟的奥秘,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

 

✨✨欢迎👍👍点赞☕️☕️收藏✍✍评论

个人主页:秋邱'博客

所属栏目:C语言

 

 前言

开始之前,我们先来了解一下C/C++中程序内存区域划分。

在C/C++程序中,内存区域通常被划分为以下几个部分:

1.栈:

  • 栈区主要存放运⾏函数⽽分配的局部变量、函数参数、返回数据、返回地址

2.堆:

  • 用于动态分配的内存,程序员可以通过malloc、calloc、realloc等函数在堆上动态分配内存空间。
  • 堆的分配和释放由程序员手动控制,因此需要注意避免内存泄漏和内存溢出等问题。

3.全局/静态区:

  • 用于存储全局变量、静态变量以及常量字符串等。
  • 全局变量和静态变量在程序启动时被分配,直到程序结束才被释放。

4.常量区:

  • 存储常量字符串等不可修改的数据。

5.代码区

  • 存储程序的机器指令,包括函数体的二进制代码等。

1.0 静态内存

目前有两个开辟内存的方式

	int a = 0;//在栈空间上开辟四个字节char arr[10] = { 0 };//在栈空间上开辟10个字节的连续空间

但是上述代码的开辟的空间有个特点:

  • 开辟的空间大小是固定
  • 数组空间大小一旦确定就不能更改

2.0 动态内存 

有时候我们需要的空间⼤⼩在程序运⾏的时候才能知 道,那数组的编译时开辟空间的⽅式就不能满⾜了。因此,C语⾔引⼊了动态内存开辟,让程序员⾃⼰可以申请和释放空间,就⽐较灵活了。

那么这里就需要用到四个函数,开辟空间的有:malloc、calloc、realloc释放空间的有:free

这四个函数需要的头文件都是#include<stdlib.h>

2.1 malloc

函数声明:

void* malloc (size_t size);

返回值的类型是 void* ,所以malloc函数并不知道开辟空间的类型,具体在使⽤的时候使⽤者⾃⼰来决定。 

size_t 用于表示内存大小的数据类型,是一个无符号整数类型。malloc中size表示字节个数。

使用:

如果开辟成功,则返回⼀个指向开辟好空间的指针。

如果开辟失败,则返回⼀个 NULL 指针,因此malloc的返回值⼀定要做检查。

如果参数 size 为0,malloc的⾏为是标准是未定义的,取决于编译器。

malloc的使用方法:

#include <stdio.h>
#include <stdlib.h>int main()
{int* arr = (int*)malloc(sizeof(int) * 10);// 分配一个整数的内存空间//void* 需要用类型指针接收,这里选择用int*if (arr == NULL){perror("malloc fail: ");//打印错误信息return 1;//直接返回}int i = 0;for (i = 0; i < 10; i++)//数组赋值{arr[i] = i;}for (i = 0; i < 10; i++)//打印数组{printf("%d ", arr[i]);}//释放内存return 0;
}

输出结果:

2.2 calloc 

函数声明:

void* calloc (size_t num, size_t size);

 函数的功能是为 num 个⼤⼩为 size 的元素开辟⼀块空间,并且把空间的每个字节初始化为0。

与函数 malloc 的区别只在于 calloc 会在返回地址之前把申请的空间的每个字节初始化为全0。

#include <stdio.h>
#include <stdlib.h>
int main()
{int* num = (int*)calloc(10,sizeof(int));if (num == NULL){perror("calloc fail: ");//打印错误信息return 1;//直接返回}//使用//内存释放return 0;
}

2.3 realloc 

realloc相比malloc和calloc更加灵活,它是在内存不够的时候开辟新的内存。realloc可以做到对动态内存大小的调整。

函数声明:

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

ptr:指向先前用malloc、calloc或realloc分配的内存块的指针,或者,这可以是一个空指针,在这种情况下,一个新的块被分配(好像malloc被调用)。

size_t 用于表示内存大小的数据类型,是一个无符号整数类型。malloc中size表示字节个数。

 realloc有三种情况:

1.内存足够大不需要realloc额外申请。

2.空间不足

情况一:原有空间之后有⾜够⼤的空间。

当是情况1 的时候,要扩展内存就直接原有内存之后直接追加空间,原来空间的数据不发⽣变化。

情况二:原有空间之后没有足够大的空间。

当是情况2 的时候,原有空间之后没有⾜够多的空间时,扩展的⽅法是:在堆空间上另找⼀个合适⼤⼩的连续空间来使⽤。这样函数返回的是⼀个新的内存地址。 

 由于上述的两种情况,realloc函数的使⽤就要注意⼀些。

int main()
{int* ptr = (int*)malloc(100);if (ptr == NULL){perror("malloc error");return 1;}//动态内存不够进行扩展容量//先将realloc函数的返回值放在p中,不为NULL,在放ptr中int* p = realloc(ptr, 1000);if (p != NULL){perror("realloc error");return 1;}ptr = p;//如果直接赋值,realloc开辟失败返回NULL,*ptr就会出现问题return 0;
}

很明显,代码1存在问题,若realloc没开辟成功,却将空指针返回给ptr,ptr解引用则会报错。使用代码2,更加合理。 

2.4 free 

free函数⽤来释放动态开辟的内存。这在写代码过程中是很有必要的。

函数声明:

void free (void* ptr);

 ptr表示指向malloc,realloc,callloc开辟的动态空间内存。

使用:

如果参数 ptr 指向的空间不是动态开辟的,那free函数的⾏为是未定义的。

如果参数 ptr 是NULL指针,则函数什么事都不做。

返回值:

不反回任何值。

    //malloc释放动态内存free(arr);//释放函数arr = NULL;//将指针置为空//calloc释放动态内存free(num);num = NULL;//realloc释放动态内存free(ptr);ptr = NULL;

3.0 动态内存常见的错误 

3.1 对空指针解引用

 void test(){int *p = (int *)malloc(INT_MAX/4);*p = 20;//如果p的值是NULL,就会有问题free(p);}

3.2 对动态开辟空间的越界访问

void test()
{int i = 0;int* p = (int*)malloc(10 * sizeof(int));if (NULL == p){exit(EXIT_FAILURE);}for (i = 0; i <= 10; i++){*(p + i) = i;//当i=10的时候越界访问}free(p);
}

3.3 对⾮动态开辟内存使⽤free释放


void test()
{int a = 20;int* p = &a;free(p);
}

3.4 动态开辟内存忘记释放(内存泄漏)

void test()
{int* p = (int*)malloc(100);if (NULL != p){*p = 20;}
}
int main()
{test();while (1);
}

忘记释放动态内存空间会造成内存泄漏。

3.5 对同⼀块动态内存多次释放

void test()
{int* p = (int*)malloc(100);free(p);free(p);//重复释放
}

3.6 使⽤free释放⼀块动态开辟内存的⼀部分

void test()
{int* p = (int*)malloc(100);p++;free(p);//p不再指向动态内存的起始位置
}

4.0 柔性数组

4.1 什么是柔性数组

在结构体中,最后一个

成员是数组,且数组没有指定大小,这个数组就是柔性数组

struct S1
{char c;int n;int arr[];//柔性数组
};struct S2
{char c;int n;int arr[0];//柔性数组
};

 s1和s2写法不一样,但这都是柔性数组,有的编译器支持s1有的支持s2。

4.2 柔性数组的特点

  • 结构中的柔性数组成员前⾯必须⾄少⼀个其他成员。
  • sizeof 返回的这种结构⼤⼩不包括柔性数组的内存
  • 包含柔性数组成员的结构⽤malloc ()函数进⾏内存的动态分配,并且分配的内存应该⼤于结构的⼤⼩,以适应柔性数组的预期⼤⼩。
struct S
{char c;int n;int arr[0];//柔性数组
};
int main()
{struct s1* p = (struct s1*)malloc(sizeof(struct s1) + 5 * sizeof(int));//sizeof(struct s1)是给char c和int n申请的内存空间//而5 * sizeof(int)是给柔性数组申请的if(p == NULL){perror("malloc error");return 1;}printf("%zd", sizeof(struct s1));return 0;
}

打印结果:

realloc可以额外申请空间,这就是的数组变得可大可小,这就是柔性数组。

4.3 柔性数组的使用

//代码1#include<stdio.h>
#include<stdlib.h>
struct S
{int n;int arr[];
};
int main()
{struct S* p = (struct S*)malloc(sizeof(struct S) + sizeof(int) * 10);if (p == NULL){perror("malloc error");return 1;}p->n = 10;//初始化for (int i = 0; i < 10; i++){p->arr[i] = i;}struct S* ptr = (struct S*)realloc(p, sizeof(struct S) + 10 * sizeof(int));//空间不够调整空间if (ptr != NULL){p = ptr;}printf("%d ", p->n);//打印for (int i = 0; i < 10; i++){printf("%d ", p->arr[i]);}free(p);//释放空间p = NULL;return 0;
}

4.4 柔性数组的优势

//代码2
#include<stdio.h>
#include<stdlib.h>
struct S
{int n;int* arr;
};
int main()
{struct S* p = (struct S*)malloc(sizeof(struct S) + sizeof(int) * 5);if (p == NULL){perror("malloc error");return 1;}p->n = 11;for (int i = 0; i < 5; i++){p->arr[i] = i;}printf("%d ", p->n);for (int i = 0; i < 10; i++){printf("%d ", p->arr[i]);}//若空间不够调整空间int* ptr = (int*)realloc(p->arr,  10 * sizeof(int));if (ptr != NULL){p->arr = ptr;}//使用...//释放空间free(p->arr);free(p);p = NULL;
}

通过对两者的使用和比较,柔性数组更甚一筹。

优势有2:

 1.方便内存释放:在函数给其他人使用时,代码在里面进行了二次分配,并把整个结构体返回给⽤ ⼾。⽤⼾调⽤free可以释放结构体,但是⽤⼾并不知道这个结构体内的成员也需要free。如果我们把结构体的内存以及其成员要的内存⼀次性分配好了,并返 回给⽤⼾⼀个结构体指针,那么只需要free一次就能释放。

2.利于访问速度:连续的内存有益于提⾼访问速度,也有益于减少内存碎⽚。(其实,我个⼈觉得也没多⾼了,反正你 跑不了要⽤做偏移量的加法来寻址。


感谢各位大佬莅临,如有错误欢迎指出,共同学习进步。 

这篇关于探索动态内存开辟的奥秘的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/959951

相关文章

深入探索协同过滤:从原理到推荐模块案例

文章目录 前言一、协同过滤1. 基于用户的协同过滤(UserCF)2. 基于物品的协同过滤(ItemCF)3. 相似度计算方法 二、相似度计算方法1. 欧氏距离2. 皮尔逊相关系数3. 杰卡德相似系数4. 余弦相似度 三、推荐模块案例1.基于文章的协同过滤推荐功能2.基于用户的协同过滤推荐功能 前言     在信息过载的时代,推荐系统成为连接用户与内容的桥梁。本文聚焦于

AI(文生语音)-TTS 技术线路探索学习:从拼接式参数化方法到Tacotron端到端输出

AI(文生语音)-TTS 技术线路探索学习:从拼接式参数化方法到Tacotron端到端输出 在数字化时代,文本到语音(Text-to-Speech, TTS)技术已成为人机交互的关键桥梁,无论是为视障人士提供辅助阅读,还是为智能助手注入声音的灵魂,TTS 技术都扮演着至关重要的角色。从最初的拼接式方法到参数化技术,再到现今的深度学习解决方案,TTS 技术经历了一段长足的进步。这篇文章将带您穿越时

轻松录制每一刻:探索2024年免费高清录屏应用

你不会还在用一些社交工具来录屏吧?现在的市面上有不少免费录屏的软件了。别看如软件是免费的,它的功能比起社交工具的录屏功能来说全面的多。这次我就分享几款我用过的录屏工具。 1.福晰录屏大师 链接直达:https://www.foxitsoftware.cn/REC/  这个软件的操作方式非常简单,打开软件之后从界面设计就能看出来这个软件操作的便捷性。界面的设计简单明了基本一打眼你就会轻松驾驭啦

深入探索嵌入式 Linux

摘要:本文深入探究嵌入式 Linux。首先回顾其发展历程,从早期尝试到克服诸多困难逐渐成熟。接着阐述其体系结构,涵盖硬件、内核、文件系统和应用层。开发环境方面包括交叉编译工具链、调试工具和集成开发环境。在应用领域,广泛应用于消费电子、工业控制、汽车电子和智能家居等领域。关键技术有内核裁剪与优化、设备驱动程序开发、实时性增强和电源管理等。最后展望其未来发展趋势,如与物联网融合、人工智能应用、安全性与

【vue3|第28期】 Vue3 + Vue Router:探索路由重定向的使用与作用

日期:2024年9月8日 作者:Commas 签名:(ง •_•)ง 积跬步以致千里,积小流以成江海…… 注释:如果您觉在这里插入代码片得有所帮助,帮忙点个赞,也可以关注我,我们一起成长;如果有不对的地方,还望各位大佬不吝赐教,谢谢^ - ^ 1.01365 = 37.7834;0.99365 = 0.0255 1.02365 = 1377.4083;0.98365 = 0.0006 说

多云架构下大模型训练的存储稳定性探索

一、多云架构与大模型训练的融合 (一)多云架构的优势与挑战 多云架构为大模型训练带来了诸多优势。首先,资源灵活性显著提高,不同的云平台可以提供不同类型的计算资源和存储服务,满足大模型训练在不同阶段的需求。例如,某些云平台可能在 GPU 计算资源上具有优势,而另一些则在存储成本或性能上表现出色,企业可以根据实际情况进行选择和组合。其次,扩展性得以增强,当大模型的规模不断扩大时,单一云平

探索Invoke:Python自动化任务的瑞士军刀

文章目录 探索Invoke:Python自动化任务的瑞士军刀背景:为何选择Invoke?`invoke`是什么?如何安装`invoke`?简单的`invoke`库函数使用方法场景应用:`invoke`在实际项目中的使用场景一:自动化测试场景二:代码格式化场景三:部署应用 常见问题与解决方案问题一:命令执行失败问题二:权限不足问题三:并发执行问题 总结 探索Invoke:P

使用亚马逊Bedrock的Stable Diffusion XL模型实现文本到图像生成:探索AI的无限创意

引言 什么是Amazon Bedrock? Amazon Bedrock是亚马逊云服务(AWS)推出的一项旗舰服务,旨在推动生成式人工智能(AI)在各行业的广泛应用。它的核心功能是提供由顶尖AI公司(如AI21 Labs、Anthropic、Cohere、Meta、Mistral AI、Stability AI以及亚马逊自身)开发的多种基础模型(Foundation Models,简称FMs)。

探索Python的数学魔法:Numpy库的神秘力量

文章目录 探索Python的数学魔法:Numpy库的神秘力量背景:为什么选择Numpy?Numpy是什么?如何安装Numpy?五个简单的库函数使用方法场景应用常见Bug及解决方案总结 探索Python的数学魔法:Numpy库的神秘力量 背景:为什么选择Numpy? 在Python的世界中,数据处理和科学计算是不可或缺的一部分。但原生Python在处理大规模数据时可能会显

【Linux】探索进程优先级的奥秘,解锁进程的调度与切换

目录 进程优先级: 是什么? 为什么存在进程优先级的概念呢? Linux为什么调整优先级是要受限制的? PRI vs NICE Linux的调度与切换 概念准备: 那我们到底怎样完成进程的调度和切换呢? 区分:寄存器VS寄存器的内容 Linux实现进程调度的算法,需要考虑优先级,考虑进程饥饿问题,考虑效率问题。 解决优先级问题: 解决进程饥饿问题: 解决效率的问题: