Я застрял в этом коде доступа к значениям в 2D-массиве с помощью указателей

Question

int main() 
{ 
    int a[4][2] = {1,2,3,4,5,6,7,8}; 
    printf("%d\n",*(a[2]+1)); 
    printf("%d\n", *(*(a + 2)+1)); 
    getch(); 
} 

Двумерный массив можно рассматривать как одномерный массив.
вывод этой программы - 6 в обоих printf. Мой вопрос заключается в том, как выполняется printf("%d\n", *(*(a + 2)+1)); и как приоритет оценки asterik * и +.

Answer 1

Давайте рассмотрим как ваши вызовы printf.

a[2] в клетке int[2] = {5,6}

a[2] + 1 является указателем, который держит адрес номер 6 (а [2] неявно преобразуется в указатель), так что после разыменования это 6.

a есть и int[4][2] массив, который преобразуется в указатель (после преобразования он держит указатель на первый элемент)

a + 2 является указателем, который держит адрес указателя на номер 5

*(a + 2) является указателем, который имеет адрес номер 5

*(a + 2) + 1 является указателем, который имеет адрес номер 6

*(*(a + 2) + 1) это номер 6

EDIT:

К сожалению, для некоторых неправильных утверждений. Я принимаю во внимание комментарии, и мне нужно добавить, что в приведенном выше примере выражение lvalue типа массива неявно преобразуется в указатель на его первый элемент.

Answer 2

Если у Вас есть один одномерный массив как, например

int a[] = { 5, 6 }; 

то выражение a[1] эквивалентно выражению *(a + 1) и дает второй элемент массива, который равен 6.

Массив a из вашего примера

int a[4][2] = {1,2,3,4,5,6,7,8}; 

можно переписать следующим образом для ясности

int a[4][2] = { { 1,2 }, { 3,4 }, { 5,6 }, { 7,8 } }; 

Вы также можете ввести имя ЬурейеЕ для массива

typedef int T[2]; 

где наименование T обозначает тип int[2].

С помощью этого ЬурейеЕ вы можете переписать декларацию (инициализация может быть опущен) из исходного массива следующим образом

T a[4]; 

Теперь давайте рассмотрим выражение *(*(a + 2)+1). Подвыражение *(a + 2) эквивалентно a[2] и, как объяснялось выше, даст третий элемент массива типа T, где T имеет тип int[2]. Таким образом, объектом этого подвыражения будет, в свою очередь, один размерный массив типа T и соответствовать третьему элементу массива a. Мы можем представить его как

T tmp = { 5,6 }; 

или

int tmp[2] = { 5,6 }; 

Таким образом, выражение *(*(a + 2)+1) эквивалентно выражению *(tmp + 1), что эквивалентно tmp[1] и даст второй элемент этого массива мыслимые TMP. То есть вы получите 6.