Почему в этом примере используется символ + 1 == * (a + 1)?

#include <iostream>

int main()
{
    int a[3][3] = {{22, 33, 44}, {55, 66, 77}, {88, 99, 100}};
    std::cout << a[1] << '\n' << a + 1 << '\n' << *(a + 1);
}
0x0013FF68
0x0013FF68
0x0013FF68

Почему a+1 == *(a+1)?

Ответ 1

a + 1 - это адрес второго элемента в a и также может быть записан как &a[1] (который по определению эквивалентен &*(a + 1)).

*(a + 1) - это lvalue, относящийся ко второму массиву. Это эквивалентно a[1] по определению. Точно так же, как с любым другим массивом при расчете указателя, эта lvalue распадается на указатель на первый элемент массива, к которому он относится, т.е. Он распадается на &a[1][0]. Но это эквивалентно адресу этого объекта массива. Таким образом, значение такое же, как и значение &a[1]... Именно так мы определили значение выражения a + 1 выше.

Обратите внимание, что массив распадается на указатель, потому что наилучшее совпадение для второй вставки operator<<(void const*). Рассмотрим

int (*p1)[3] = a + 1;

int (&p2)[3] = *(a + 1); // We could also have written *p1

int* p3 = p2; // The array-to-pointer decay

assert( static_cast<void*>(p1) == static_cast<void*>(p3) );