IT数码 购物 网址 头条 软件 日历 阅读 图书馆
TxT小说阅读器
↓语音阅读,小说下载,古典文学↓
图片批量下载器
↓批量下载图片,美女图库↓
图片自动播放器
↓图片自动播放器↓
一键清除垃圾
↓轻轻一点,清除系统垃圾↓
开发: C++知识库 Java知识库 JavaScript Python PHP知识库 人工智能 区块链 大数据 移动开发 嵌入式 开发工具 数据结构与算法 开发测试 游戏开发 网络协议 系统运维
教程: HTML教程 CSS教程 JavaScript教程 Go语言教程 JQuery教程 VUE教程 VUE3教程 Bootstrap教程 SQL数据库教程 C语言教程 C++教程 Java教程 Python教程 Python3教程 C#教程
数码: 电脑 笔记本 显卡 显示器 固态硬盘 硬盘 耳机 手机 iphone vivo oppo 小米 华为 单反 装机 图拉丁
 
   -> C++知识库 -> 【C深度剖析】内存管理相关细节 -> 正文阅读

[C++知识库]【C深度剖析】内存管理相关细节

楔子

C语言的特色之一是:程序员必须亲自处理内存的分配细节。

大多数C语言实现使用栈(Stack)来保存函数返回地址/栈帧基址、完成函数的参数传递和函数局部变量的存储。然而,在部分极特殊的平台上,使用栈并不能获得最大效率。此时的实现由编译器决定。 如果程序需要在运行的过程中动态分配内存,可以利用堆(Heap)来实现。

基本上C程序的元素存储在内存的时候有3种分配策略:

  • 静态分配

如果一个变量声明为全局变量或者是函数的静态变量,这个变量的存储将使用静态分配方式。静态分配的内存一般会被编译器放在数据段或代码段来存储,具体取决于实现。这样做的前提是,在编译时就必须确定变量的大小。 以IA32的x86平台及gcc编译器为例,全局及静态变量放在数据段的低端;全局及静态常量放在代码段的高端。

  • 自动分配

函数的自动局部变量应该随着函数的返回会自动释放(失效),这个要求在一般的体系中都是利用栈(Stack)来满足的。相比于静态分配,这时候,就不必绝对要求这个变量在编译时就必须确定变量的大小,运行时才决定也不迟,但是C89仍然要求在编译时就要确定,而C99放松了这个限制。但无论是C89还是C99,都不允许一个已经分配的自动变量运行时改变大小。
所以说C函数永远不应该返回一个局部变量的地址。
要指出的是,自动分配也属于动态分配,甚至可以用alloca函数来像分配堆(Heap)一样进行分配,而且释放是自动的。

  • 动态分配

变量的大小在运行时有可能改变,或者虽然单个变量大小不变,变量的数目却有很大弹性,不能静态分配或者自动分配,这时候可以使用堆(Heap)来满足要求。ANSI C定义的堆操作函数是malloc、calloc、realloc和free。
使用堆(Heap)内存将带来额外的开销和风险。


一、什么是动态内存

所谓动态内存分配,就是指在程序执行的过程中动态地分配或者回收存储空间的分配内存的方法。动态内存分配不象数组等静态内存分配方法那样需要预先分配存储空间,而是由系统根据程序的需要即时分配,且分配的大小就是程序要求的大小。

动态内存的好处是归纳为8个字:用时分配,不用释放

二、为什么要有动态内存

1.我们一般申请空间,都是在全局(不建议大量使用)或者栈区申请,而我们的栈空间是有限的,这时候就需要一个大内存空间来存放数据,那么就需要申请堆空间来支持。

例如:

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

程序直接崩溃:一个char是一个字节,而1024字节=1kb,1024kb = 1Mb,所以小小的1Mb就让程序崩溃了

警告 C6262 函数使用了堆栈的“40000000”个字节: 超过了 /analyze:stacksize ‘16384’。 请考虑将某些数据移到堆中。

2.在应用方面,我们无法预估好程序需要花费多大的空间,我们之前定义的数组,因为语法的约束,我们必须明确的指出其空间的大小,但是我们使用动态内存申请(malloc),应为malloc是函数,而函数是可以传参的,也就意味着,我们可以根据具体的应用场景,对需要的内存大小进行动态计算,进而在传参申请时,提高了灵活性。

三、栈,堆和静态区

C程序动态地址空间分布
在这里插入图片描述
接下来我们在Linux环境下验证

int g_val2; 
int g_val1 = 100;

int main()
{
	printf("code addr: %p\n", main); 
	const char* str = "hello world"; 
	printf("readon only: %p\n", str); 
	printf("init g_val: %p\n", &g_val1); 
	printf("uninit g_val: %p\n", &g_val2); 
	char* p = (char*)malloc(sizeof(char) * 10); 
	printf("heap addr: %p\n", p);
	printf("stack addr: %p\n", &str); 
	printf("stack addr: %p\n", &p); 
	free(p);
	return 0;
}

显示结果:
在这里插入图片描述
分析它是符合这样的地址分布

我们在来验证栈区,堆区是相对而生的

int g_val2; 
int g_val1 = 100;

