【C语言】内存函数的使用和模拟实现

devtools/2024/12/22 1:02:24/

在这里插入图片描述

文章目录

  • 一、memcpy的使用和模拟实现
  • 二、memmove的使用和模拟实现
  • 三、memset的使用
  • 四、memcmp的使用

一、memcpy的使用和模拟实现

   在之前我们学习了使用和模拟实现strncpy函数,它是一个字符串函数,用来按照给定的字节个数来拷贝字符串,那么问题来了我们想拷贝的不是字符串,而是整型、浮点型的数据,该怎么办呢?
   这时候就要使用我们的内存函数memcpy,mem是memory的缩写,它原本是记忆的意思,在这里是内存的意思,它的作用范围就宽泛多了,因为它是对内存块的内容进行拷贝,不管内存中存放的是什么数据类型,都可以通过拷贝内存块来实现拷贝
   但是使用函数memcpy需要包含的头文件还是<string.h>,接下来我们来看看这个函数的原型:

void * memcpy ( void * destination, const void * source, size_t num );

   它有三个参数,可以看到,它的前两个参数不再是char * 指针,而是void*的指针了,因为我们不再知道要拷贝的内容具体是什么数据类型,所以可以使用void * 的指针,而它的第三个参数是一个无符号整型,代表了要拷贝的内存的字节数
   它的返回类型是void * ,也是由于不知道需要操作的数据类型是什么,所以使用void * ,那它具体返回的地址是什么呢?我们可以参照字符串函数strcpy,它返回的就是目标空间的首地址,memcpy函数也是这样,返回目标空间的首地址,也就是这里的destination
  接着我们可以总结出memcpy函数的特点:

  • 函数memcpy从source的位置,也就是源空间的首地址开始,向后复制num个字节的数据到destination指向的内存位置
  • 这个函数在遇到 ‘\0’ 的时候并不会停下来,它拷贝多少数据完全看第三个参数
  • 如果source和destination有任何的重叠,复制的结果都是未定义的

   接下来我们来简单使用一下这个函数,用它来拷贝一个整型数组,如下:

#include <stdio.h>
#include <string.h>int main()
{int arr1[20] = { 0 };int arr2[] = { 1,2,3,4,5,6,7,8,9,10 }; memcpy(arr1, arr2, sizeof(arr2));for (int i = 0; i < 10; i++){printf("%d ", arr1[i]);}return 0;
}

我们来看看运行结果:
在这里插入图片描述
   可以看到它已经帮我们把数据完全拷贝过来了,它是怎么做到的呢?我们来试着模拟实现一下这个函数,就会发现其实并不难,它会结合我们学过的qsort实现和strcpy实现的知识,现在我们赶紧来实现一下吧!

  1. 函数命名:my_memcpy
  2. 函数参数:照抄memcpy的参数,简化一些长的名字:
void* my_memcpy ( void* dest, const void* src, size_t num )
  1. 函数实现:
    (1)老规矩,首先进行一次断言,确保这两个指针不是空指针
    (2)由于要返回目标空间的首地址,所以要创建一个void*的指针变量start来存储,用于最后的返回
    (3)这里由于不知道是什么类型的数据,所以我们不能妄自定义一个数据类型,这里我们可以采用qsort里面的思想,将它们转为字符指针,一个字节一个字节的拷贝,这样就可以确保能够完美拷贝所有数据
    (4)所以我们创建一个while循环,每进行一次循环就让num–,每一次循环我们就进行一个字节的拷贝,并且拷贝完后让dest和src往后走一个字节
    (5)进行一个字节的拷贝就很简单了,只需要将dest和src强制类型转换为字符指针就可以了,主要是让它们往后面走一个字节不能使用(char * )dest++,所以我们这里可以采用++最原始的操作,就是给它+1,然后赋值给dest,如下:
dest = (char*)dest + 1;

(6)最后一步就是返回之前存下的变量start

  1. 函数代码:
#include <assert.h>void* my_memcpy(void* dest, const void* src, size_t num)
{assert(dest && src);void* start = dest;while (num--){*(char*)dest = *(char*)src;dest = (char*)dest + 1;src = (char*)src + 1;}return start;
}
  1. 函数测试:
    在这里插入图片描述

   最后我们来探讨一个问题,memcpy能否自己对自己进行拷贝呢?比如有一个数组arr,存放的是1到10的数字,能不能将从1开始的4个整型数据,拷贝到从5开始的4个整型数据,如下图:
