argv 中的字符串可以修改吗？

Question

我刚刚写了一个用 C 语言读取命令行参数的小程序，没什么难的。我也在修改它们，例如将参数的第一个字符更改为大写。

我知道您不应该修改字符串文字，因为它会导致未定义的行为，所以只是想知道 *argv[] 中的字符串是否是您不应该更改的文字。

int main(int argc, char *argv[])

Answer 1

来自 C11 标准草案 N1570，§5.1.2.2.1/2：

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

它们是可修改的。这意味着它们不是字符串文字。

但小心：上面的引用仅指指向字符串的指针，不包括argv[argc]¹处的强制空指针。 来自C11标准草案N1570，§5.1.2.2.1/2（同上）¹：

argv[argc] 应为空指针

---

注意事项：

• 关于这句话的一些事情：

  我知道你不应该修改字符串文字，因为它会导致 未定义的行为 [...]

  “可以”吗？它总是如此。未定义的行为包括预期的、定义良好的和意外的行为。

---

_{¹ 感谢@black！}

Answer 2

支持argv 中字符串的数组是可修改的。
但是你无法知道它们的大小。

看到（试图）增加字符串大小的代码，我会皱眉头。

#include <stdio.h>
#include <string.h>
// this program may behave erraticaly
int main(int argc, char **argv) {
    for (int k = 1; k < argc; k++) {
        printf("original argv[%d] is %s\n", k, argv[k]);
    }
    printf("\n");
    for (int k = 1; k < argc; k++) {
        strcat(argv[k], " foo"); // add foo to each argv string
        printf("first modification to argv[%d] is %s\n", k, argv[k]);
    }
    printf("\n");
    for (int k = argc; k > 1; k--) {
        strcat(argv[k - 1], " bar"); // add bar to each argv string
        printf("final argv[%d] is %s\n", k - 1, argv[k - 1]);
    }
    return 0;
}

在我的机器上，使用one two three 参数调用该程序会产生

原始 argv[1] 是一个 原来的 argv[2] 是两个 原来的 argv[3] 是三 对 argv[1] 的第一次修改是一个 foo 对 argv[2] 的第一个修改是 foo foo 对 argv[3] 的第一个修改是 foo foo 最后的 argv[3] 是 foo foo bar 最后的 argv[2] 是 foo foo foo bar bar final argv[1] 是一个 foo foo foo bar bar bar