探索动态内存开辟的奥秘

 

✨✨欢迎👍👍点赞☕️☕️收藏✍✍评论

个人主页:秋邱'博客

所属栏目:C语言

 

 前言

开始之前,我们先来了解一下C/C++中程序内存区域划分。

在C/C++程序中,内存区域通常被划分为以下几个部分:

1.栈:

  • 栈区主要存放运⾏函数⽽分配的局部变量、函数参数、返回数据、返回地址

2.堆:

  • 用于动态分配的内存,程序员可以通过malloc、calloc、realloc等函数在堆上动态分配内存空间。
  • 堆的分配和释放由程序员手动控制,因此需要注意避免内存泄漏和内存溢出等问题。

3.全局/静态区:

  • 用于存储全局变量、静态变量以及常量字符串等。
  • 全局变量和静态变量在程序启动时被分配,直到程序结束才被释放。

4.常量区:

  • 存储常量字符串等不可修改的数据。

5.代码区

  • 存储程序的机器指令,包括函数体的二进制代码等。

1.0 静态内存

目前有两个开辟内存的方式

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

但是上述代码的开辟的空间有个特点:

  • 开辟的空间大小是固定
  • 数组空间大小一旦确定就不能更改

2.0 动态内存 

有时候我们需要的空间⼤⼩在程序运⾏的时候才能知 道,那数组的编译时开辟空间的⽅式就不能满⾜了。因此,C语⾔引⼊了动态内存开辟,让程序员⾃⼰可以申请和释放空间,就⽐较灵活了。

那么这里就需要用到四个函数,开辟空间的有:malloc、calloc、realloc释放空间的有:free

这四个函数需要的头文件都是#include<stdlib.h>

2.1 malloc

函数声明:

void* malloc (size_t size);

返回值的类型是 void* ,所以malloc函数并不知道开辟空间的类型,具体在使⽤的时候使⽤者⾃⼰来决定。 

size_t 用于表示内存大小的数据类型,是一个无符号整数类型。malloc中size表示字节个数。

使用:

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

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

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

malloc的使用方法:

#include <stdio.h>
#include <stdlib.h>

int main()
{
	int* arr = (int*)malloc(sizeof(int) * 10);
	// 分配一个整数的内存空间
	//void* 需要用类型指针接收,这里选择用int*
	if (arr == NULL)
	{
		perror("malloc fail: ");//打印错误信息
		return 1;//直接返回
	}
	int i = 0;
	for (i = 0; i < 10; i++)//数组赋值
	{
		arr[i] = i;
	}
	for (i = 0; i < 10; i++)//打印数组
	{
		printf("%d ", arr[i]);
	}
	//释放内存
	return 0;
}

输出结果:

2.2 calloc 

函数声明:

void* calloc (size_t num, size_t size);

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

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

#include <stdio.h>
#include <stdlib.h>
int main()
{
	int* num = (int*)calloc(10,sizeof(int));
	if (num == NULL)
	{
		perror("calloc fail: ");//打印错误信息
	    return 1;//直接返回
	}
	//使用

    //内存释放
	return 0;
}

2.3 realloc 

realloc相比malloc和calloc更加灵活,它是在内存不够的时候开辟新的内存。realloc可以做到对动态内存大小的调整。

函数声明:

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

ptr:指向先前用malloc、calloc或realloc分配的内存块的指针,或者,这可以是一个空指针,在这种情况下,一个新的块被分配(好像malloc被调用)。

size_t 用于表示内存大小的数据类型,是一个无符号整数类型。malloc中size表示字节个数。

 realloc有三种情况:

1.内存足够大不需要realloc额外申请。

2.空间不足

情况一:原有空间之后有⾜够⼤的空间。

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

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

当是情况2 的时候,原有空间之后没有⾜够多的空间时,扩展的⽅法是:在堆空间上另找⼀个合适⼤⼩的连续空间来使⽤。这样函数返回的是⼀个新的内存地址。 

 由于上述的两种情况,realloc函数的使⽤就要注意⼀些。

int main()
{
	int* ptr = (int*)malloc(100);
	if (ptr == NULL)
	{
		perror("malloc error");
		return 1;
	}
    //动态内存不够进行扩展容量
    //先将realloc函数的返回值放在p中,不为NULL,在放ptr中
	int* p = realloc(ptr, 1000);
	if (p != NULL)
	{
		perror("realloc error");
		return 1;
	}
	ptr = p;
	//如果直接赋值,realloc开辟失败返回NULL,*ptr就会出现问题
	return 0;
}

