Qual é o objetivo da palavra-chave estática no parâmetro de matriz da função como "char s [static 10]"?

Ao navegar em algum código-fonte, deparei-me com uma função como esta:

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

Com algumas experiências, parece que outros qualificadores podem aparecer lá também:

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

Parece que qualificadores só são permitidos dentro de [ ]quando a matriz é declarada como um parâmetro de uma função. O que eles fazem? Por que é diferente para parâmetros de função?

A primeira declaração informa ao compilador que someArraypossui pelo menos 100 elementos. Isso pode ser usado para otimizações. Por exemplo, também significa que someArraynunca é NULL.

Observe que o padrão C não exige que o compilador diagnostique quando uma chamada para a função não atende a esses requisitos (ou seja, é um comportamento indefinido silencioso).

A segunda declaração simplesmente declara someArray(e não someArrayos elementos!) Como const, ou seja, você não pode escrever someArray=someOtherArray. É o mesmo que se o parâmetro fosse char * const someArray.

Essa sintaxe é utilizável apenas no interior []de um declarador de matriz em uma lista de parâmetros de função; não faria sentido em outros contextos.

O texto padrão, que abrange os dois casos acima, está em C11 6.7.6.3/7 (era 6.7.5.3/7 em C99):

Uma declaração de um parâmetro como '' matriz do tipo '' deve ser ajustada para '' ponteiro qualificado para o tipo '', onde os qualificadores de tipo (se houver) são aqueles especificados na derivação do tipo [e ]na matriz. Se a palavra-chave static também aparecer dentro da derivação do tipo [e ]da matriz, para cada chamada para a função, o valor do argumento real correspondente fornecerá acesso ao primeiro elemento de uma matriz com pelo menos tantos elementos, conforme especificado pelo expressão de tamanho.