Quel est le but du mot-clé static dans un paramètre de tableau de fonction comme «char s [static 10]»?

En parcourant du code source, je suis tombé sur une fonction comme celle-ci:

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

Avec quelques expérimentations, il semble que d'autres qualificatifs puissent y apparaître également:

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

Il semble que les qualificatifs ne soient autorisés à l'intérieur de que [ ]lorsque le tableau est déclaré en tant que paramètre d'une fonction. Que font-ils? Pourquoi est-ce différent pour les paramètres de fonction?

La première déclaration indique au compilateur une someArraylongueur d' au moins 100 éléments. Cela peut être utilisé pour les optimisations. Par exemple, cela signifie également que ce someArrayn'est jamais NULL.

Notez que le standard C n'exige pas que le compilateur diagnostique lorsqu'un appel à la fonction ne répond pas à ces exigences (c'est-à-dire qu'il s'agit d'un comportement non défini silencieux).

La seconde déclaration déclare simplement someArray(pas someArrayles éléments de!) Comme const, c'est-à-dire que vous ne pouvez pas écrire someArray=someOtherArray. C'est la même chose que si le paramètre était char * const someArray.

Cette syntaxe n'est utilisable que dans le plus profond []d'un déclarateur de tableau dans une liste de paramètres de fonction; cela n'aurait pas de sens dans d'autres contextes.

Le texte standard, qui couvre les deux cas ci-dessus, est en C11 6.7.6.3/7 (était 6.7.5.3/7 en C99):

Une déclaration d'un paramètre en tant que «tableau de type» doit être ajustée en «pointeur qualifié vers le type», où les qualificateurs de type (le cas échéant) sont ceux spécifiés dans la dérivation de type tableau [et ]de. Si le mot-clé static apparaît également dans la [et ]de la dérivation de type tableau, alors pour chaque appel à la fonction, la valeur de l'argument réel correspondant doit donner accès au premier élément d'un tableau avec au moins autant d'éléments que spécifié par le expression de taille.