为什么在这个例子中+ 1 == *（a + 1）？

Question

#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)？

Answer 1

a + 1是a中第二个元素的地址，也可以写成&a[1]（根据定义相当于&*(a + 1)。）

*(a + 1)是一个引用第二个数组的左值。根据定义，它等同于a[1] 就像指针衰减的任何其他数组一样，这个左值衰减到指向它引用的数组的第一个元素的指针，即它衰减到&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) );