【笔记】C++关于memcpy函数越界问题

首先介绍一下memcpy函数

memcpy函数是C/C++标准库中的一个内存拷贝函数，用于将源内存块的数据复制到目标内存块。

函数原型如下：

void* memcpy(void* dest, const void* src, size_t count);

该函数的作用是将src指向的内存块中的数据复制到dest指向的内存块中，复制的数据长度为count字节。

参数解释如下：

• dest：目标内存块的指针，指向要将数据复制到的内存块。

• src：源内存块的指针，指向要复制数据的内存块。

• count：要复制的字节数，即要从源内存块复制到目标内存块的数据长度。

需要注意的是，使用memcpy函数时需要确保目标内存块的大小足够容纳要复制的数据，以避免发生内存越界访问。在你的代码中，根据你提供的信息，设dest的长度为RECV_BUF_LEN，而count的值应该小于等于RECV_BUF_LEN，以确保不会发生内存越界访问。

看了以上介绍之后满脑子想的都是大！大！大！把dest往大了设就没问题。

但在一次调试中发现dest足够大，且count值也小于等于dest的长度。但每次运行到都会报访问冲突。在一顿排查之后确定没有线程同步问题。后面问了公司大佬，大佬微微一笑直指问题：“src不够大。”接着给我一通解释：原因是我给src分配的内存太小了，但count又设得太大，大于src。导致函数已经拷贝完分配给src的空间，还要继续拷贝。造成了越界访问。

--------------------------------------------------------------------------------------

memcpy函数是根据给定的字节数进行内存拷贝的，它不会检查源内存块的长度。因此，如果count大于src的长度，就会导致越界访问。

当count大于src的长度时，memcpy函数会继续按照count指定的字节数进行内存拷贝，而不会检查源内存块的实际长度。这会导致越界访问，即访问超出了源内存块的范围。

越界访问可能会导致以下问题：

1. 内存冲突：越界访问可能会覆盖其他内存区域的数据，导致数据损坏或不一致。

2. 未定义行为：C/C++标准没有定义越界访问的行为，因此越界访问可能导致程序的行为变得不可预测，可能会导致程序崩溃或产生奇怪的结果。

为了避免越界访问，应该在使用memcpy函数之前，确保目标内存块的大小足够容纳要复制的数据，并且要注意源内存块的长度。可以通过比较count和src的长度，来判断是否存在越界访问的风险。如果存在越界访问的风险，应该进行相应的错误处理或者调整count的值。

---------------------------------------------------------------------------------------------------------------------------------

瞬间了然！

总结：

想将src的完整数据拷贝至dest：dest长度>=src长度=count

不造成越界访问的情况：dest长度>=src长度>=count

反思：

不断补充知识的过程中，要完整了解自己所接触的函数，不要抱着“能用就行”的心理。多做笔记。