很明显,代码1存在问题,若realloc没开辟成功,却将空指针返回给ptr,ptr解引用则会报错。使用代码2,更加合理。 

2.4 free 

free函数⽤来释放动态开辟的内存。这在写代码过程中是很有必要的。

函数声明:

void free (void* ptr);

 ptr表示指向malloc,realloc,callloc开辟的动态空间内存。

使用:

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

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

返回值:

不反回任何值。

    //malloc释放动态内存
    free(arr);//释放函数
    arr = NULL;//将指针置为空

    //calloc释放动态内存
    free(num);
    num = NULL;

    //realloc释放动态内存
    free(ptr);
    ptr = NULL;

    

3.0 动态内存常见的错误 

3.1 对空指针解引用

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

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

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.3 对⾮动态开辟内存使⽤free释放


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

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

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

忘记释放动态内存空间会造成内存泄漏。

3.5 对同⼀块动态内存多次释放

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

3.6 使⽤free释放⼀块动态开辟内存的⼀部分

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

4.0 柔性数组

4.1 什么是柔性数组

在结构体中,最后一个

成员是数组,且数组没有指定大小,这个数组就是柔性数组

struct S1
{
	char c;
	int n;
	int arr[];//柔性数组
};

struct S2
{
	char c;
	int n;
	int arr[0];//柔性数组
};

 s1和s2写法不一样,但这都是柔性数组,有的编译器支持s1有的支持s2。

4.2 柔性数组的特点

  • 结构中的柔性数组成员前⾯必须⾄少⼀个其他成员。
  • sizeof 返回的这种结构⼤⼩不包括柔性数组的内存
  • 包含柔性数组成员的结构⽤malloc ()函数进⾏内存的动态分配,并且分配的内存应该⼤于结构的⼤⼩,以适应柔性数组的预期⼤⼩。
struct S
{
	char c;
	int n;
	int arr[0];//柔性数组
};
int main()
{
	struct s1* p = (struct s1*)malloc(sizeof(struct s1) + 5 * sizeof(int));
	//sizeof(struct s1)是给char c和int n申请的内存空间
    //而5 * sizeof(int)是给柔性数组申请的
    if(p == NULL)
    {
        perror("malloc error");
        return 1;
    }
	printf("%zd", sizeof(struct s1));
	return 0;
}

打印结果:

realloc可以额外申请空间,这就是的数组变得可大可小,这就是柔性数组。

4.3 柔性数组的使用

//代码1

#include<stdio.h>
#include<stdlib.h>
struct S
{
	int n;
	int arr[];
};
int main()
{
	struct S* p = (struct S*)malloc(sizeof(struct S) + sizeof(int) * 10);
	if (p == NULL)
	{
		perror("malloc error");
		return 1;
	}
	p->n = 10;//初始化
	for (int i = 0; i < 10; i++)
	{
		p->arr[i] = i;
	}
    struct S* ptr = (struct S*)realloc(p, sizeof(struct S) + 10 * sizeof(int));
    //空间不够调整空间
	if (ptr != NULL)
	{
		p = ptr;
	 }
	printf("%d ", p->n);//打印
	for (int i = 0; i < 10; i++)
	{
		printf("%d ", p->arr[i]);
	}
    free(p);//释放空间
    p = NULL;
	return 0;
}

4.4 柔性数组的优势

//代码2
#include<stdio.h>
#include<stdlib.h>
struct S
{
	int n;
	int* arr;
};
int main()
{
	struct S* p = (struct S*)malloc(sizeof(struct S) + sizeof(int) * 5);
	if (p == NULL)
	{
		perror("malloc error");
		return 1;
	}
	p->n = 11;
	for (int i = 0; i < 5; i++)
	{
		p->arr[i] = i;
	}
	printf("%d ", p->n);
	for (int i = 0; i < 10; i++)
	{
		printf("%d ", p->arr[i]);
	}
	//若空间不够调整空间
	int* ptr = (int*)realloc(p->arr,  10 * sizeof(int));
	if (ptr != NULL)
	{
		p->arr = ptr;
	 }
	//使用...
	//释放空间
	free(p->arr);
	free(p);
	p = NULL;
}

通过对两者的使用和比较,柔性数组更甚一筹。

