Was ist der Zweck des statischen Schlüsselworts im Array-Parameter einer Funktion wie "char s [static 10]"?

Beim Durchsuchen eines Quellcodes bin ich auf eine Funktion wie diese gestoßen:

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

Bei einigen Experimenten scheinen dort auch andere Qualifikanten zu erscheinen:

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

Es scheint, dass Qualifizierer nur innerhalb von zulässig sind, [ ]wenn das Array als Parameter einer Funktion deklariert ist. Was machen diese? Warum ist es bei Funktionsparametern anders?

Die erste Erklärung weist den Compiler an, die someArrayist mindestens 100 Elemente lang. Dies kann für Optimierungen verwendet werden. Zum Beispiel bedeutet es auch, dass dies someArrayniemals der Fall ist NULL.

Beachten Sie, dass der C-Standard vom Compiler keine Diagnose verlangt, wenn ein Aufruf der Funktion diese Anforderungen nicht erfüllt (dh es handelt sich um ein stilles undefiniertes Verhalten).

Die zweite Deklaration deklariert einfach someArray(nicht someArraydie Elemente!) Als const, dh Sie können nicht schreiben someArray=someOtherArray. Es ist dasselbe, als ob der Parameter wäre char * const someArray.

Diese Syntax kann nur im Innersten verwendet werden [] eines Array-Deklarators in einer Funktionsparameterliste verwendet werden. In anderen Zusammenhängen wäre dies nicht sinnvoll.

Der Standardtext, der beide oben genannten Fälle abdeckt, befindet sich in C11 6.7.6.3/7 (war 6.7.5.3/7 in C99):

Eine Deklaration eines Parameters als '' Array vom Typ '' wird an '' qualifizierter Zeiger auf Typ '' angepasst, wobei die Typqualifizierer (falls vorhanden) diejenigen sind, die in der [und ]der Array-Typableitung angegeben sind. Wenn das Schlüsselwort static auch innerhalb der Ableitung [und ]des Array-Typs erscheint , muss der Wert des entsprechenden tatsächlichen Arguments für jeden Aufruf der Funktion den Zugriff auf das erste Element eines Arrays mit mindestens so vielen Elementen ermöglichen, wie durch das angegeben Größenausdruck.