Cについてですが、
配列の宣言と使用の2種類があると思いますが、
C11 のドラフト の
6.7.6.2 Array declarators
1 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.
the expression shall have an integer type. If the expression is a constant expression, it shall have a value greater than zero.
とありますから
「整数型で0より大きい値」ということになると思います。
(intのみ(char a[10];
←この場合はリテラルの10はint)というわけではなく例えばstatic char a[10000ULL];
などもOKです)
配列としてのアクセスについては、
6.5.2.1 Array subscripting
2 A postfix expression followed by an expression in square brackets []
is a subscripted designation of an element of an array object. The
definition of the subscript operator [] is that E1[E2] is identical to
(*((E1)+(E2))). Because of the conversion rules that apply to the
binary + operator, if E1 is an array object (equivalently, a pointer
to the initial element of an array object) and E2 is an integer,
E1[E2] designates the E2-th element of E1 (counting from zero).
E2 is an integer
とありますからこちらも整数型(こちらはマイナス可、(結果は配列の範囲内である必要があります(アドレスとしては最後の次のアドレスは有効、この場合は読み書きはできない)))ですね。