Perché abbiamo bisogno di argc mentre c'è sempre un null alla fine di argv?

Sembra che argv[argc]sia sempre NULL, quindi penso che possiamo attraversare l'elenco degli argomenti senza argc. Un singolo whileciclo lo farà.

Se c'è sempre un NULLalla fine di argv, perché ne abbiamo bisogno argc?

Sì, argv[argc]==NULLè garantito. Vedere C11 5.1.2.2.1 Avvio del programma (enfasi mia)

Se vengono dichiarati, i parametri della funzione principale devono obbedire ai seguenti vincoli:

Il valore di argc non deve essere negativo. argv [argc] deve essere un puntatore nullo.

Fornire argcquindi non è vitale ma è comunque utile. Tra le altre cose, consente di verificare rapidamente che sia stato passato il numero corretto di argomenti.

Modifica: la domanda è stata modificata per includere C ++. n3337 bozza 3.6.1 La funzione principale dice

2 ... argc è il numero di argomenti passati al programma dall'ambiente in cui il programma viene eseguito. .... Il valore di argc non deve essere negativo. Il valore di argv [argc] deve essere 0 .

Sì, argv[argc]è garantito che sia un puntatore nullo. argcè usato per comodità.

Citando la spiegazione ufficiale di C99 Rationale, nota le parole controllo ridondante :

Rationale for International Standard - Programming Languages ​​- C §5.1.2.2.1 Avvio del programma

La specificazione di argce argvcome argomenti per mainriconoscere un'ampia pratica precedente. argv[argc]deve essere un puntatore nullo per fornire un controllo ridondante per la fine della lista, anche sulla base della pratica comune.

È per motivi storici e compatibilità con il vecchio codice. In origine, non c'era la garanzia che esistesse un puntatore nullo come ultimo elemento dell'array argv. Ma argc è sempre esistito.

Ne abbiamo "bisogno", perché è richiesto da vari standard.

Siamo liberi di ignorare completamente il valore, ma poiché è il primo parametro di main, dobbiamo averlo nell'elenco dei parametri. In C ++ (e probabilmente dialetti C non standard), puoi semplicemente omettere il nome del parametro, come questo frammento C ++ (facile da convertire in C):

#include <stdio.h> // C-compatible include, guarantees puts in global namespace

// program will print contents of argv, one item per line, starting from argv[0]

int main(int /*argc*/, char *argv[]) { // uncomment argc for C

    //(void)argc; // uncomment statement for C

    for (int i=0; argv[i]; ++i) {
        puts(argv[i]);
    }

    return 0;
}

Nello standard C, con le impostazioni comuni degli avvisi, il parametro inutilizzato genera un avviso, che può essere corretto da un'istruzione come la (void)argc;quale fa sì che il nome venga utilizzato senza generare alcun codice.

argcè bello averlo, perché altrimenti molti programmi avrebbero bisogno di controllare i parametri per ottenere il conteggio. Inoltre, in molti linguaggi di programmazione con array che hanno lunghezza, non c'è alcun argcparametro, c'è solo un array con gli elementi.