资深同事教我做人:堆上分配的内存,只free就完事儿了?

2023-12-19 14:32

本文主要是介绍资深同事教我做人:堆上分配的内存,只free就完事儿了?,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

malloc要和free成对使用,malloc的内存,free就完事儿了吗?

最近的工作是和另一位资深同事一起,修复组里新老项目上可能存在的一些安全漏洞,包括参数检查和内存释放。参数检查倒还ok,在每个函数开始出对入口参数判空。这一点老代码做得很好,所以这部分工作量很小。关键是内存的释放。 

new之后,delete了吗?malloc之后,free了吗?

准确说,是及时释放堆上动态分配的内存。作为基础知识都知道(而且书上也反复提到过),堆上动态分配的内存,诸如malloc,calloc,在使用完后要释放掉。然而在没养成良好编程习惯或者遵守编程规范的时候,往往只考虑实现功能,而没有考虑过内存泄露。

不禁回想起硕士期间开发的机器人仿真软件,为了论文需要,我专门增加了一个实时显示软件占用内存的模块。实现之后发现,在软件仿真的过程中,占用内存越来越多;反复运行仿真模块时,内存持续增加,巅峰时达到500多M。这就是因为软件里只new却不delete。那时不论是实验室还是项目公司,全部注意都在软件功能实现和炫酷上,所以压根儿不考虑内存问题。

公司里却不一样。一方面,要做成熟的产品,各方面性能需要达到最优;另一方面,资深同事review代码时会查到哪里存在内存泄漏;再者,检测工具也会查到这些内存泄漏点。

堆上内存分配的方式

堆内存是区别于栈区、全局数据区和代码区的另一个内存区域。堆允许程序在运行时动态地申请某个大小的内存空间。

1.mallloc

malloc的全称是memory allocation,用于申请一块连续的指定大小的内存块区域void*类型返回分配的内存区域地址。使用示例如下。调用malloc后需要判断malloc是否成功。

#define BUFFER_SIZE 5int *buffer = (int*)malloc(BUFFER_SIZE * sizeof(int));if (NULL == buffer){printf("malloc failed!\n");return;}

malloc申请的内存在申请后不会初始化,如下代码,打印出刚分配得到的内存块的值,可以看到是未初始化的随机值:

#define BUFFER_SIZE 5int *buffer = (int*)malloc(BUFFER_SIZE * sizeof(int));if (NULL == buffer){printf("malloc failed!\n");return -1;}for (int i = 0; i < BUFFER_SIZE; i++){printf("%d \t", buffer[i]);}

为避免在开辟到内存块后在未经初始化时就误用到这块内存,更好的方法是在malloc后将该内存块初始化为0(或者指定值)

#define BUFFER_SIZE 5int *buffer = (int*)malloc(BUFFER_SIZE * sizeof(int));if (NULL == buffer){printf("malloc failed!\n");return -1;}memset(buffer, 0, BUFFER_SIZE * sizeof(int));

2.calloc

在内存的动态存储区中分配num个长度为size的连续空间,函数返回一个指向分配起始地址的void*指针;如果分配不成功,返回NULL。

	// void* calloc(unsigned int num,unsigned int size)int *buffer2 = (int*)calloc(BUFFER_SIZE, sizeof(int));if (NULL == buffer2){printf("calloc failed!\n");return -1;}

calloc申请的内存在申请后会被初始化为0,所以可以不必再次初始化为全0。

3.realloc

realloc函数的功能比malloc函数和calloc函数的功能更为丰富,可以实现内存分配和内存释放的功能,其函数声明如下:

	//   para:  p-堆上已经存在空间的地址//   para:  n-空间的大小//void * realloc(void * p, int n);

其中,指针p必须为指向堆内存空间的指针,即由malloc函数、calloc函数或realloc函数分配空间的指针。realloc函数将指针p指向的内存块的大小改变为n字节。如果n小于或等于p之前指向的空间大小,则保持原有状态不变。如果n大于原来p之前指向的空间大小,系统将重新为p从堆上分配一块大小为n的内存空间,同时,将原来指向空间的内容依次复制到新的内存空间上,p之前指向的空间被释放relloc函数分配的空间也是未初始化的

4.new

在C++中,new是经常使用的用于动态分配内存的关键字:

	int *temp = new int(5);

malloc后free,完整操作是什么?

malloc/calloc/realloc分配的内存使用完毕后,应该用free释放掉,这还不算完,还应该把指针置为NULL,如下段代码:


#define BUFFER_SIZE 10int *buffer = (int*)malloc(BUFFER_SIZE * sizeof(int));for (int i = 0; i < 10; i++){buffer[i] = i*i;}free(buffer);buffer = NULL;

很多时候会忘记free,或者free了之后忘了置空。还有的时候,是可能在某个过程把一段分配的内存赋给了另一个指针,free了原来的指针后操作另一个指针会有风险。比如下段代码,buffer1和buffer2指向的是同一段内存,如果free了buffer1,其实也相当于free了buffer2了。


void print(char* title, int* buffer, int bufferSize)
{if (title == NULL || buffer == NULL || bufferSize <= 0){printf("Wrong parameters!\n");return;}printf("%s:\n", title);for (int i = 0; i < bufferSize; i++){printf("Address: 0x%p, Value: %d\n", buffer + i, buffer[i]);}printf("\n");
}
int  main()
{
#define BUFFER_SIZE 5int *buffer1 = (int*)malloc(BUFFER_SIZE * sizeof(int));int *buffer2 = buffer1;for (int i = 0; i < BUFFER_SIZE; i++){buffer1[i] = i*i;}print("buffer1", buffer1, BUFFER_SIZE);print("buffer2", buffer2, BUFFER_SIZE);free(buffer1);buffer1 = NULL;print("buffer2", buffer2, BUFFER_SIZE);system("pause");return 0;
}