优势有2:

 1.方便内存释放:在函数给其他人使用时,代码在里面进行了二次分配,并把整个结构体返回给⽤ ⼾。⽤⼾调⽤free可以释放结构体,但是⽤⼾并不知道这个结构体内的成员也需要free。如果我们把结构体的内存以及其成员要的内存⼀次性分配好了,并返 回给⽤⼾⼀个结构体指针,那么只需要free一次就能释放。

2.利于访问速度:连续的内存有益于提⾼访问速度,也有益于减少内存碎⽚。(其实,我个⼈觉得也没多⾼了,反正你 跑不了要⽤做偏移量的加法来寻址。


感谢各位大佬莅临,如有错误欢迎指出,共同学习进步。 

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mfbz.cn/a/591748.html

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

漏洞挖掘之某厂商OAuth2.0认证缺陷

0x00 前言 文章中的项目地址统一修改为: a.test.com 保护厂商也保护自己 0x01 OAuth2.0 经常出现的地方 1&#xff1a;网站登录处 2&#xff1a;社交帐号绑定处 0x02 某厂商绑定微博请求包 0x02.1 请求包1&#xff1a; Request: GET https://www.a.test.com/users/auth/weibo?…

C++设计模式-创建型设计模式

设计模式 设计模式是什么 设计模式是指在软件开发中&#xff0c;经过验证的&#xff0c;用于解决在特定环境下&#xff0c;重复出现的&#xff0c;特定问题的解决方案&#xff1b;其实就是解决问题的固定套路。但是要慎用设计模式&#xff0c;有一定的工程代码量之后用它比较…

Hdfs小文件治理策略以及治理经验

小文件是 Hadoop 集群运维中的常见挑战&#xff0c;尤其对于大规模运行的集群来说可谓至关重要。如果处理不好&#xff0c;可能会导致许多并发症。Hadoop集群本质是为了TB,PB规模的数据存储和计算因运而生的。为啥大数据开发都说小文件的治理重要&#xff0c;说HDFS 存储小文件…

Python字符串常用方法(全网最细,仅此一份)

🥇作者简介:CSDN内容合伙人、新星计划第三季Python赛道Top1 🔥本文已收录于Python系列专栏: 👉Python从入门到精通 💬订阅专栏后可私信博主进入Python学习交流群,进群可领取Python180G全栈视频教程以及Python相关电子书合集 😊私信未回可以加V:hacker0327 备注P…

Word文件后缀

Word文件后缀 .docx文件为Microsoft Word文档后缀名&#xff0c;基于XML文件格式 .dotm为Word启用了宏的模板 .dotx为Word模板 .doc为Word97-2003文档&#xff0c;二进制文件格式 参考链接 Word、Excel 和 PowerPoint 的文件格式参考 Learn Microsoft

u盘格式化后电脑读不出来怎么办?u盘格式化的东西还能恢复吗

随着科技的快速发展&#xff0c;U盘已成为我们日常生活和工作中不可或缺的数据存储工具。然而&#xff0c;有时我们可能会遇到U盘格式化后电脑无法读取的情况&#xff0c;或是误格式化导致重要数据丢失。面对这些问题&#xff0c;我们该如何应对&#xff1f;本文将为您详细解答…

C语言 main( ) 函数的指针数组形参是怎么回事?

一、问题 在使⽤⼀些开发⼯具⽣成C语⾔⽂件时&#xff0c;主函数 mian( ) 中会有参数&#xff0c;这个参数到底是怎么回事⼉呢&#xff1f; 二、解答 mian( ) 称为主函数&#xff0c;是所有程序运⾏的⼊口。 mian( ) 函数是由系统调⽤的&#xff0c;当处于操作命令状态下&…

解锁学术语言:掌握论文释义工具的高效使用技巧

研究论文是一份书面文件&#xff0c;其中包括对特定主题的论点、想法和观点的概述。释义至关重要&#xff0c;因为它可以为您的工作增添意义和价值。教育释义的核心目的是增加你的写作的价值&#xff0c;同时考虑其他作家的观点和发现&#xff0c;并建立与你的主题的相关性。通…

恶补《操作系统》5_1——王道学习笔记

5设备管理 5.1_1 I-O设备的概念和分类 1、什么是I-O设备 输入/输出&#xff1a;I/O设备就是可以将数据输入到计算机&#xff0c;或者可以接收计算机输出数据的外部设备&#xff0c;属于计算机中的硬件部件。 2、按使用特性分类 人机交互的外部设备存储设备网络通信设备 3、…

k8s Dashboard 运维维护记录

k8s Dashboard 运维维护记录 k8s Dashboard 运维维护记录 Q1&#xff1a;需要使用firefox浏览器访问 提示了证书错误NET::ERR_CERT_INVALID&#xff0c;原因是由于物理机的浏览器证书不可用 需要注意的是&#xff0c;若提示“连接不安全”的警告时&#xff0c;点击“高级”…

计算机的翻译(编译和链接)过程

&#x1f381;个人主页&#xff1a;我们的五年 &#x1f50d;系列专栏&#xff1a;C语言基本概念 &#x1f337;追光的人&#xff0c;终会万丈光芒 &#x1f389;欢迎大家点赞&#x1f44d;评论&#x1f4dd;收藏⭐文章 目录 &#x1f697;1.翻译环境和运行环境&#xff1…

AI大模型探索之路-训练篇12:语言模型Transformer库-Datasets组件实践

系列篇章&#x1f4a5; AI大模型探索之路-训练篇1&#xff1a;大语言模型微调基础认知 AI大模型探索之路-训练篇2&#xff1a;大语言模型预训练基础认知 AI大模型探索之路-训练篇3&#xff1a;大语言模型全景解读 AI大模型探索之路-训练篇4&#xff1a;大语言模型训练数据集概…

深入理解 LinkedList 及底层源码分析

LinkedList 是基于链表结构的一种 List&#xff0c;在分析 LinkedList 源码前我们先对对链表结构做一个简单的了解。 一、链表的概念 链表是由一系列非连续的节点组成的存储结构&#xff0c;简单分下类的话&#xff0c;链表又分为_单向链表和双向链表&#xff0c;而单向 / 双…

函数之对决!!:数学函数 VS C++函数

前言 有人问过我&#xff0c;C里的函数是否跟我们数学里的函数一样&#xff1f;于是&#xff0c;我就写下了这篇文章。 一、数学函数 1、一次函数 一次函数&#xff0c;也称为线性函数&#xff0c;是数学中函数的一种&#xff0c;通常表示为ykxb&#xff08;其中k和b是常数&am…

HR面试测评,招聘市场部主管的人才测评方案

人才测评有时候也叫岗位胜任力测评&#xff0c;也有叫综合素质或综合能力测评&#xff0c;其目的都是为了寻找人岗匹配&#xff0c;找到适合这个岗位的人才&#xff0c;为企业创造最大化的价值。企业是一个平台&#xff0c;也是个人实现自我价值的途径&#xff0c;实际上人才测…

3GPP官网下载协议步骤

1.打开官网 https://www.3gpp.org/ 2.点击 3.在界面选择要找的series&#xff0c;跳转到查找界面 以V2X通信协议为例&#xff0c;论文中通常会看到许多应用&#xff1a; [7] “Study on evaluation methodology of new Vehicle-to-Everything (V2X) use cases for LTE and NR…

Mac 更新 Homebrew软件包时提示 zsh: command not found: brew 错误

问题 通过Mac电脑更新Homebrew软件包时出现如下错误&#xff1a; xxxxxxxpiaodeMacBook-Pro ~ % brew update zsh: command not found: brew解决方案 在命令行输入如下指令&#xff1a; /bin/zsh -c "$(curl -fsSL https://gitee.com/cunkai/HomebrewCN/raw/master/H…

基于免疫粒子群算法的考虑负荷需求相应的热电联供系统优化调度(MATLAB实现)

1.研究背景 随着“双碳”战略的提出&#xff0c;各种分布式能源的开发和利用收到越来越多的重视。冷热电联供(Combined Cooling Heating and Power, CCHP)系统在发电的同时可以将燃气轮机产生的废热用于制热或制冷&#xff0c;实现能量的梯级利用&#xff0c;并减少系统的污染气…

C++进阶-----继承

1、继承的概念和定义 继承(inheritance)机制是面向对象程序设计使代码可以复用的最重要的手段&#xff0c;它允许程序员在保持原有类特性的基础上进行扩展&#xff0c;增加功能&#xff0c;这样产生新的类&#xff0c;称派生类。继承呈现了面向对象 程序设计的层次结构&#xf…

【Java从入门到精通】Java 流(Stream)、文件(File)和IO

Java.io 包几乎包含了所有操作输入、输出需要的类。所有这些流类代表了输入源和输出目标。 Java.io 包中的流支持很多种格式&#xff0c;比如&#xff1a;基本类型、对象、本地化字符集等等。 一个流可以理解为一个数据的序列。输入流表示从一个源读取数据&#xff0c;输出流…
最新文章