Qual è lo scopo della parola chiave static nel parametro array della funzione come "char s [static 10]"?

Durante la navigazione del codice sorgente mi sono imbattuto in una funzione come questa:

void someFunction(char someArray[static 100])
{
    // do something cool here
}

Con un po 'di sperimentazione sembra che anche altri qualificatori possano apparire lì:

void someFunction(char someArray[const])
{
    // do something cool here
}

Sembra che i qualificatori siano consentiti solo all'interno [ ]dell'array quando l'array viene dichiarato come parametro di una funzione. Cosa fanno questi? Perché è diverso per i parametri delle funzioni?

La prima dichiarazione indica al compilatore che someArrayè lungo almeno 100 elementi. Questo può essere usato per le ottimizzazioni. Ad esempio, significa anche che someArraynon lo è mai NULL.

Si noti che lo standard C non richiede al compilatore di diagnosticare quando una chiamata alla funzione non soddisfa questi requisiti (vale a dire, si tratta di un comportamento non definito non definito).

La seconda dichiarazione dichiara semplicemente someArray(non someArraygli elementi!) Come const, cioè non è possibile scrivere someArray=someOtherArray. È lo stesso che se il parametro fosse char * const someArray.

Questa sintassi è utilizzabile solo all'interno [] di un dichiaratore di array in un elenco di parametri di funzione; non avrebbe senso in altri contesti.

Il testo standard, che copre entrambi i casi di cui sopra, è in C11 6.7.6.3/7 (era 6.7.5.3/7 in C99):

Una dichiarazione di un parametro come '' array di tipo '' è regolata per '' puntatore per assegnare il tipo '', dove le qualificazioni tipo (se presenti) sono quelli indicati nella [e ]del tipo di matrice derivazione. Se la parola chiave static appare anche all'interno [e ]della derivazione del tipo di array, quindi per ogni chiamata alla funzione, il valore dell'argomento effettivo corrispondente fornisce l'accesso al primo elemento di un array con almeno tanti elementi come specificato dal espressione dimensionale.