对memcpy进行模拟实现

今天来实现对库函数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后跳过一个字节. 但这仅此只是对于两个内存空间是独立的情况下模拟实现的,还有重叠情况未考虑.