C语言动态内存管理分析总结

 更新时间:2021年11月20日 10:18:23   作者:Ersansui  
C语言中开辟内存有很多种方式,目前我们最常用的也就是数组,但数组是在我们用到他之前就得设定好它的长度,有时很不方便。随意我们来探究动态内存管理

什么是动态内存分配

我们都知道在C语言中,定义变量的时候,系统就会为这个变量分配内存空间,而且这个空间是在栈上开辟的,这种方式就会有两个特点。

  • 开辟的空间大小是固定的
  • 数组在申明的时候,必须要指定数组的长度,以方便为其分配内存大小

但是这种方法并不能满足我们在开发中的需要,因为有时候我们需要开辟的空间大小,是在程序巡行的过程中才能知道要开辟多大的。

这时候,数组的这种开辟方式就不能满足了,因此也就有了动态内存分配的需要。

而动态内存分配,会根据需求而分配空间,大小是可以变化的,并且是在堆区上分配空间,而堆区的内存空间大小一半都会比栈区大。

动态内存函数的介绍

需要需要动态内存管理,需要了解C语言中一下的几个函数。

统一说明:一下的函数都包含在<stdlib.h>中。

free

void free (void* ptr);

为了后面可以进行代码演示,这里先介绍free这个函数。

我们在使用相关函数动态开辟了内存空间之后,函数会返回这片空间的的首地址给使用者,当使用者用完空间之后,需要手动对这片空间进行释放,把内存空间还给操作系统。

如果参数 ptr 指向的空间不是动态开辟的,那free函数的行为是未定义的。
如果参数 ptr 是NULL指针,则函数什么事都不做。
释放的空间是ptr所指向的那块内存空间

上面的第一种情况,有可能编译器会报错。

如果我们仅仅只是开辟空间使用,而不释放的话,会占用内存空间资源,造成内存泄漏,影响性能。

因此,我们需要养成用完就释放的好习惯。

malloc

void* malloc (size_t size);

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

连续可用的特点,就像数组一样。

如果开辟成功,则返回一个指向开辟好空间的指针。
如果开辟失败,则返回一个NULL指针。
返回值的类型是 void* ,因此使用者需要根据自己的需求来转化使用。
如果参数size大小为0,malloc 的行为是标志没有规定的,取决于编译器。

size的大小是按照字节为单位的。

#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;
}

上面的代码就是malloc函数的基本使用过程,在代码1中,这样的使用方法,一般来说编译器是不支持的,而第二种方法,也就是动态内存开辟的方法,编译器就支持。

在最后,记得要把ptr所指向的空间给释放掉。

这个时候,ptr种存储的仍然是那块空间的地址,这就称为了野指针,所以我们还要把ptr置空。

calloc

与malloc类相似的,C语言还提供了另外一个动态开辟内存的函数,那就是calloc。

void* calloc (size_t num, size_t size);

需要注意的是,这个函数的参数有所不同,第一个参数num是用来确定你开辟的连续空间是用来存放多少个元素的,而第二个参数size表示的是一个元素占用多少的字节。

函数的功能是为 num 个大小为 size 的元素开辟一块空间,并且把空间的每个字节初始化为0。
与函数 malloc 的区别只在于 calloc 会在返回地址之前把申请的空间的每个字节初始化为全0。

所以,如果我们需要在动态开辟内存的时候进行初始化,我们可以使用calloc这个函数。

我们可以通过调试的监视窗口来查看这个函数在开辟空间的时候是否帮我们初始化。

#include <stdlib.h>


int main()
{
	int* p = (int*)calloc(10, sizeof(int));
	if (NULL != p)
	{
		//使用空间
	}
	free(p);
	p = NULL;
	return 0;
}

realloc

有时候我们会发现,哪怕是使用上面的动态内存管理的函数,也会有不方便的时候。我们可能会因为空间申请小了不够用而去扩容,但是如果我们使用上面两个函数去开辟更大的空间的时候,之前的数据拷贝过来新开辟的更大的空间又很麻烦。

