C语言中的动态内存管理

「已注销」

已于 2024-04-07 22:04:26 修改

阅读量1.5k

点赞数 46

文章标签： c语言笔记 java 算法

于 2024-03-29 21:09:18 首次发布

本文链接：https://blog.csdn.net/2301_80168869/article/details/137156378

版权

C语言中的动态内存管理

动态内存分配的原因

我们已经掌握的内存开辟放式有：

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

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

开辟的空间开辟大小是固定的
数组在申明的时候，必须指定数组的长度，数组空间一旦确定了大小不能调整

但是对于空间的需求，不仅仅是上述的情况。有时候我们需要大小在程序运行的时候才能知道，那数组的编译时开辟空间的方式就不能满足了。 C语言引入了动态内存开辟，让程序员自己可以申请和释放空间，就比较灵活了。

malloc( ) 函数与 free( ) 函数

注意：上述两种函数的使用需要包含头文件**<stdlib.h>**

malloc( ) 函数：

C语言提供了一个动态内存开辟的函数：

void* malloc(size_t size);//参数size表示想要开辟的内存大小，单位为字节(B)，返回值为开辟内存的起始地址

注意事项：

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

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

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

如果参数 size 的值为0，那么多malloc( ) 的行为是标准是未定义的，取决于编译器

free( ) 函数

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

void free (void* ptr);

free( ) 函数是用来释放动态开辟的内存

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

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

注意：malloc( ) 函数和free( ) 函数都声明在 <stdlib.h> 头文件中。

使用案例：

#include<stdio.h>
#include<stdlib.h>
#include<assert.h>
int main()
{
	int* pm = (int*)malloc(10 * sizeof(int));
	assert(pm != NULL);
	for (int i = 0; i < 10; i++) {
		*(pm + i) = i + 1;
	}
	for (int i = 0; i < 10; i++) {
		printf("%d ", *(pm + i));
	}
	free(pm);
	return 0;
}

calloc( ) 函数和realloc( ) 函数

calloc( ) 函数

calloc( ) 函数也是用来动态开辟空间的，声明如下：

void* calloc (size_t num, size_t size);

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

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

例如：

#include<stdio.h>
#include<stdlib.h>
#include<assert.h>
int main()
{
	int* pm = (int*)calloc(5, sizeof(int));
	assert(pm != NULL);
	for (int i = 0; i < 5; i++) {
		printf("%d ", *(pm + i));
	}
	free(pm);
	return 0;
}

输出结果：0 0 0 0 0

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

realloc( ) 函数

realloc( ) 函数可以让动态内存管理更加灵活，使用该函数让我们可以对内存的大小做灵活的调整

函数声明：

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

ptr 是要调整的内存地址，size 调整之后新大小，返回值为调整之后的内存起始位置

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

注意：realloc( ) 在调整内存空间的存在以下两种情况：

情况一：原有空间之后有足够大的空间

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

若为情况一，想要扩展内存就直接在原有内存之后直接追加空间，原来空间的数据不发生变化

若为情况二，原有空间之后没有足够多的空间时，那么该函数会在堆空间上另找一个合适大小的连续空间来使用，然后函数返回一个新的内存地址

使用案例：

#include<stdio.h>
#include<assert.h>
#include<stdlib.h>
int main()
{
	int* p = (int*)calloc(5, sizeof(int));
	assert(p != NULL);
	int* ptr = (int*)realloc(p, 10 * sizeof(int));
	assert(ptr != NULL);
	p = ptr;
	for (int i = 0; i < 10; i++) {
		*(p + i) = i + 1;
		printf("%d ", *(p + i));
	}
	free(p);
	return 0;
}

我们可以通过assert( ) 断言，判断内存申请和调整是否存在失败的状况，检查过后在对指针进行解引用和赋值，这样可以避免野指针的出现，防止程序崩溃。

有关动态内存管理的常见错误

对NULL指针解引用造成的问题

