Почему индексирование массива симметрично по индексу и имени

Question

Рассматривая какой-то странный код конкурса обфускации сегодня, я понял, что индексирование массива симметрично, другими словами, x[n] - это то же самое, что и n[x]. Например, рассмотрим следующий код:

#include <iostream> 

int main() 
{ 
    int x[] = {0, 1, 2, 3, 4}; 
    std::cout << x[3] << ' ' << 3[x]; // both display 3 
} 

Live on Coliru

Является ли это действительно совместим со стандартом, и если да, то есть ли веская причина, почему? И бонус, если вы можете предоставить стандартную ссылку/цитату.

PS: код компилируется нормально и с НКОЙ и лязгом

Answer 1

Причина заключается в том, что в C (и C++) оба выражения равны *(x + 3) == *(3 + x).