C语言重点突破(五) 动态内存管理

前言

动态内存管理是指在一个程序运行期间动态地分配、释放和管理内存空间的过程。在应用程序中,当程序需要使用变量或对象时,需要在内存中分配一段空间,并在使用完毕后释放该空间,以提高程序的效率和性能。本文意在介绍常用动态内存函数以及如何使用它们来进行动态内存分配。

本章重点

为什么存在动态内存分配
动态内存函数的介绍
malloc
free
calloc
realloc
常见的动态内存错误
柔性数组

1. 为什么存在动态内存分配

动态内存分配的存在可以带来以下好处:

1.灵活性:动态内存分配允许程序在运行期间动态地分配和释放内存,从而提高了程序的灵活性。这使得程序能够适应不同的输入数据和工作负载,并能在需要时分配足够的内存来完成任务。

2.节省内存:使用动态内存分配可以避免在程序开始运行时分配过多的内存,从而节省内存。当程序不再需要使用某个内存块时,可以将其释放,使得该内存可以被再次使用。

3.提高性能:在某些情况下,动态内存分配可以提高程序的性能。例如,在操作大型数据集时,可以只分配所需的内存块,从而减少内存浪费和内存碎片的可能性,提高程序的运行效率。

总之,动态内存分配允许程序在运行时动态地分配和释放内存,从而提高程序的灵活性、节省内存和提高性能。

在接触动态内存之前,我们申请内存空间的方式都是这样的:

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

但是上述的开辟空间的方式有两个特点:

  1. 空间开辟大小是固定的。

  2. 数组在申明的时候,必须指定数组的长度,它所需要的内存在编译时分配。

但是对于空间的需求,不仅仅是上述的情况。有时候我们需要的空间大小在程序运行的时候才能知道,

那数组的编译时开辟空间的方式就不能满足了。

这时候就只能试试动态存开辟了。

2. 动态内存函数的介绍

1.malloc

c语言提供了一种动态申请内存的函数malloc

void* malloc (size_t size);

这个函数向内存申请一块连续可用的空间,并返回指向这块空间的指针。

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

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

返回值的类型是 void* ,所以malloc函数并不知道开辟空间的类型,具体在使用的时候使用者自己

来决定。

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

2.free

C语言提供了另外一个函数free,专门是用来做动态内存的释放和回收的,函数原型如下:

void free (void* ptr);

free函数用来释放动态开辟的内存。

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

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

malloc和free都声明在 stdlib.h 头文件中。

下面是申请动态内存的示例

#include <stdio.h>
int main()
{
//代码1
int num = 0;
scanf("%d", &num);
int arr[num] = {0};
//代码2
int* ptr = NULL;
ptr = (int*)malloc(num*sizeof(int));
if(NULL != ptr)//判断ptr指针是否为空
{
int i = 0;
for(i=0; i<num; i++)
{
*(ptr+i) = 0;
}
}
free(ptr);//释放ptr所指向的动态内存
ptr = NULL;//是否有必要?
return 0;
}

注意:每次free完后,指向动态内存空间的指针必须置空,当内存释放完后,指针变量仍然存在,此时会指向一个未知的地址,不置空的话就成为了野指针,如果后续在进行调用的话是非常危险的,所以一定要置空。

3.calloc

C语言还提供了一个函数叫 calloc , calloc 函数也用来动态内存分配。原型如下:

void* calloc (size_t num, size_t size);

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

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

#include <stdio.h>
#include <stdlib.h>
int main()
{
int *p = (int*)calloc(10, sizeof(int));
if(NULL != p)
{
//使用空间

}
free(p);
p = NULL;
return 0;
}

所以如何我们对申请的内存空间的内容要求初始化,那么可以很方便的使用calloc函数来完成任务。

4.realloc

realloc函数的出现让动态内存管理更加灵活。

有时会我们发现过去申请的空间太小了,有时候我们又会觉得申请的空间过大了,那为了合理的时

