今天来实现对库函数memcpy的模拟实现
一 . 介绍函数
mencpy函数与strcpy函数的区别在于 , 前者(memcpy)可以进行任意类型的数据拷贝,并指定拷贝多少字节. 而后者(strcpy)则只能拷贝字符串,且不能指定拷贝多少字节,直到遇到 '\0' ,才会停止.
二 . 分析函数的参数类型
首先在cplusplus网站搜索memcpy函数,可以看到对于该函数的定义.他的返回值是void * ,表示函数的返回值是任意类型的指针.
他有三个参数 ,分别对其解释代表的含义.
参数一 (void * dest) : 这是一个指向任意类型的指针 , 他指向的是需要存入数据的目标空间.
参数二 (const void * src) : 他指向的是不可修改的空间,指向的是被拷贝数据的地址.
参数三 (size_t num) : 传入的是需要拷贝的字节个数.
三 . 函数的应用
接下来对memcpy函数进行应用 , 由于memcpy属于库函数,需要添加头文件 . 运行环境为VS2022 x64 的环境下.
#include<stdio.h>
#include<string.h>
int main()
{
int ar1[20] = { 0 };
int ar2[20] = { 1,2,3,4,5,6 };
memcpy(ar1, ar2, 12);
return 0;
}
以整型数组为例 , 对ar2数组中的前12个字节进行拷贝,放到ar1数组中 . 运行程序后,打开监视窗口,对ar1和ar2数组中的内容进行分析.
可以在右边的监视窗口看到 , ar2中的前三个整形数据成功的放在ar1数组中.
四 . 模拟实现
知道了memcpy是怎么实现自己的功能,接下来进行对其的模拟实现.
首先函数的基本条件不变.这是返回值与与参数.
void* my_memcpy( void* dest,const void* src, size_t n)
对于函数的内部逻辑来说 , 目的是将存有数据的数组把数据赋给目标数组. 而赋值次数的多少是由参数n来决定的,因为函数是一个字节一个字节的进行拷贝,而不是整型就按每4个字节就拷贝一次,那么当遇到结构体,double等类型的数据,就不能使用每4个字节进行拷贝.
所以根据拷贝次数是由n决定的,可以写出一个循环这个循环里面用于实现两个指针(dest 与 src)之间的拷贝与自增.
while (n--)
{
}
接下来实现最重要的拷贝环节,由于设定的参数为void * ,所以为了能让两个指针之间是以字符为单位进行拷贝,需要对其强转并解引用,拿到单个字符中的内容.然后进行拷贝.指针自增时也需要进行强转,目的是为了每次自增跳过一个字节,而不是void 类型的所占字节个数.
代码实现如下
while (n--)
{
*(char*)dest = *(char*)src;
dest = (char*)dest + 1;
src = (char*)src + 1;
}
这样函数的主要功能就已经完成了. 为了保证两个指针不为空.需要使用assert函数进行断言.
完整代码如下
#include<stdio.h>
#include<assert.h>
void* my_memcpy( void* dest,const void* src, size_t n)
{
assert(dest && src);
while (n--) //需要进行多少次拷贝
{
*(char*)dest = *(char*)src; //强转,解引用后赋值
dest = (char*)dest + 1; //强转后+1,跳过一个字节
src = (char*)src + 1; //强转后+1,跳过一个字节
}
}
int main()
{
int ar1[10] = { 0 };
int ar2[10] = { 1,2,3,4,5,6 };
my_memcpy(ar1, ar2, 12);
return 0;
}
最后运行程序在监视窗口中观察数据的变化
可以看到成功的将ar2中的前3个数据拷贝到ar1中.
至此,模拟实现完毕.
五 . 总结
对于函数能够处理任意类型的数据时,有必要强转成对应的字符类型,这里是强转成了char * 字符指针的类型,便于指针+1后跳过一个字节. 但这仅此只是对于两个内存空间是独立的情况下模拟实现的,还有重叠情况未考虑.