Referenciando o standard do C:
#6.5.2.1 Array subscripting Constraints
One of the expressions shall have type "pointer to complete object type", the other expression shall have integer type, and the result has type "type".Semantics
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 thatE1[E2]
is identical to(*((E1)+(E2)))
. Because of the conversion rules that apply to the binary + operator, ifE1
is an array object (equivalently, a pointer to the initial element of an array object) andE2
is an integer,E1[E2]
designates theE2
-th element ofE1
(counting from zero).
O relevante é que ao escrever a[b]
, um dos valores deve ser um ponteiro (ou uma array que decaia a um ponteiro) e outro deve ser um tipo integral. Não é especificado nenhuma restrição sobre qual deve ser o que. O segundo ponto é que a[b]
é equivalente a *(a+b)
. Assim temos:
a[b] = *(a+b) = *(b+a) = b[a]
O mesmo pode ser aplicado também a strings literais, já que são const char[]
:
char M = 4["Ola Mundo"];
Embora essa sintaxe seja perfeitamente válida e legal, não é boa prática acessar arrays intervendoinvertendo os operandos assim. A leitura fica bastante não intuitiva e não há vantagens.