Sind die Zeichenfolgen in argv änderbar?

Ich habe gerade ein kleines Programm geschrieben, das Befehlszeilenargumente in C liest, nichts allzu schwieriges. Ich habe sie auch modifiziert, zum Beispiel das erste Zeichen des Parameters in Großbuchstaben geändert.

Ich weiß, dass Sie Zeichenfolgenliterale nicht ändern sollten, da dies zu undefiniertem Verhalten führen kann, also habe ich mich nur gefragt, ob die Zeichenfolgen in der *argv[] sind Literale, die Sie nicht ändern sollten.

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

Aus dem C11-Standardentwurf N1570, §5.1.2.2.1/2:

Die Parameter argc und argv und die Zeichenfolgen, auf die durch die hingewiesen wird argv
Array soll durch das Programm veränderbar sein und ihre zuletzt gespeicherten Werte zwischen Programmstart und Programmende beibehalten.

Sie sind modifizierbar. Das heißt, sie sind keine String-Literale.

Aber vorsichtig sein: das obere Zitat bezieht sich nur auf Hinweise zu Saitenohne den obligatorischen Nullzeiger at argv[argc]¹.
Aus dem C11-Standardentwurf N1570, §5.1.2.2.1/2 (wie oben)¹:

argv[argc] soll ein Nullzeiger sein

Anmerkungen:

• Etwas zu diesem Satz:

  Ich weiß, dass Sie Zeichenfolgenliterale nicht ändern sollten, da dies zu undefiniertem Verhalten führen kann […]

  “kann”? Das tut es immer. Undefiniertes Verhalten umfasst erwartetes, als ob wohldefiniertes und unerwartetes Verhalten.

_{¹ Danke an @black!}

Die Arrays, die die Zeichenfolgen in unterstützen argv sind modifizierbar.
Aber Sie haben keine Möglichkeit, ihre Größe zu kennen.

Ich würde die Stirn runzeln, wenn ich Code sehe, der (versucht) die Größe der Zeichenfolgen zu erhöhen.

#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;
}

Auf meiner Maschine ruft man dieses Programm mit auf one two three Argumente produziert

original argv[1] is one
original argv[2] is two
original argv[3] is three

first modification to argv[1] is one foo
first modification to argv[2] is foo foo
first modification to argv[3] is foo foo

final argv[3] is foo foo bar
final argv[2] is foo foo foo bar bar
final argv[1] is one foo foo foo bar bar bar