const为参数上的数组大小表达式

我有以下C代码示例：

int f(const int farg[const 5]) { } 

数组大小的附加const有什么作用？ 当我省略const时有什么区别？

Answer 1

 int d(const int darg[5]) 

意味着darg是一个指向const int的指针。

 int e(int earg[const 5]) 

意味着earg是一个指向int的const指针。 这是一个c99function。 TA[qualifier-list e]等同于参数声明中的T * qualifier-list A

当然（从上面）：

 int f(const int farg[const 5]) 

意味着farg是一个指向const int的const指针。

Answer 2

数组大小的附加const有什么作用？

C11：6.7.6.3：

将参数声明为” 类型数组”应调整为”限定指向类型 ” ，其中类型限定符（如果有）是在数组类型派生的[和]中指定的那些。

这意味着

 int f(const int farg[const 5]) 

将调整为

 int f(const int *const farg) 

当我省略const时有什么区别？

省略后，相当于

 int f(const int frag[5]) //or int f(const int frag[]) 

这最终相当于

 int f(const int *farg)