c - 如何使用 memcpy 将指针复制到数组元素

Question

执行此代码后:

char **argv_p;
char *argv[20] = { NULL };

memcpy(&argv_p, &argv, sizeof(argv_p));

argv_p 最终为 NULL。

这是因为 &argv 被分解为指向 argv 数组中第一个指针的指针。使用 &argv[0] 会产生相同的结果(如预期)。

问题是，C 中是否有语法允许将 char *** 传递给 memcpy，而无需诉诸像这样的 hack

char **argv_p;
char *argv[20] = { NULL }, **argv_start = argv;

memcpy(&argv_p, &argv_start, sizeof(argv_p));

我已经测试并产生了正确的结果。

编辑:我知道你可以直接赋值，但这是为了解决 const 问题。如果有人知道为什么 execve 采用 char * const * 而不是 char const ** 作为其第二个参数，则可得到额外的互联网积分。

编辑编辑:澄清一下，常量之间的区别:

char * const * - 使数组的内容不可变char const ** - 使数组指向的字符串缓冲区的内容不可变。

Const 总是构造左边的东西，除非它首先出现(ANSI C 人员需要为此而努力)，在这种情况下它构造右边的东西。尽管许多人编写 const char *，但某些人认为编写 char const * 是最佳实践，因为这样 const 的应用是一致的。

在没有收到来自 C 编译器的警告的情况下，您无法丢弃 const。 memcpy 是在没有警告的情况下解决此问题的唯一方法。

许多旧库没有正确地将其函数的参数标记为 const，如果您已将 const 正确应用于代码中的类型，编译器将发出警告。这就是为什么使用 memcpy 有时是可以接受的。

Answer 1

不要尝试解决 const通过复制指针。

相反，可能需要复制指针指向的数据，然后您可以使用非常量指针指向非常量数据，编译器和优化器就一切顺利。

为避免限定符而使用指针别名永远是 Not Acceptable ，无论如何完成，即将指针复制到具有不同限定符的变量甚至都不是好的做法，在某些情况下甚至可能导致运行时错误或其他未定义的行为(例如，在 const 限定符导致引用的存储为只读的情况下，并且(ab)使用别名来尝试实际修改存储)。

在可能的情况下，应在“上游”删除限定符，以避免与可能不接受带有限定符的参数的系统库造成不必要的冲突(C 当然并不总是允许这种可能性)。

如果绝对必要，并且可以证明不会引起问题，则可以使用 __UNCONST()宏。如果目标平台的编译器没有提供，那么最好的解决方案是定义 __UNCONST()作为无操作，并记录可能导致可接受的潜在警告(并说明原因)。