为什么在这个例子中 a+1 == *(a+1)

Why does a+1 == *(a+1) in this example?

本文关键字:a+1 为什么      更新时间:2023-10-16
#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)

a + 1a中第二个元素的地址,也可以写成&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) );