#include<stdio.h>
#include<stdlib.h>
#include<limits.h>
int main()
{
	int* p = (int*)malloc(INT_MAX * INT_MAX);
	*p = 100;
	printf("%d", *p);
    free(p);
	return 0;
}

由于申请的空间过大导致申请失败，函数返回空指针。

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

和数组的越界访问一样，均会造成程序崩溃

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

#include<stdlib.h>
int main()
{
	int arr[10] = { 0 };
	int* p = arr;
	free(p);
	return 0;
}

free( ) 函数只能用来释放动态开辟的内存空间，释放一般的空间会导致程序崩溃。

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

#include<stdlib.h>
int main()
{
	int* p = malloc(20);
	p++;
	free(p);
	return 0;
}

若想要释放内存，我们要保证通过函数获得的指针不发生变化。

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

#include<stdlib.h>
int main()
{
	int* p = malloc(20);
	free(p);
	free(p);
	return 0;
}

对一块内存空间只能释放一次。

动态开辟内存忘记释放（内存泄漏）

include<stdlib.h>
void test()
{
	int* p = (int*)malloc(100);
	if (p!=NULL){
		*p = 20;
	}
}
int main()
{
	while (1) {
		test();
	}
	return 0;
}

while-loop 不断循环，没有机会释放内存。

忘记释放不再使用的动态开辟的空间会造成内存泄漏。

切记：动态开辟的空间一定要释放，并且要正确释放。

动态内存经典笔试题分析

注意：为了方便演示，不考虑动态内存管理失败的问题。

题目一：

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

分析过程：char*类型的指针p为形参，单独开辟一块空间，当函数 GetMemory( ) 运行结束后，p指向的地址被销毁，这时str就还是空指针，所以无法输出str字符串，并且需要注意内存的释放。

其实就类似于swap( ) 函数，传值调用时无法交换a与b的值。

修改方法：

void GetMemory(char** p)
{
	*p = (char*)malloc(100);
}
void Test()
{
	char* str = NULL;
	GetMemory(&str);
	strcpy(str, "hello world");
	printf(str);
	free(str);
	str = NULL;
}
int main()
{
	Test();
	return 0;
}

解析：由传值调用改为传址调用，想要在函数内部修改参数，需要找到它的地址。

例如：

void swap(int* a, int* b)
{
	int tmp = 0;
	tmp = *a;
	*a = *b;
	*b = tmp;
}
int main()
{
	int a = 1; 
	int b = 2;
	printf("%p %p\n", &a, &b);//交换前a与b的地址
	swap(&a, &b);
	printf("%p %p\n", &a, &b);//交换后a与b的地址
	printf("%d %d\n", a, b);
	return 0;

输出案例：

010FFC30 010FFC24
010FFC30 010FFC24
2 1

由于传递的是两个变量的指针，使得我们可以直接操作对应的值。实际上这里还是存在传值调用的问题，该函数其实并没对a和b本身做了改变，a与b仍指向原来的地址，只是对应地址中的值发生了变化。

题目二：

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

由于p是一个函数的局部变量数组的首元素地址，当函数GetMemory( ) 运行结束后，p所在的空间就被销毁了，所以p就是野指针。使用指针str去访问p数组就是非法访问。

题目三：

void Test()
{
	char* str = (char*)malloc(100);
	strcpy(str, "hello");
	free(str);
	strcpy(str, "world");
	printf(str);
}
int main()
{
	Test();
	return 0;
}

free( ) 函数处理之后，空间已经被还给操作系统，理论上来说我们已经没有操作权限了，可能会造成非法访问。

柔性数组

在C99标准中，结构体中的最后一个元素允许是未知大小的数组，这就叫做——柔性数组成员。

例如：

struct S1
{
	int a;
	int arr[];//柔性数组成员
}stu1;
struct S2
{
	int b;
	int arr[0];//柔性数组成员
}stu2;

注意：有些编译器支持s1写法，有些编译器支持s2写法。

柔性数组的特点：

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

sizeof( ) 操作符返回的结构大小不包括柔性数组的内存

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

例如：

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

}stu1;
int main()
{
	printf("%d\n", sizeof(stu1));//输出的是4
	return 0;
}

