memcpy零字节到const变量-未定义的行为？

Question

在 C 和 C 中，当要复制的字节数为零时，将 memcpy 转换为常量变量是否为未定义的行为？

int x = 0;
const int foo = 0;
memcpy( (void *)&foo, &x, 0 );

这个问题并不是纯粹的理论问题。我有一个场景，其中调用了memcpy，如果目标指针指向常量memory，那么大小参数保证为零。所以我想知道我是否需要把它作为一个特殊情况来处理。

Answer 1

在将本标准的部分和/或文档用于编译器或执行环境的情况下，会指定某些操作的行为，但本标准的其他部分可能会被解读为将其描述为未定义行为，是否以指定的有意义的方式处理行为的问题是实现质量问题。

如果出于某种原因，确保memcpy在大小参数为零的所有情况下始终表现为无操作是昂贵的，即使其中一个指针参数无效，标准也将允许编写符合要求的编译器的人通过生成始终将零大小memcpy视为无操作的代码来判断是否可以最好地满足客户的需求，或者通过生成代码来更快地确保指针可以识别所有size值的有效存储，但需要客户手动处理大小为零且指针无效的情况。

如果代码需要在一个编译器有充分理由以如此不同寻常的方式处理memcpy的平台上运行，或者在一个编译器上运行，其维护者可能会以标准的允许为借口以毫无意义的方式处理程序，那么就需要用代码来混淆程序，以解决实现中的这些怪癖。然而，如果一个人正在为高质量的实现编写不可移植的代码，这种变通办法会不必要地增加混乱并降低性能。

Answer 2

丙17

老一点的问题执行memcpy(0，0，0)能保证安全吗？7.1.4p1指出:

除非在随后的详细描述中另有明确说明，否则下面的每个语句都适用:如果函数的参数具有无效值(例如，函数域之外的值，或者程序地址空间之外的指针，或者空指针，或者当相应的参数不是const-qualified时指向不可修改的存储区的指针)或者具有可变数量的参数的函数所不期望的类型(提升后)，则行为是未定义的。

< code>memcpy的原型是

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

其中第一个参数不是常量限定的，以及

memcpy函数将s2指向的对象中的n个字符复制到s1指向的目标中。

这意味着memcpy计数为0不会复制任何字符（这也通过7.24.1p2“复制零字符”得到了确认，谢谢Lundin），但它不能免除您传递有效参数的要求。