Standard: http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1124.pdf
Strona: 27
Czytamy: 6.7.5.2, 6.7.5.3
Edit za radą z komentarza:
In addition to optional type qualifiers and the keyword static, the [ and ] may delimit an expression or *. If they delimit an expression (which specifies the size of an array), the
expression shall have an integer type. If the expression is a constant expression, it shall
have a value greater than zero. The element type shall not be an incomplete or function
type. The optional type qualifiers and the keyword
static
shall appear only in a
declaration of a function parameter with an array type, and then only in the outermost
array type derivation
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. If the keyword static also appears within the [ and ] of the
array type derivation, then for each call to the function, the value of the corresponding
actual argument shall provide access to the first element of an array with at least as many
elements as specified by the size expression