Какова цель ключевого слова static в параметре массива функции типа «char s [static 10]»?

Просматривая исходный код, я наткнулся на такую ​​функцию:

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

Поэкспериментировав, оказалось, что там могут появиться и другие квалификаторы:

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

Похоже, что квалификаторы разрешены внутри только [ ]тогда, когда массив объявлен как параметр функции. Что они делают? Почему для параметров функции он другой?

Первое объявление сообщает компилятору , что someArrayявляется , по меньшей мере длиной 100 элементов. Это можно использовать для оптимизации. Например, это также означает, что someArrayникогда NULL.

Обратите внимание, что стандарт C не требует, чтобы компилятор диагностировал, когда вызов функции не соответствует этим требованиям (т. Е. Это молчаливое поведение undefined).

Второе объявление просто объявляет someArray(не someArrayэлементы!) Как const, т. Е. Вы не можете писать someArray=someOtherArray. Это так же, как если бы параметр былchar * const someArray .

Этот синтаксис можно использовать только в самой внутренней []части декларатора массива в списке параметров функции; в других контекстах это не имело бы смысла.

Стандартный текст, который охватывает оба вышеупомянутых случая, находится в C11 6.7.6.3/7 (было 6.7.5.3/7 в C99):

Объявление параметра как «массив типа» должно быть скорректировано как «квалифицированный указатель на тип», где квалификаторы типа (если есть) - это те, которые указаны в пределах [и ]для производного типа массива. Если ключевое слово static также появляется внутри [и ]для производного типа массива, то для каждого вызова функции значение соответствующего фактического аргумента должно обеспечивать доступ к первому элементу массива, содержащему по крайней мере столько элементов, сколько указано в выражение размера.