Головоломка: «[] симметрична»?

Question

Я пытаюсь решить эту загадку:

int direction = 1; 
char direction_name = direction["nsew"]; 

Как почему он компилируется на первом месте, что именно он пытается доказать и то, что он используется?

---

Я обнаружил этот код на сайте, без соответствующего объяснения, кроме «[] является симметричным». Я имею в виду то, что я должен делать с этой информацией ..

Answer 1

Этот код эквивалентен:

#include <stdio.h> 

int main(void) { 
    char direction_name = 1["nsew"]; 
    printf("[%c]\n",direction_name); 
    return 0; 
} 

, который will print [с], потому что

char direction_name = 1["nsew"]; // "nsew" is string literal, i.e. an array 
           // of 5 chars 'n' 's' 'e' 'w' '\0' 

равна

char direction_name = "nsew"[1]; 

, а также

char direction_name = *("nsew" +1); 

Поэтому [] симметрична в том смысле, что

x[y] == y[x] // if conditions given in C standard 6.5.2.1/2 are met 

Вы можете думать о [] в качестве симметричного соотношения в алгебре (при предположениях от 6.5.2.1 § 2):

Или вы можете думать о [] как линейное отображение (преобразование, функционал) между reflexive (Banach) линейными пространствами V и V **, если хотите:

x[f] = [f,x] = f[x] 

---

стандарта С n1124 6.5.2.1 § индексацией массивами (акцент основного)

постфиксного выражением, за которым следует выражение в квадратных скобках [] является подстрочным обозначением элемента объекта массива. Определение индексного оператора [] состоит в том, что E1[E2] идентичен (*((E1)+(E2))).Из-за правило преобразования, которые применяются к бинарному оператору +, если E1 является объектом массива (что эквивалентно, указатель на начальный элемент массива объекта) и E2 является целым числом , E1[E2] обозначает E2 -го элемент от E1 (с нуля).

Answer 2

Следующее утверждение:

char direction_name = direction["nsew"]; 

эквивалентно:

char direction_name = "nsew"[direction]; 

, а также:

char direction_name = *("nsew" + direction); // note that addition is commutative 

direction имеет целочисленное значение 1, поэтому вы получают вторую букву (в C массивах индексируются с нуля) строка литерала"nsew" (это тип массива char[5]), то есть 's' знак.