Le stringhe in argv sono modificabili?

Question

Ho appena scritto un piccolo programma che legge gli argomenti della riga di comando in C, niente di troppo difficile. Li stavo anche modificando, ad esempio cambiando il primo carattere del parametro in maiuscolo.

So che non è necessario modificare i valori letterali stringa in quanto può causare un comportamento non definito, quindi è stato solo chiedersi se le stringhe nello *argv[] sono letterali che non si dovrebbero modificare.

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

Answer 1

Dal progetto di norma C11 N1570, §5.1.2.2.1/2:

I parametri argc e argv e le corde a cui punta l'array argv deve essere modi fi grado dal programma e mantengono i loro valori memorizzati tra l'avvio del programma e la chiusura del programma.

Sono modificabili. Ciò significa che non sono stringhe letterali.

Ma attenti: la citazione in alto si riferisce solo ai puntatori in stringhe, escluso il puntatore nullo obbligatoria a argv[argc] .
Dal progetto di norma C11 N1570, §5.1.2.2.1/2 (come sopra) :

argv[argc] sarà un puntatore nullo

---

Note:

• Qualcosa in merito a questa frase:

  So che non si deve modificare stringhe letterali in quanto può causare un comportamento indefinito [...]

  "può"? Lo fa sempre. Il comportamento non definito include il comportamento previsto, come se ben definito e inatteso.

---

_{Grazie a @black!}

Answer 2

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

argv è array di puntatori a char (right left rule). Ma gli array quando vengono specificati negli argomenti della funzione sono trattati come puntatori al tipo di elemento dell'array, quindi puoi dire che è puntatore al puntatore al char. Quindi, in base alla firma del principale, è possibile modificarlo. Altrimenti doveva essere puntatore al puntatore a constant char.

Anche da definition non è una stringa letterale.

Answer 3

Gli array che supportano le stringhe in argv sono modificabili.
Ma non hai modo di conoscere le loro dimensioni.

Mi vergognerei vedendo il codice che (cerca di) aumentare la dimensione delle stringhe.

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

Sulla mia macchina, chiamando quel programma con one two three argomenti produce

 
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