在这里插入图片描述

   能否将绿色圆圈内的数据作为源数据,拷贝到蓝色圆圈的空间中,使得数组中的数据变成1 2 3 4 1 2 3 4 9 10,问题就在于怎么找到从5开始的地址
   arr是首元素地址,所以很容易想到,可以使用arr+4来作为目标空间地址,而arr作为源地址,我们来测试一下,如图:
在这里插入图片描述

   可以看到,它成功实现了,接着我们继续思考,如果在拷贝时源空间和目标空间有重叠呢?如图:
在这里插入图片描述   这个时候我们想要经过拷贝后,数据变成1 2 3 4 3 4 5 6 9 10,memcpy能否帮我们实现拷贝呢?如图:
在这里插入图片描述
   可以看到居然失败了,这是为什么呢?我们可以画图求解:
在这里插入图片描述

   到经过第三个整型的拷贝时我们发现了问题,原本该被拷贝的5现在已经变成了3,所以在7,的位置放的是3,在8的位置放的是4,所以最后整个数组变成了这个样子:
在这里插入图片描述
   跟我们打印出来的样子一模一样,那么怎么才能实现怎么内存重叠的拷贝呢?这个就要用到我们马上要学习的memmove函数了
   但是在学习memmove函数之前,我们先插个题外话,刚刚我们一直使用的是自己实现的memcpy,无法处理内存重叠的情况,那库里面的那个memcpy函数本尊呢?能否实现,我们来看看:
在这里插入图片描述
   可以看到,神奇的事情发生了,库里面的memcpy居然可以处理这种内存重叠的情况,那是不是我们写的memcpy太挫了呢?
   很明显不是,是因为C语言规定了memcpy只处理没有内存重叠的情况,有内存重叠的情况交给memmove函数解决,这里的memcpy函数又为什么能够解决这个问题呢?
   这个就涉及到编译器的问题了,比如C语言规定memcpy只处理没有内存重叠的情况,而VS的memcpy在处理了没有内存重叠的基础上,还实现了有内存重叠的情况,相当于老师只要求你考60分就能及格,就能到达要求,而你考了100分
   所以不用担心是不是我们的momcpy函数实现的有问题,我们实现的momcpy已经满足C语言的规定了,已经合格了,没有问题

二、memmove的使用和模拟实现

   memmove函数相当于时memcpy函数的进阶版,它不仅可以实现C语言规定的memcpy函数的功能,处理没有内存重叠的情况,还能处理存在内存重叠的情况,使用它也需要包含头文件string.h
   我们来看看memmove的原型:

 void * memmove ( void * destination, const void * source, size_t num );

   可以看到和memcpy的原型长得一模一样,它们参数的含义和返回值都相同,这样就不再赘述
   我们可以总结一下它们的不同:

  • 和memcpy的差别就是memmove函数处理的源内存块和⽬标内存块是可以重叠的
  • 如果源空间和⽬标空间出现重叠,就得使⽤memmove函数处理

   接着我们首先来测试一下memmove能否实现memcpy的功能,如下图:
在这里插入图片描述
   很明显我们看到memmove成功实现了,接着我们继续用memmove测试,让它替我们处理内存重叠的情况,如下:
在这里插入图片描述
   可以看到memmove完美替我们解决了问题,我们接下来就来学习它的模拟实现:

  1. 函数命名:my_memmove
  2. 函数参数:
