在数组中将有效数据前置时使用memcpy移位是否安全？

现有代码的两个核心风险 #

• 参数单位错误：memcpy的第三个参数是待拷贝的字节总数，而非元素个数。你需要拷贝5个整型元素，正确的字节长度应为5 * sizeof(int)，直接传5会导致拷贝长度严重不足（常规32位整型环境下仅会拷贝1个多整型的内容，完全不符合预期）。
• 内存重叠的未定义行为：你的目标内存区域为my_array[0] ~ my_array[4]，源内存区域为my_array[4] ~ my_array[8]，两者在my_array[4]位置发生重叠。C标准明确规定：当memcpy的源、目标内存存在重叠时，行为属于未定义。

关于拷贝顺序的疑问 #

C标准完全没有约束memcpy的拷贝实现顺序：

• 部分实现会按低地址到高地址的顺序依次拷贝，你的操作可能碰巧在当前环境下运行正常
• 但也有实现为了性能优化（比如用SIMD批量拷贝、适配其他重叠场景），会采用高地址到低地址的拷贝顺序，甚至直接调用硬件批量搬运指令，这种情况下一旦出现内存重叠，就会直接损坏数据
• 哪怕测试下来当前环境的代码能正常运行，更换编译器、libc实现、硬件架构时随时可能出现问题，属于不可靠的遗留代码。

正确实现方式 #

针对数组内移位这类存在内存重叠的场景，应使用memmove：

• memmove的标准明确支持重叠内存区域的拷贝，实现会自动判断重叠方向，选择安全的拷贝顺序（必要时会先将源数据拷贝到临时缓冲区再写入目标），完全避免数据被覆盖损坏的问题
• 符合要求的写法为：
  memmove(my_array, my_array + 4, 5 * sizeof(int));

补充说明 #

你提出的用循环缓冲区替代数组移位的思路完全正确：如果后续需要频繁执行这类移位操作，循环缓冲区仅需调整读写指针位置，完全避免内存拷贝的开销，不管是性能还是可维护性都远优于频繁移位数组，非常适合这类场景。如果后续能确定源、目标内存完全不重叠，再用memcpy可以获得更好的性能，其余场景优先用memmove规避重叠风险。

内容的提问来源于stack exchange，提问作者Izzo