在重叠区域上安全使用 memcpy [重复]

Question

在以下场景中使用memcpy 是否安全，其中将数据从较大的索引复制到同一块中的较小索引的块中。例如：

char buf[100];
// fill in the data ...
memcpy(&buf[10], &buf[15], 10);

在上述情况下，我不关心位置 10 - 19 的数据，如果它被覆盖就可以了。有什么理由应该避免这种情况并改用memmove吗？

编辑：抱歉，我没有正确传达我的意图，所以假设我有来自索引 10 - 19 的数据和来自索引 15 - 24 的数据，我想从 15 - 24 复制 10 - 19 的数据，但我没有不关心 10 到 19 的数据，即使它们重叠，对我们 memcpy 是否安全？

Answer 1

编辑：

根据您的编辑，反转以下答案，因为现在您不同意 restrict 约束。

---

旧答案

是的，它是安全的。您正在将buf[10] 到buf[19] 复制到buf[20] 到buf[29]。 （注意memcpy 的第一个参数是目的地。所以buf[10] 到buf[19]不会被覆盖。）

memcpy 在 C11 中定义为：

void *memcpy(void * restrict s1, const void * restrict s2, size_t n);

注意restrict 关键字。 C11 在 6.7.3.8 说（强调我的）：

通过限制限定指针访问的对象具有特殊关联 用那个指针。这种关联，在下面的 6.7.3.1 中定义，要求所有访问 该对象直接或间接使用该特定指针的值.135) 预期 使用限制限定符（如寄存器存储类）是为了提升 优化，并从所有预处理翻译中删除限定符的所有实例 组成符合程序的单元不会改变其含义（即，可观察的 行为）。

在您的示例中，buf[10] 到 buf[19] 只能通过 s2 指针访问，buf[20] 到 buf[29] 只能通过 s1 指针访问。因此，您对memcpy 的使用是完全可以的。

简单来说，只要您提供给memcpy 的数组不重叠，就可以。

Answer 2

正如您在声明中指定的那样：

memcpy(&buf[20], &buf[10], 10);

索引10 到19 的数据与索引20 到29 的数据不重叠，因此即使您关心索引@987654327 中的数据，使用memcpy() 也是安全的@到19。

请注意，如果数据重叠，即使您不关心要复制的数据，使用 memcpy 也不安全，因为未指定 memcpy 的复制方向

Answer 3

这是安全的。没有理由使用memmove.

memcpy 没有指定方向，所以memcpy(&buf[20], &buf[10], 20); 会令人困惑。我们必须确保副本从&buf[20] 开始。 memmove 和 std::copy 确实做出了这样的保证，因此在这种情况下可以安全地使用它们。

memcpy(&buf[10], &buf[20], 10); 不会重叠，因为&buf[10] + 9 == &buf[19] 是复制到的生成地址，并且小于&buf[20]。