Массивы и арифметика указателя

Я делаю эксперимент по массивам и указателям:

int a[3][3] = {1, 2, 3, 4, 5, 6, 7, 8, 9};
int i = 1, j = 1;
int (*p)[3];

p = a;
printf ("*(*(a + i) + j) = %d\n", *(*(a + i) + j));
printf ("*(a[i] + j) = %d\n", *(a[i] + j));
printf ("*(a + i)[j] = %d\n", *(a + i)[j]);
printf ("*(a + 3 * i + j) = %p\n", *(a + 3 * i + j));
printf ("*(*(p + i) + j) = %d\n", *(*(p + i) + j));
printf ("*(p[i] + j) = %d\n", *(p[i] + j));
printf ("*(p + i)[j] = %d\n", *(p + i)[j]);
printf ("*(p + 3 * i + j) = %p\n", *(p + 3 * i + j));
printf ("p[i][j] = %d\n", p[i][j]);

Вывод:

1. *(*(a + i) + j) = 5
2. *(a[i] + j) = 5
3. *(a + i)[j] = 7
4. *(a + 3 * i + j) = 0x7fff5e0e5b94
5. *(*(p + i) + j) = 5
6. *(p[i] + j) = 5
7. *(p + i)[j] = 7
8. *(p + 3 * i + j) = 0x7fff5e0e5b94
9. p[i][j] = 5

Я понимаю вывод 1, 2, 4, 5, 6, 8 и 9. Но я не понимаю вывод 3 и 7.
Почему вывод 7?

Ответ 1

Поскольку приоритет оператора [] выше, чем оператор *, следующее выражение:

int x = *(a + i)[j];

равно:

int* p = (a + i)[j];
int  x = *p;

который также равен:

int* p = ((a + i) + j);
int  x = *p;

который в этом случае равен:

int  (*p0)[3]  = (a + i);
int*  p        = (p0 + j);
int   x = *p;

означает, что как i, так и j в конечном итоге сдвигают первый индекс, создавая p, чтобы указать на элемент a[2][0], значение которого равно 7

И что имеет место для операторов [] и * для оценки этого выражения? Простой тест с помощью (), чтобы удостовериться, что * будет оценен, здесь будет достаточно. Это означает, что это:

int y = (*(a + i))[j];

равно:

int y = *(a[i] + j);

что не более чем просто:

int y = a[i][j];

Ответ 2

Допустим, что a+i есть b

                        +--------------a+0---> {1, 2, 3, 
                        |              a+1--->  4, 5, 6, 
                        |              a+2--->  7, 8, 9};
                        |
*(a + i)[j] =       *(*(b+j)) = *(*(b+1)+1) 
                              = *(*(b+2))
                              = *(*(a+2))
                              = **(a+2) 
                              = a[2][0]
                              = 7

int (*p)[3]; // Is pointer to array of 3 int s

Когда p=a тот же сценарий, аналогичный использованию b