这个时候,我们就可以使用realloc了。

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

ptr 是要调整的内存地址。
size 调整之后新大小,和malloc一样,是以字节为单位的。
返回值为调整之后的内存起始位置。
这个函数调整原内存空间大小的基础上,还会将原来内存中的数据移动到新的空间。

在realloc函数使用的时候,会出现两种情况:

原有的空间之后还有足够的空间

如果原来的内存空间之后还有足够的空间来满足新的大小,这时候就会直接对原来的空间进行扩容,原来空间的数据不会发生变化。

原有的空间之后没有足够的空间

如果原来的空间之后没有足够的空间满足需要,就会在内存区域中开辟一片能够满足新的大小需要的连续空间,并且把原来空间的数据拷贝的新的空间中,释放原来的空间,返回新的地址。

#include <stdio.h>

int main()
{
	int* ptr = (int*)malloc(100);
	if (ptr != NULL)
	{
		//业务处理
	}
	else
	{
		exit(EXIT_FAILURE);
	}

	//扩展容量

	//代码1
	ptr = (int*)realloc(ptr, 1000);
	
	//代码2
	int* p = NULL;
	p = realloc(ptr, 1000);
	if (p != NULL)
	{
		ptr = p;
	}
	//业务处理
	free(ptr);
	return 0;
}

上述代码种,代码1的做法是不安全的,如果我们扩容失败后,会返回空指针,这个时候,ptr接收了空指针,就会造成ptr原来的那块空间的数据丢失,并且造成内存泄漏。

因此,一般我们都需要像代码2那样,先用一个临时的指针变量接收返回值,并且在判定不为空指针后再复制给ptr。

动态内存管理中常见的错误

我们在使上面这些函数的时候,会经常出现一下的错误。

对NULL指针的解引用操作

void test()
{
	int* p = (int*)malloc(INT_MAX / 4);

	//没有进行判空,就直接使用空间
	*p = 20;//如果p的值是NULL,就会有问题
	free(p);
}

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

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);
}

对非动态开辟内存使用free释放

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

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

void test()
{
	int* p = (int*)malloc(100);
	p++;
	free(p);//p不再指向动态内存的起始位置
	//这样做一般编译器也会报错的
}

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

void test()
{
	int* p = (int*)malloc(100);
	free(p);
	free(p);//重复释放,一般来说,编译器会报错
}

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

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

我们在使用上面的函数的时候,一定要小心,避免上面的这些错误。

一些经典的笔试题

题目1

void GetMemory(char* p)
{
	p = (char*)malloc(100);
}
void Test(void)
{
	char* str = NULL;
	GetMemory(str);
	strcpy(str, "hello world");
	printf(str);
}

上面的代码有错,在开辟空间后,没有进行判空操作,并且在调用GetMemory函数的时候,传入的形参是str的一份临时拷贝,在函数内部p的改变不会改变main中的str,所以在GetMemory返回的时候,p所指向的空间会泄漏,并且在strcpy中,造成了对空指针的解引用操作。

题目2

char* GetMemory(void)
{
	char p[] = "hello world";
	return p;
}
void Test(void)
{
	char* str = NULL;
	str = GetMemory();
	printf(str);
}

这段代码也是错误的,在GetMemory中,不是用动态内存管理的函数来开辟空间,而是使用数组的开辟方式,这样的开辟方式会在栈区开辟空间,当GetMemory函数调用完成的时候,就会销毁开辟的数组,这时候,外面的str接收了返回的数组的地址,就会变成一个野指针。

题目3

void GetMemory(char** p, int num)
{
	*p = (char*)malloc(num);
}
void Test(void)
{
	char* str = NULL;
	GetMemory(&str, 100);
	strcpy(str, "hello");
	printf(str);
}

上面的代码在使用完成动态开辟的空间后没有进行判空操作,并且没有进行内存释放,造成了内存泄漏。

题目4

void Test(void)
{
	char* str = (char*)malloc(100);
	strcpy(str, "hello");
	free(str);
	if (str != NULL)
	{
		strcpy(str, "world");
		printf(str);
	}
}

