数组内存重叠检测的核心是判断源地址与目标地址区间是否交集，充要条件为dst

数组内存重叠检测的核心在于判断源地址与目标地址的内存区间是否存在交集。只要重叠存在，且使用不支持重叠的拷贝函数（如 memcpy），就可能读到已被覆盖的中间数据，导致结果错乱或崩溃。实战中不依赖复杂工具，用基础指针运算就能快速判定。

判断两个内存区间是否重叠

给定源起始地址 src、目标起始地址 dst、拷贝字节数 n，重叠发生的充要条件是：

• dst 且
• src

即：两段内存的「起始」都小于对方的「结束」。这个逻辑适用于任意类型数组（int*、char* 等），只需统一转为 char* 进行字节级比较。例如：

char arr[10] = {0,1,2,3,4,5,6,7,8,9};
memcpy(arr + 3, arr, 7); // 拷贝前7字节到偏移3处 → 重叠！

验证：dst = arr+3，src = arr，n = 7；dst (arr+3) 成立，<code>src (arr) 也成立 → 确实重叠。

避免拷贝冲突的两种安全策略

检测出重叠后，不能硬用 memcpy，而应根据重叠方向选择处理方式：

• 目标在源之后（如 arr+3 ← arr）：需从高地址向低地址反向拷贝，防止已拷贝内容被后续覆盖。可用循环手动实现，或直接调用 memmove（它自动识别并切换方向）。
• 目标在源之前（如 arr ← arr+3）：正向拷贝即可，因为源数据尚未被改写。但手动实现仍建议统一用 memmove，省去方向判断。

记住：memmove 内部会做重叠检测并自动选方向，语义安全，开销几乎可忽略，日常应优先替代 memcpy。

实战示例：原地右移数组 m 位

需求：将 int arr[n] 的前 n−m 个元素整体右移 m 位，后 m 个元素移到开头。典型重叠场景：

• 若用正向循环 for(i=0; i<n i arr>，当 <code>m=3 时，arr[3]=arr[0] 会立刻覆盖原 arr[3]，后续读取即错误。
• 正确做法是先保存后 m 个数，再反向移动前段，最后填回——或更简单：用 memmove 分三步：
  → memmove(arr + m, arr, (n−m) * sizeof(int))
  → memmove(arr, arr + n − m, m * sizeof(int))

两步均无重叠风险，代码简洁，逻辑清晰。

调试时快速定位重叠问题

开发阶段可在关键拷贝前加断言：

assert(!(dst

或封装一个安全包装函数：

void safe_copy(void* dst, const void* src, size_t n) {
  if (dst     memmove(dst, src, n);
  else
    memcpy(dst, src, n);
}

既保留 memcpy 性能优势，又兜底处理重叠，适合对性能敏感又需健壮性的场景。