Длина массива в параметрах массива

Question

Я читаю Программирование на C: Современный подход 0NN: K.N.King, чтобы узнать язык программирования C и текущую главу о функциях, а также параметры массива. Это объясняется тем, что можно использовать конструкции, как это выразить длину параметров массива:

1.

void myfunc(int a, int b, int[a], int[b], int[*]); /* prototype */ 

void myfunc(int a, int b, int n[a], int m[b], int c[a+b+other_func()]) { 
... /* body */ 
} 

2.

void myfunc(int[static 5]); /* prototype */ 

void myfunc(int a[static 5]) { 
... /* body */ 
} 

Так вопрос (ы):

a. Являются ли конструкции в примере 1 чисто косметическими или они влияют на компилятор?

b. Модификатор static в этом контексте только косметической природы? что именно это означает и делает?

c. Можно также объявить параметр массива следующим образом: и является ли это косметическим, как пример 1?

void myfunc(int[4]); 

void myfunc(int a[4]) { ... } 

Answer 1

Внутреннее измерение параметров функции массива всегда переписывается на указатель, так что значения, которые вы даете там не имеют большого значения, к сожалению. Это изменяется для многомерных массивов: начиная со второго измерения, они затем используются компилятором для вычисления таких вещей, как A[i][j].

В этом контексте static означает, что вызывающий должен предоставить как минимум столько элементов. Большинство компиляторов игнорируют само значение. Некоторые недавние компиляторы выводят из него, что нулевой указатель не разрешен в качестве аргумента и, если это возможно, предостерегает вас.

Также обратите внимание, что прототип может иметь *, так что значение здесь не имеет значения. В случае многомерных массивов конкретным значением является то, которое вычисляется с помощью выражения для определения.