候内存,我们一定会对内存的大小做灵活的调整。那 realloc 函数就可以做到对动态开辟内存大小

的调整。

函数原型如下:

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

ptr 是要调整的内存地址

size 调整之后新大小

返回值为调整之后的内存起始位置。

这个函数调整原内存空间大小的基础上,还会将原来内存中的数据移动到 新 的空间

当对一个空指针使用realloc函数时,其效果相当于对该指针使用melloc函数开辟空间。

在调整空间上,realloc会有两种情况:

情况1

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

情况2

当是情况2 的时候,原有空间之后没有足够多的空间时,扩展的方法是:在堆空间上另找一个合适大小

的连续空间来使用。这样函数返回的是一个新的内存地址。

由于上述的两种情况,realloc函数的使用就要注意一些

3.常见的动态内存错误

1 对NULL指针的解引用操作

对NULL指针的解引用操作是一种未定义行为,可能导致程序崩溃或其他未知行为。在C/C++中,NULL指针是一种特殊的指针,其取值为0,在进行指针解引用操作时,程序会试图访问地址为0的内存,这个地址是无效的,可能会导致程序崩溃。因此,在进行指针解引用操作之前,应该先检查指针是否为NULL,否则可能会出现难以调试的错误。

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

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

对动态开辟空间的越界访问也是一种未定义行为,可能导致程序崩溃或其他未知行为。当我们使用malloc或new等函数在堆上动态开辟空间时,如果我们访问这些内存空间之外的位置,就会导致指针指向了非法的内存地址。这个地址的数据可能是其他程序的数据,也可能是系统保留的数据,这些数据都是不属于我们的程序的,可能会导致程序崩溃,或者产生其他的不可预测的行为。因此,在使用malloc或new等函数动态开辟空间后,我们应该尽可能地避免越界访问,确保我们只访问我们申请的内存空间。一种避免越界访问的方法是使用数组越界检查工具,如ASan或Valgrind等。

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 对非动态开辟内存使用free释放

对非动态开辟内存使用free释放可能会导致程序崩溃或其他未知行为。在C/C++中,我们可以使用malloc/new等函数在堆上动态开辟内存,然后使用free/delete等函数来释放内存。但是,对于非动态开辟的内存,如全局变量、静态变量、局部变量等,我们不能使用free/delete等函数释放内存。

在C/C++中,对于非动态开辟的内存,内存的分配和释放都是由编译器自动完成的。当程序运行结束时,编译器会自动释放所有的内存。如果程序中使用了free/delete等函数来释放非动态开辟的内存,会导致内存被重复释放,从而可能导致程序崩溃或其他未知行为。

因此,当我们需要释放内存时,只需要释放动态开辟的内存即可,对于非动态开辟的内存,不要手动进行释放操作。

void test()
{
int a = 10;
int *p = &a;
free(p);//ok?
}

4 使用free释放一块动态开辟内存的一部分

使用 free 释放一块动态开辟内存的一部分是不安全的做法。因为 free 函数只能释放整块动态开辟的内存,一旦释放了内存的一部分,就会导致内存破坏或内存泄漏的问题。

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

5 对同一块动态内存多次释放

也称作"double free",会导致程序运行时不可预测的行为,比如崩溃、内存泄漏、数据损坏等。操作系统在释放一块内存后,会将这块内存标记为可用,再次释放已经被释放的块,会导致操作系统数据结构出现问题。

为了避免这种错误,我们需要使用合适的内存管理技术,如内存池、智能指针等。此外,还需要严格遵守内存分配和释放的规范,确保每块动态分配的内存都有对应的释放。

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

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

动态开辟内存后忘记释放会导致内存泄漏,即程序运行时分配的内存无法被释放,导致系统内存占用不断增加。如果内存泄漏严重,系统内存将会耗尽,导致程序崩溃或无法运行。

为避免动态开辟内存后忘记释放,我们应当严格遵循内存分配和释放的规范,确保每块动态分配的内存都有对应的释放。当我们不再需要这块内存时,应当使用 free() 函数将其释放。

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

