>>84
その認識も実は間違いなのでは？
というのが>>82の主張だったりします。

たとえば type a[A][B] があったとして
a[x][y] のアドレスが a+(x*A+y)*sizeof(type) である 保証
ってありましたっけ？