>>964
便乗質問です。

型Tの配列aがあったとして、
a[b] の解釈は
*(a + sizeof(T) * b) になると思います。
とすると、同様にb[a]は
*(b + sizeof(T) * b)
と解釈されると考えました。

この条件でa[b] == b[a]となるのは、
sizeof(T) == 1 つまりTがcharだけの場合に限る

と考えたのですが、間違いでしょうか?