输出结果：4

柔性数组的使用：

代码一：

#include<stdio.h>
#include<stdlib.h>
#include<assert.h>
typedef struct S
{
	int i;
	int arr[];
}stuS;
int main()
{
	stuS* ps = malloc(sizeof(struct S) + 5 * sizeof(int));//设置柔性数组的长度
	assert(ps != NULL);
	ps->i = 10;
	for (int i = 0; i < 5; i++) {
		ps->arr[i] = i + 1;
	}
	stuS* ps2 = realloc(ps, sizeof(struct S) + 10 * sizeof(int));//使用realloc函数改变柔性数组的长度
	assert(ps2 != NULL);
	ps = ps2;
	for (int i = 5; i < 10; i++) {
		ps->arr[i] = i + 1;
	}
	//打印柔性数组
	for (int j = 0; j < 10; j++) {
		printf("%d ", ps->arr[j]);
	}
	free(ps);//内存释放
	ps = NULL;
	return 0;
}

如果我们将上述代码改写为指针形式：

代码二：

#include<stdio.h>
#include<stdlib.h>
#include<assert.h>
//模拟柔性数组的实现
typedef struct S
{
	int i;
	int* arr;
}stuS;
int main()
{
	stuS* ps = malloc(sizeof(stuS));
	ps->arr = malloc(5 * sizeof(int));
	assert((ps != NULL) && (ps->arr != NULL));
	ps->i = 10;
	for (int i = 0; i < 5; i++) {
		*(ps->arr + i) = i + 1;
	}
	int* parr2 = realloc(ps->arr, 10 * sizeof(int));
	assert(parr2 != NULL);
	ps->arr = parr2;
	for (int i = 5; i < 10; i++) {
		*(ps->arr + i) = i + 1;
	}
	for (int i = 0; i < 10; i++) {
		printf("%d ", *(ps->arr + i));
	}
	free(ps->arr);
	ps->arr = NULL;
	free(ps);
	ps = NULL;
	return 0;
}

也可以正常实现打印的功能，但是还是使用柔性数组比较好，使用代码一可以方便我们对内存的释放，也可以加快访问速度。

C/C++程序中程序内存区域划分

C/C++程序内存分配的区域：
- 栈区（stack）：在执行函数时，函数内局部变量的存储单元都可以在栈上创建，函数执行结束时这些存储单元会自动被释放。栈内存分配运算内置于处理器的指令集中，效率很高，但是分配的内存容量有限。栈区主要存放运行函数而分配的局部变量、函数参数、返回数据、返回地址。
- 堆区（heap）：⼀般由程序员分配释放（例如malloc( ) 等内存函数），若程序员不释放，程序结束时可能由操作系统回收。分配式类似于链表数据段。
- 静态区（static）：又名数据段，存放全局变量、静态数据。程序结束后由系统释放代码段：存放函数体（类成员函数和全局函数）的二进制代码。

「已注销」

关注

46
点赞
踩
27

收藏

觉得还不错? 一键收藏
1
评论
C语言中的动态内存管理

但是对于空间的需求，不仅仅是上述的情况。分析过程：char*类型的指针p为形参，单独开辟一块空间，当函数 GetMemory( ) 运行结束后，p指向的地址被销毁，这时str就还是空指针，所以无法输出str字符串，并且需要注意内存的释放。由于p是一个函数的局部变量数组的首元素地址，当函数GetMemory( ) 运行结束后，p所在的空间就被销毁了，所以p就是野指针。包含柔性数组成员的结构体使用 malloc( ) 函数进行内存的动态分配，并且分配的内存应该大于该结构体的大小，以适应柔性数组的预期的大小。
复制链接

扫一扫