上面的代码提前释放了空间,后面又使用指针对已经释放的空间进行操作,这是非法的,释放后,指向这块空间的指针就是野指针,需要进行置空。

柔性数组

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

例如:

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

如果有的编译器报错,可以改成下面这个样子

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

柔性数组的特点

结构中的柔性数组成员前面必须至少一个其他成员。
sizeof 返回的这种结构大小不包括柔性数组的内存。
包含柔性数组成员的结构用malloc ()函数进行内存的动态分配,并且分配的内存应该大于结构的大小,以适应柔性数组的预期大小。

例如:

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

//代码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个整型元素的连续空间。

柔性数组的优势

上面的代码也可以这样设计:

//代码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 的实现有两个好处:

  • 方便内存释放
  • 这样有利于访问速度

到此这篇关于C语言动态内存管理分析总结的文章就介绍到这了,更多相关C语言 动态内存管理内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家!

相关文章

  • 详解C++17中类模板参数推导的使用

    详解C++17中类模板参数推导的使用

    自C++17起就通过使用类模板参数推导,只要编译器能根据初始值推导出所有模板参数,那么就可以不指明参数,下面我们就来看看C++17中类模板参数推导的具体使用吧
    2024-03-03
  • c语言简单实现文件 r/w 操作方法

    c语言简单实现文件 r/w 操作方法

    由于在 C 语言中 '\' 一般是转义字符的起始标志,故在路径中需要用两个 '\' 表示路径中目录层次的间隔,也可以使用 '/' 作为路径中的分隔符,本文重点给大家介绍用c语言简单实现文件 r/w 操作方法,感兴趣的朋友一起学习吧
    2021-05-05
  • Qt数据库应用之实现通用数据库清理

    Qt数据库应用之实现通用数据库清理

    项目如果需要存储很多日志记录比如运行日志,时间长了记录数量非常多,数据库体积不断增大,对应数据库表的增删改查的效率不断降低,因此需要将早期的数据清理。本文将详细介绍一下通用数据库清理的实现,需要的可以参考一下
    2022-02-02
  • C语言中fchdir()函数和rewinddir()函数的使用详解

    C语言中fchdir()函数和rewinddir()函数的使用详解

    这篇文章主要介绍了C语言中fchdir()函数和rewinddir()函数的使用详解,是C语言入门学习中的基础知识,需要的朋友可以参考下
    2015-09-09
  • C基础 redis缓存访问详解

    C基础 redis缓存访问详解

    下面小编就为大家带来一篇C基础 redis缓存访问详解。小编觉得挺不错的,现在就分享给大家,也给大家做个参考。一起跟随小编过来看看吧
    2016-06-06
  • C++从一个文件夹中读出所有txt文件的方法示例

    C++从一个文件夹中读出所有txt文件的方法示例

    这篇文章主要给大家介绍了关于C++从一个文件夹中读出所有txt文件的相关资料,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧。
    2018-03-03
  • visual studio 2013中配置opencv图文教程 Opencv2.4.9安装配置教程

    visual studio 2013中配置opencv图文教程 Opencv2.4.9安装配置教程

    这篇文章主要为大家详细介绍了Opencv2.4.9安装教程,以及在visualstudio 2013中opencv的配置步骤,具有一定的参考价值,感兴趣的小伙伴们可以参考一下
    2017-04-04
  • C/C++之long int与long long的区别及说明

    C/C++之long int与long long的区别及说明

    这篇文章主要介绍了C/C++之long int与long long的区别及说明,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教
    2023-08-08
  • 使用mmap实现多进程对大文件拷贝

    使用mmap实现多进程对大文件拷贝

    这篇文章主要介绍了使用mmap实现多进程对大文件拷贝,文中示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下
    2019-10-10
  • QT中对Mat类的一些操作详解

    QT中对Mat类的一些操作详解

    本文主要介绍了QT中对Mat类的一些操作详解,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧
    2022-06-06

最新评论