argv 中指向字符串的指针是否可以修改？ [复制]

Question

最近（2016 年 1 月，如果问题持续时间足够长的话）我们遇到了问题Are the strings in argv modifiable?。
在this 答案的评论部分，我们（@2501 和我）争论到底是字符串（示例字符是**argv）是可修改的还是指针到字符串（示例指针为*argv）。

相应的标准引用来自 C11 标准草案 N1570，§5.1.2.2.1/2：

参数argc和argv以及指向的字符串 argv 数组应可由程序修改，并保留其 程序启动和程序终止之间的最后存储值。

那么指向argv 指向的字符串的指针是否可以修改？

Answer 1

正如问题中引用的 OP，C11 标准明确指出 argc 和 argv 变量以及 argv 数组指向的字符串是可修改的。这些指针是否可修改，是手头的问题。该标准似乎并没有以一种或另一种方式明确说明它。

标准中的措辞有两点需要注意：

1. 如果指针应该是不可变的，则标准可以通过要求将 main 声明为 int main(int argc, char *const argv[]) 来明确说明，在此问题的另一个答案中声明为 haccks mentioned。

   标准中没有提到const 与argv 相关的事实似乎是故意的。也就是说，缺少const 似乎不是可选的，而是由标准规定的。

2. 标准调用argv 始终是一个数组。修改数组是指修改其成员。因此，标准中的措辞显然是指修改argv 数组中的成员，而它声明argv 是可修改的。

   另一方面，C 中的数组参数（基于 C11 草案 N1570, §6.7.6.3p7）“应调整为'qualified pointer to type'”。因此，下面的代码，

   int foo(int x[2], int y[2])
   {
       if (x[0] > y[0])
           x = y;
       return x[1];
   }
   

   是有效的 C11，因为 x 和 y 分别调整为 int *x 和 int *y。 （这也在 C11 草案 N1570, §6.3.2.1p3 中重申："... array ... 被转换为类型为“pointer to type”的表达式，指向数组的初始元素.. 。”。） 显然，如果 x 和 y 被声明为局部或全局数组，而不是函数参数，则情况并非如此。

就语言律师而言，我想说该标准并没有以一种或另一种方式说明它，尽管它暗示指针也应该是可修改的。因此，作为对 OP 的回答：both。

---

实际上，argv 数组中的指针可修改的传统由来已久。许多库都有初始化函数，它们接受指向argc 的指针和指向argv 数组的指针，其中一些确实修改了argv 数组中的指针（删除特定于库的选项）；例如GTK+ gtk_init() 和MPI_Init()（尽管至少 OpenMPI 明确声明它不会检查或修改它们）。寻找参数声明(int *argc, char ***argv)；这样做的唯一原因——假设意图是使用(&argc, &argv)从main()调用——是修改指针，从命令行参数中解析和删除库特定的命令行参数，修改argc 和 argv 中的指针都需要。

（我最初声明 POSIX 中的 getopt() 工具依赖可修改的指针——该功能可追溯到 1980 年，被大多数 Unix 风格采用，并在 POSIX.2 中标准化1997 - 但这是不正确的，正如 Jonathan Leffler 在评论中指出的那样：POSIX getopt() 不会修改实际指针；只有 GNU getopt() 会这样做，而且只有在未设置 POSIXLY_CORRECT 环境变量时才会这样做。 GNU getopt_long() 和 BSD getopt_long() 会修改指针，除非设置了 POSIXLY_CORRECT，但与 getopt() 相比，它们更年轻且不那么普遍。）

在 Unix 领域，修改 argv[] 数组所指向的字符串的内容被认为是“可移植的”，并让修改后的字符串在进程列表中可见。 DJB 的 daemontools 包readproctitle 就是其中一个有用的例子。 （请注意，必须在原地修改字符串，并且不能扩展，才能使更改在进程列表中可见。）

所有这一切都表明了一个很长的传统，基本上几乎是从 C 作为编程语言诞生以来，并且肯定在 C 标准化之前，处理 argc、argv、argv 数组中的指针，以及这些指针指向的字符串的内容，可以修改。

因为 C 标准的意图不是定义新的行为，而是编纂跨实现的现有行为（以促进可移植性和可靠性等），因此可以安全地假设它是标准的一部分无意遗漏编写者不要明确指定 argv 数组中的指针为可修改的。其他任何事情都会打破传统，并明显违反 POSIX 标准（该标准还旨在促进跨系统的可移植性，并扩展 ISO C 标准中未包含的 C 功能）。

Answer 2

指针是否可修改取决于指针的constness。参数argv 声明为char *argv[] 或char **argv。他们是否将其视为char *const argv[] 取决于环境（我不知道）。