4.C/C++程序的内存开辟

来看看下面这张图

C/C++程序内存分配的几个区域:

  1. 栈区(stack):在执行函数时,函数内局部变量的存储单元都可以在栈上创建,函数执行结

束时这些存储单元自动被释放。栈内存分配运算内置于处理器的指令集中,效率很高,但是

分配的内存容量有限。 栈区主要存放运行函数而分配的局部变量、函数参数、返回数据、返

回地址等。

  1. 堆区(heap):一般由程序员分配释放, 若程序员不释放,程序结束时可能由OS回收 。分

配方式类似于链表。

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

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

5.柔性数组

柔性数组(flexible array)是C99标准中的一个特性,也被称为变长数组(variable length array,VLA)。它允许在结构体内部定义一个可以动态调整长度的数组。

在柔性数组出现之前,我们需要在结构体中定义一个指针,然后再手动分配内存来存储数组。这样做很麻烦,而且容易出错。柔性数组的出现极大地简化了这个过程,并且使得代码更加清晰和易于维护。

C99 中,结构中的最后一个元素允许是未知大小的数组,这就叫做『柔性数组』成员

typedef struct st_type
{
int i;
int a[0];//柔性数组成员
}type_a;

1 柔性数组的特点

结构中的柔性数组成员前面必须至少一个其他成员。

sizeof 返回的这种结构大小不包括柔性数组的内存。

包含柔性数组成员的结构用malloc ()函数进行内存的动态分配,并且分配的内存应该大于结构的大小,以适应柔性数组的预期大小。

typedef struct st_type
{
int i;
int a[0];//柔性数组成员
}type_a;
printf("%d\n", sizeof(type_a));//输出的是4

2 柔性数组的使用

//代码1
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);

这样柔性数组成员a,相当于获得了100个整型元素的连续空间。

3 柔性数组的优势

//代码2
typedef struct st_type
{
  int i;
  int *p_a;
}type_a;
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;

上述 代码1 和 代码2 可以完成同样的功能,但是 代码1 的实现有两个好处:

第一个好处是:方便内存释放

如果我们的代码是在一个给别人用的函数中,你在里面做了二次内存分配,并把整个结构体返回给用户。用户调用free可以释放结构体,但是用户并不知道这个结构体内的成员也需要free,所以你不能指望用户来发现这个事。所以,如果我们把结构体的内存以及其成员要的内存一次性分配好了,并返回给用户一个结构体指针,用户做一次free就可以把所有的内存也给释放掉。

第二个好处是:这样有利于访问速度.

连续的内存有益于提高访问速度,也有益于减少内存碎片。(其实,我个人觉得也没多高了,反正你跑不了要用做偏移量的加法来寻址)。

相关推荐
Kisorge18 分钟前
【C语言】指针数组、数组指针、函数指针、指针函数、函数指针数组、回调函数
c语言·开发语言
轻口味1 小时前
命名空间与模块化概述
开发语言·前端·javascript
晓纪同学2 小时前
QT-简单视觉框架代码
开发语言·qt
威桑2 小时前
Qt SizePolicy详解:minimum 与 minimumExpanding 的区别
开发语言·qt·扩张策略
飞飞-躺着更舒服2 小时前
【QT】实现电子飞行显示器(简易版)
开发语言·qt
明月看潮生2 小时前
青少年编程与数学 02-004 Go语言Web编程 16课题、并发编程
开发语言·青少年编程·并发编程·编程与数学·goweb
明月看潮生2 小时前
青少年编程与数学 02-004 Go语言Web编程 17课题、静态文件
开发语言·青少年编程·编程与数学·goweb
Java Fans3 小时前
C# 中串口读取问题及解决方案
开发语言·c#
盛派网络小助手3 小时前
微信 SDK 更新 Sample,NCF 文档和模板更新,更多更新日志,欢迎解锁
开发语言·人工智能·后端·架构·c#
Chinese Red Guest3 小时前
python
开发语言·python·pygame