void* my_memmove ( void* dest, const void* src, size_t num )
  1. 函数实现:
    (1)老规矩,对dest和src断言,确保它们不是空指针
    (2)然后创建一个变量start用来存储dest的值,用于最后的返回
    (3)我们来想想怎么解决内存重叠的情况,根据之前的尝试,我们知道,根据memcpy那样实现肯定不行,而memcpy实现时我们采用的是从前往后拷贝,我们可以来尝试一下从后往前拷贝
    (4)我们可以画一个图试试,如下:
    在这里插入图片描述
    很明显看到居然成功了,说明这种情况从后往前进行拷贝是可以的,那么是不是所有情况都可以这样呢?我们接着继续讨论
    (5)我们将上面的源空间和目标空间交换试一试:
    在这里插入图片描述
    这里就发现问题了,再想从后往前拷贝一个整型时,我们发现5和6都已经被覆盖了,无法得到了正确结果,所以光从后往前拷贝是行不通的
    (6)经过简单的思考,我们可以发现在上图的情况下,从前往后进行拷贝居然又可以了,问题就在于我们如何判断什么时候从前往后拷贝,什么时候从后往前拷贝
    (7)我们可以根据dest和src的位置判断,当目标空间首地址dest在源空间首地址src前时,就是分析的第(5)点中,我们从前往后拷贝,当目标空间首地址dest在源空间首地址src后面时,也就是分析第(4)点中,我们从后往前拷贝
    (8)我们之前说过,数组的空间是连续的,并且随着下标的增大,地址也是逐渐增大的,所以我们可以发现当dest>src,就正常从前往后拷贝,当dest<src时,就从后往前拷贝
    (9)从前往后拷贝我们之前在memcpy讲过,就不再赘述了,如下:
	if (dest < src){while (num--){*(char*)dest = *(char*)src;dest = (char*)dest + 1;src = (char*)src + 1;}}

