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 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).

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"];