c - 请查看这种令人费解的行为以及 memcpy() 的输出以了解重叠的内存块

Question

阅读完以下有关 memcpy() 的内容后，我继续阅读有关 memmove() 的内容:

为了避免溢出，目标参数和源参数指向的数组的大小应至少为 num 个字节，并且不应重叠(对于重叠的内存块，memmove 是一种更安全的方法)。 (LINK)

在检查了用于说明 memmove() 工作原理的程序后，我决定使用 memcpy() 来调整它，以查看输出有多么不同。令我惊讶的是，即使是内存块重叠的情况，它们也是相同。这是程序和输出，之后我继续描述我的困惑:

#include <stdio.h>
#include <string.h>

int main ()
{
  char str[] = "memmove can be very useful......";
  //memmove (str+20,str+15,11);
  memcpy(str+20,str+15,11);  //Simply used memcpy instead of memmove
  puts (str);
  return 0;
}

输出 memmove 非常有用。

此输出与 memmove() 的输出相同。这是我的困惑:

1) 为什么两者的输出相同？由于在 memcpy() 的情况下没有使用中间缓冲区，我希望复制从复制字符开始str+15 位置到 str+20 位置(覆盖现有内容)，str+16 位置的字符到 str +21 位置，依此类推，直到str+20 位置的字符，此时已更改为str+15 位置的字符，将被复制到str+25 位置。但事实并非如此，没有覆盖，它的作用就好像使用中间缓冲区来写入确切的原始字符串。这是一个说明:

memmove can be very useful......  //Original positions before memcopy
               ^    ^
            str+15  str+20

memmove can be very vseful......
                    ^ copies str+15 to str+20

memmove can be very veeful......
                     ^ copies str+16 to str+21
memmove can be very verful......
                      ^ copies str+17 to str+22
memmove can be very veryul......
                       ^copies str+18 to str+23
memmove can be very very l......
                        ^ copies str+19 to str+24
memmove can be very very v......
                         ^ I expect 'v' to be copied from str+20 to str+25
                           as str+20  now has 'v',not 'u'
memmove can be very very ve.....
                          ^ I expect 'e' to be copied from str+21 to str+26 
                            as str+21 now has 'e' not 's'

那么为什么 memcpy() 将其复制为 memmove 可以非常非常有用，而不是 memmove 可以非常非常非常 v ？

2) 现在是由此产生的一个次要小问题。以下是关于 memmove() ( LINK )

复制就像使用中间缓冲区一样进行，允许目标和源重叠。

这里的as if到底是什么？真正不是用于memmove()的中间缓冲区吗？

Answer 1

如果对象重叠，则 memcpy 的行为未定义。试图推理未定义的行为没有什么意义。因为它是未定义的，所以它违背了理性。您知道规则，并且它们有明确的记录。如果对象重叠，请使用 memmove。

至于“好像”的使用，即指定行为，但不对实现施加任何限制。这允许库实现者使用他们认为合适的任何方法，只要最终结果与使用中间缓冲区相同即可。例如，实现可以检测对象不重叠，因此出于性能原因避免使用中间缓冲区。