(10)主要是要解决从后往后拷贝的问题,关键就在于找到dest和src空间的末尾地址,方法也很巧妙,我们可以根据while(num–),当第一次进入循环num就已经-1了,这时我们让dest和src加上num,就可以得到dest和src空间的末尾地址,这时就把src指向的内容赋值给dest指向的内容,然后随着下一次num–,dest和src加上num就跟着改变了,依次类推就可以实现从后往前拷贝,如下:

	else{while (num--){*((char*)dest + num) = *((char*)src + num);}
  1. 函数代码:
#include <assert.h>void* my_memmove(void* dest, const void* src, size_t num)
{assert(dest && src);void* start = dest;if (dest < src){while (num--){*(char*)dest = *(char*)src;dest = (char*)dest + 1;src = (char*)src + 1;}}else{while (num--){*((char*)dest + num) = *((char*)src + num);}}return start;
}
  1. 函数测试:
    在这里插入图片描述   可以看到确实实现memmove的功能了

三、memset的使用

   顾名思义,memset就是设置内存,它的作用就是一次性将num个字节全部置为某个值,使用它需要包含头文件string.h,我们来看看它的原型:

void * memset ( void * ptr, int value, size_t num );

   它的第一个参数就是要设置的数组的首元素地址,第二个参数是要设置的值,第三个参数就是要设置多少个字节
   我们要注意的是第二个参数是int类型的,所以一般不会用在浮点型当中,可以用在整型和字符型,因为字符型本质上存储的是ascll码值,也相当于整型
   所以当数组是整型数组和字符数组时,可以通过这个函数来设置它们的值
   我们首先测试一下整型数组,将所有数组的元素设置为0,如图:
在这里插入图片描述
   使用起来是不是特别方便呢?一般会用在竞赛或者项目中,需要多组输入之类的,使用完一个数组,需要把它的元素都置为0
   接下来我们想想,能不能使用这个函数将数组中的所有元素更改为1,如图:
在这里插入图片描述
   可以看到失败了,这是为什么呢?这是因为memset设置的单位是字节,而整型有4个字节,每一个字节都设置为1,这个数就很大了,我们来看看内存窗口,如图:
在这里插入图片描述
   接下来我们再来测试将字符数组全部弄成字符’x’,如图:
在这里插入图片描述
   可以看到,memset连带着\0和空格都改成了字符x,当然,如果不想\0被改掉,在写最后一个参数时可以-1
   到这里我们就讲完了memset,至于它的模拟实现,可以自行去实现,因为比较简单,只需要一个字节一个字节将对应的内容改成给出的数据即可,这里就不再赘述

四、memcmp的使用

   它跟我们学习过的strncmp有点像,strncmp可以根据给出的字节数来比较字符串的大小,而memcmp是根据给出的字节数来比较各种类型的数据的大小,使用它需要包含头文件string.h,接下来我们来看看它的原型:

int memcmp ( const void * ptr1, const void * ptr2, size_t num );

   可以看到它和strncmp的参数一模一样,第一个参数是要比较的内容的首地址,第二个也是如此,第三个参数用来指定要比较的字节的个数,而返回值也和strncmp的规则一样,前一个大就返回大于0的数,后一个大返回小于0的数,相等则返回0
   接下来我们就用它来比较一下整型数组,如下:

#include <stdio.h>
#include <string.h>int main()
{int arr1[] = { 1,2,3,4,5,6,7,8,9,10 };int arr2[] = { 1,2,3,3 };int ret = memcmp(arr1, arr2, 4 * sizeof(int));printf("经过4个整型的比较:");if (ret > 0)printf("arr1更大\n");else if (ret < 0)printf("arr2更大\n");elseprintf("arr1和arr2相等\n");return 0;
}

运行结果:
在这里插入图片描述
   在比较时,还需要注意一点,就是设置的要比较的字节数要有意义,比如arr2现在只有4个整型数据,如果要比较5个整型数据,也就是20个字节,就会读取到无效数据,所以最好保证字节数有意义
   那么它能否比较字符串呢?我们可以来测试一下:
在这里插入图片描述
   可以看到memcmp也可以比较字符串,至于memcmp的模拟实现可以自行完成,也是一个一个字节去比较,这里就不再赘述了
   我们的内存函数讲解就到这里结束了,如果有什么不懂的,欢迎在评论区提问


http://www.ppmy.cn/devtools/121126.html

相关文章

spring揭秘25-springmvc03-其他组件(文件上传+拦截器+处理器适配器+异常统一处理)

文章目录 【README】【1】文件上传与MultipartResolver【1.1】使用MultipartResolver进行文件上传【1.2】springmvc处理multipart多部件请求流程【1.3】使用springmvc上传文件代码实现&#xff08;springmvc6.10版本&#xff09;&#xff1a; 【2】Handler与HandlerAdaptor&…

基于SSM+微信小程序的校园二手数码交易平台系统(二手3)(源码+sql脚本+视频导入教程+文档)

&#x1f449;文末查看项目功能视频演示获取源码sql脚本视频导入教程视频 1、项目介绍 基于ssm微信小程序的校园二手数码交易平台满足了不同用户的功能需求&#xff0c;包括用户、卖家以及管理员&#xff0c;下面对这不同用户的功能需求进行简介。 &#xff08;1&#xff09…

tailwindcss快速入门(上篇)

tailwindcss 相关链接 演示地址 演示地址 源码地址 源码地址 什么是 Tailwind Tailwind CSS 是一种 实用优先的 CSS 框架&#xff0c;它通过一组预定义的、基于类名的样式帮助开发者快速构建现代化、响应式的用户界面。与传统的 CSS 框架&#xff08;如 Bootstrap&#xf…

掌握 C# 中的 LINQ(语言集成查询)

LINQ&#xff08;Language Integrated Query&#xff0c;语言集成查询&#xff09;是 C# 中的一项强大功能&#xff0c;它使得我们能够使用查询语法处理不同的数据源&#xff0c;如对象、XML、数据库等。LINQ 通过提供统一的查询语法&#xff0c;使开发者能够更加简洁、高效地操…

12-指针和动态内存-malloc calloc realloc free

一、视频笔记&#xff1a; Malloc- void* malloc(size - size) 是一个通用的函数&#xff0c;库函数。所做的事情仅仅是&#xff0c;从堆上找到空闲的内存。为你预留的空间然后通过指针返回给你。 Void *p malloc(10*sizeof(int)) 总共需要的字节数是&#xff1a;单元数量…

【C++】单例模式

【C】单例模式 文章目录 【C】单例模式前言一、静态成员变量二、静态函数三、单例模式案例 —— 打印机案例总结 前言 本篇文章将讲到&#xff0c;静态成员变量&#xff0c;静态函数&#xff0c;以及单例模式案例。 一、静态成员变量 静态成员变量 静态成员变量 &#xff1a;编…

拿下奇怪的前端报错:SyntaxError: Unexpected token ‘??=‘或‘xxx‘ - 浅谈Nodejs版本过高过低的部分问题

在前端开发时&#xff0c;如果同时维护多个项目&#xff0c;跨越的年度又比较大&#xff0c;难免会使用多个Nodejs版本。有时候版本不对&#xff0c;不仅仅是安装会报错 1 依赖无法安装 一般情况下nodejs又向后兼容较好&#xff08;除了部分三方包&#xff09;&#xff0c;所…

Keepalived+MySQL 高可用集群

基础架构如下 准备干净的实验环境 [rootmysql1 ~]# systemctl stop firewalld [rootmysql1 ~]# cat /etc/sysconfig/selinux |grep "SELINUXdisabled" SELINUXdisabled [rootmysql1 ~]# setenforce 0 setenforce: SELinux is disabled [rootmysql1 ~…