【深度解刨C语言】内存管理(详)

舜华丶

已于 2023-05-16 20:31:07 修改

阅读量541

点赞数 3

分类专栏： C语言深度解刨文章标签： c语言

于 2023-04-03 20:00:59 首次发布

本文链接：https://blog.csdn.net/Shun_Hua/article/details/129935570

版权

C语言深度解刨专栏收录该内容

6 篇文章 0 订阅

订阅专栏

文章目录

前言
一.动态内存

前言

前提:

内存有基本的认识
内存函数基本的了解

如果你对内存与内存函数太不清楚可以看:动态内存管理

目标:

为什么要用动态内存？
内存的布局
free只有一个参数，怎么将内存函数在堆上开辟的空间进行释放?

一.动态内存

1.动态内存的用处

int main()
{
	char arr[1024*1024]={0};
	return 0;
}

结果:
代码异常退出
在这里插入图片描述
当我们在栈上开辟1MB的大小的空间时超出了堆栈的大小。

注意:
堆栈==栈
堆栈!=堆
本文的堆是程序的空间，而在数据结构中，堆是一种完全二叉树的非线性结构！

结论:

栈的空间很小，大约为1MB。
堆的空间很大,大约为2GB
因此:动态内存,是为了满足更大数据的需求！

为什么要用动态内存？

2.内存的布局

在这里插入图片描述

这里的储存空间并不是内存！而是进程虚拟地址空间！
补充:具体涉及到操作系统的知识,只需了解即可！

简单证明内存布局

#include<stdio.h>
#include <stdlib.h>
int add()
{
  return 0;
}
int g_val;//初始化的全局变量
int g_val_1 = 0;//未初始化的全局变量
int main()
{

	int a = 0;//栈区的变量
	int* arr = (int*)malloc(sizeof(int) * 20);//将堆区的地址赋值给arr
	char* str = "abcdef";//将字符常量区的地址赋值跟str
	
	printf("字符常量区:            %p\n", str);
	printf("初始化的全局变的内存:  %p\n", &g_val_1);
	printf("未初始化全局变量的内存:%p\n", &g_val);
	printf("堆区:                  %p\n", arr);
	printf("栈区:                  %p\n", &a);

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

方法:假设法证明
结论成立:从字符常量区的变量的地址到栈区的地址呈现增大趋势

结果:
在这里插入图片描述

总结：
1.VS2019做了优化，我们看不到实际的内存地址。
2.Linux下很显然栈的地址远远大于堆的地址。
结论:假设成立,结论成立！

栈向下生长的证明

同理

只需证明: 不断开辟变量，地址呈现减小的趋势

#include<stdio.h>

int main()
{
	
	int a = 0;
	int b = 0;
	int c = 0;
	int d = 0;
	printf("a:%p\n", &a);
	printf("b:%p\n", &b);
	printf("c:%p\n", &c);
	printf("d:%p\n", &d);

	return 0;
}

结果:
在这里插入图片描述
结论:假设成立,结论成立！

堆向上增长的证明

同理

只需证明: 不断开辟变量，地址呈现增大的趋势
注意：这里开辟的空间要尽可能大。

#include<stdio.h>
#include<stdlib.h>
int main()
{
	int* a = (int*)malloc(sizeof(int) * 1024);
	int* b = (int*)malloc(sizeof(int) * 1024);
	int* c = (int*)malloc(sizeof(int) * 1024);
	int* d = (int*)malloc(sizeof(int) * 1024);

	printf("%p\n", a);
	printf("%p\n", b);
	printf("%p\n", c);
	printf("%p\n", d);

	free(a);
	free(b);
	free(c);
	free(d);

	a = NULL;
	b = NULL;
	c = NULL;
	d = NULL;

	return 0;
}

结果:
在这里插入图片描述
结论:假设成立,结论成立！

3.malloc与free进一步理解

疑问产生：

free只有一个参数怎么准确的释放目标空间？
malloc只开辟了我们想要的空间吗?

为了解决这两个问题，那我们调试走起！

调试代码:

#include<stdio.h>
#include<stdlib.h>
int main()
{

	char* arr = (char*)malloc(sizeof(char) * 10);
	if (arr == NULL)
	{
		perror("malloc fail");
		exit(-1);
	}
	int i = 0;
	for (i = 0; i < 10; i++)
	{
		arr[i] = i;
	}
	free(arr);
	arr = NULL;
	return 0;
}