Today I find the following piece of code
void func(int A[const 10]) { ... }
By compiling it using gcc, I conclude that int A[const] is equivalent to int* const A instead of const int *A. I wonder why here: const is inside the brackets, why does it not modify elements of A but A itself?
I wonder why
Because the C standard explicitly says so.
6.7.6.3 ¶ 7 A declaration of a parameter as "array of type" shall be adjusted to "qualified pointer to type", where the type qualifiers (if any) are those specified within the [ and ] of the array type derivation.
Note, "qualified pointer to type", not "pointer to qualified type". The latter is expressible with the ordinary syntax const int A[10].
This syntax was invented specifically to express "a qualified pointer to type, adjusted from an array type with an optional size provided for documentation". It is only valid in function prototypes.
Meaning of "void func(int a[const 10])"
It exactly the same as void func(int *const a). The 10 is ignored and has no meaning - in this context, it's just documentation.
int *const a is a const pointer to mutable elements.
See Constant pointer vs Pointer to constant , What is the difference between const int*, const int * const, and int const *? , Why does a C array decay to a pointer when passed with size .