int main()
{
	printf("code addr: %p\n", main); 
	const char* str = "hello world"; 
	printf("readon only: %p\n", str); 
	printf("init g_val: %p\n", &g_val1); 
	printf("uninit g_val: %p\n", &g_val2); 
	char* p = (char*)malloc(sizeof(char) * 10); 
	char* p1 = (char*)malloc(sizeof(char) * 10);
	char* p2= (char*)malloc(sizeof(char) * 10);


	printf("heap addr: %p\n", p);
	printf("heap addr: %p\n", p1);
	printf("heap addr: %p\n", p2);

	printf("stack addr: %p\n", &str); 
	printf("stack addr: %p\n", &p); 
	printf("stack addr: %p\n", &p1);
	printf("stack addr: %p\n", &p2);

	free(p);
	return 0;
}

显示结果:
在这里插入图片描述
堆区的地址是依次增大的,栈区是逐渐增小的

四、常见的内存错误及对策

1)指针没有指向一块合法的内存

对策:合法是指“能够被用户直接使用的”,但是如果指针有具体的指向(包括野指针),它的合法性我们时无法验证的,这样就要求我们 ① 所有的指针,如果没有被直接使用,必须设置为NULL。②在函数内部,要验证指针的合法性,本质是验证指针!=NULL;

2)为指针分配的内存太小

对策:根据实际应用场景多分配空间。

3)内存分配成功,但并未初始化

对策:变量在定义是都应该初始化(这是一个好的编码规范)

4)内存越界

对策:在越界时是不一定会报错,所以需要我们写代码时要细心,方法:链接

5) 内存泄漏

1.在我们本地编译器下,如果我们一直申请空间不释放,会发生什么,如果程序退出,内存泄漏问题还这吗?

int main ()
{
	while(1){
		int *p = malloc(1024):
	}
	return 0;
}

结果是电脑会变地很卡,内存泄漏不存在。操作系统会把泄漏的空间拿回来,

2.free本质

int main()
{
	char* p = (char*)malloc(sizeof(char) * 10);
	free(p);
	return 0;
}

在释放时实际上要比10字节多,所以申请时不止10字节,在free时我们只是传入堆空间的起始地址,并没有传入要释放多少个字节,那么是如何知道呢?其实多出来的部分中记录了这次申请的详细信息,比如申请多大的空间,这样就解决了这个问题。

3.内存释放的本质是什么?

  1. 在free后p会不会被置空?
int main()
{
	char* p = (char*)malloc(sizeof(char) * 10);
	int i = 0;
	for(;i < 10;i++)
	{
		p[i] = 'i';
	}
	printf("before:%p\n", p);
	free(p);
	printf("after:%p\n", p);

	return 0;
}

显示结果:
before:01424A88
after:01424A88

所以不会置空,那么我们还可以通过这个地址来找到其内容吗?答案肯定不可以。

  1. 那么释放释放的是什么呢?

我们打个比方:你的大脑中创建了一个变量叫做女朋友,这个女朋友的内容是如花,有一天如花和你分手了,也就是取消了二者的对应关系,这时如花已经不是你女朋友了,但是你大脑中会记得她曾经是你的女朋友。在这里也是一样的,你创建了一个空间,用p去存放它,由于free取消了这个关系,虽然p还保存这个地址,但它已经不是你的那个她了。
这一层关系是需要数据来维护的,本质就是把这一个关系数据给清除,那我们有没有必要置为NULL;其实是没有必要,因为你已经访问不到这个空间了,
在这里插入图片描述

  C++知识库 最新文章
【C++】友元、嵌套类、异常、RTTI、类型转换
通讯录的思路与实现(C语言)
C++PrimerPlus 第七章 函数-C++的编程模块(
Problem C: 算法9-9~9-12:平衡二叉树的基本
MSVC C++ UTF-8编程
C++进阶 多态原理
简单string类c++实现
我的年度总结
【C语言】以深厚地基筑伟岸高楼-基础篇(六
c语言常见错误合集
上一篇文章           查看所有文章
加:2022-01-03 15:53:52  更:2022-01-03 15:56:24 
 
开发: C++知识库 Java知识库 JavaScript Python PHP知识库 人工智能 区块链 大数据 移动开发 嵌入式 开发工具 数据结构与算法 开发测试 游戏开发 网络协议 系统运维
教程: HTML教程 CSS教程 JavaScript教程 Go语言教程 JQuery教程 VUE教程 VUE3教程 Bootstrap教程 SQL数据库教程 C语言教程 C++教程 Java教程 Python教程 Python3教程 C#教程
数码: 电脑 笔记本 显卡 显示器 固态硬盘 硬盘 耳机 手机 iphone vivo oppo 小米 华为 单反 装机 图拉丁

360图书馆 购物 三丰科技 阅读网 日历 万年历 2024年11日历 -2024/11/24 11:07:14-

图片自动播放器
↓图片自动播放器↓
TxT小说阅读器
↓语音阅读,小说下载,古典文学↓
一键清除垃圾
↓轻轻一点,清除系统垃圾↓
图片批量下载器
↓批量下载图片,美女图库↓
  网站联系: qq:121756557 email:121756557@qq.com  IT数码