free并且置为NULL,就完事儿了吗?

这周在开展这一项工作之前,我们先开了个会,会上主管要求我们,free之前先用memset把那段内存清零,然后再free置NULL。理由是,尽管free并置NULL了,但那段内存上的内容可能还在,有被窃取的风险

所以完整的操作如下段代码:


int *buffer1 = (int*)malloc(BUFFER_SIZE * sizeof(int));// Do something on buffer1memset(buffer1, 0, BUFFER_SIZE);
free(buffer1);
buffer1 = NULL;

当然,在memset由calloc分配的内存时,应该设置分配时候的大小,即

memset(buffer, 0, num * size);

free只是告诉编译器,buffer指定的内存可以被重新分配了,但是这段内存上的内容呢?置0?随机值?还是保持原来的值?查了些资料,有说不变的,有说是跟具体编译器相关的,无论如何,看来主管要求的这一步,是很有必要的!

关于malloc分配内存,还有一个tip

同事在review代码时,提示在为一个带有指针变量的结构体malloc一段内存后,如果这个结构体变量要作为传入的参数,在使用之前,应该先memset为0,否则里面的指针值是随机或者未知的,作为传入参数,可能有风险

这篇关于资深同事教我做人:堆上分配的内存,只free就完事儿了?的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



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

相关文章

分辨率三兄弟LPI、DPI 和 PPI有什么区别? 搞清分辨率的那些事儿

《分辨率三兄弟LPI、DPI和PPI有什么区别?搞清分辨率的那些事儿》分辨率这个东西,真的是让人又爱又恨,为了搞清楚它,我可是翻阅了不少资料,最后发现“小7的背包”的解释最让我茅塞顿开,于是,我... 在谈到分辨率时,我们经常会遇到三个相似的缩写:PPI、DPI 和 LPI。虽然它们看起来差不多,但实际应用

Python如何使用__slots__实现节省内存和性能优化

《Python如何使用__slots__实现节省内存和性能优化》你有想过,一个小小的__slots__能让你的Python类内存消耗直接减半吗,没错,今天咱们要聊的就是这个让人眼前一亮的技巧,感兴趣的... 目录背景:内存吃得满满的类__slots__:你的内存管理小助手举个大概的例子:看看效果如何?1.

Redis 内存淘汰策略深度解析(最新推荐)

《Redis内存淘汰策略深度解析(最新推荐)》本文详细探讨了Redis的内存淘汰策略、实现原理、适用场景及最佳实践,介绍了八种内存淘汰策略,包括noeviction、LRU、LFU、TTL、Rand... 目录一、 内存淘汰策略概述二、内存淘汰策略详解2.1 ​noeviction(不淘汰)​2.2 ​LR

Golang基于内存的键值存储缓存库go-cache

《Golang基于内存的键值存储缓存库go-cache》go-cache是一个内存中的key:valuestore/cache库,适用于单机应用程序,本文主要介绍了Golang基于内存的键值存储缓存库... 目录文档安装方法示例1示例2使用注意点优点缺点go-cache 和 Redis 缓存对比1)功能特性

Go使用pprof进行CPU,内存和阻塞情况分析

《Go使用pprof进行CPU,内存和阻塞情况分析》Go语言提供了强大的pprof工具,用于分析CPU、内存、Goroutine阻塞等性能问题,帮助开发者优化程序,提高运行效率,下面我们就来深入了解下... 目录1. pprof 介绍2. 快速上手:启用 pprof3. CPU Profiling:分析 C

nginx upstream六种方式分配小结

《nginxupstream六种方式分配小结》本文主要介绍了nginxupstream六种方式分配小结,包括轮询、加权轮询、IP哈希、公平轮询、URL哈希和备份服务器,具有一定的参考价格,感兴趣的可... 目录1 轮询(默认)2 weight3 ip_hash4 fair(第三方)5 url_hash(第三

golang内存对齐的项目实践

《golang内存对齐的项目实践》本文主要介绍了golang内存对齐的项目实践,内存对齐不仅有助于提高内存访问效率,还确保了与硬件接口的兼容性,是Go语言编程中不可忽视的重要优化手段,下面就来介绍一下... 目录一、结构体中的字段顺序与内存对齐二、内存对齐的原理与规则三、调整结构体字段顺序优化内存对齐四、内

Linux内存泄露的原因排查和解决方案(内存管理方法)

《Linux内存泄露的原因排查和解决方案(内存管理方法)》文章主要介绍了运维团队在Linux处理LB服务内存暴涨、内存报警问题的过程,从发现问题、排查原因到制定解决方案,并从中学习了Linux内存管理... 目录一、问题二、排查过程三、解决方案四、内存管理方法1)linux内存寻址2)Linux分页机制3)

Java循环创建对象内存溢出的解决方法

《Java循环创建对象内存溢出的解决方法》在Java中,如果在循环中不当地创建大量对象而不及时释放内存,很容易导致内存溢出(OutOfMemoryError),所以本文给大家介绍了Java循环创建对象... 目录问题1. 解决方案2. 示例代码2.1 原始版本(可能导致内存溢出)2.2 修改后的版本问题在

大数据小内存排序问题如何巧妙解决

《大数据小内存排序问题如何巧妙解决》文章介绍了大数据小内存排序的三种方法:数据库排序、分治法和位图法,数据库排序简单但速度慢,对设备要求高;分治法高效但实现复杂;位图法可读性差,但存储空间受限... 目录三种方法:方法概要数据库排序(http://www.chinasem.cn对数据库设备要求较高)分治法(常