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

Question

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

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

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

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

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

Answer 1

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

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

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

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

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

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