c++ - 为什么 a+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) );