*(&arr+1)-arr如何提供数组大小[重复]

Question

int arr[] = { 3, 5, 9, 2, 8, 10, 11 };      
int arrSize = *(&arr + 1) - arr;
std::cout << arrSize;

我不知道这是怎么回事。所以任何人都可以帮我做这件事。

Answer 1

如果我们将数组与指针一起“绘制”，它将如下所示：

+--------+--------+-----+--------+-----+
| arr[0] | arr[1] | ... | arr[6] | ... |
+--------+--------+-----+--------+-----+
^        ^                       ^
|        |                       |
&arr[0]  &arr[1]                 |
|                                |
&arr                             &arr + 1

表达式&arr和&arr+1的类型是int(*)[7]。如果我们取消引用这些指针中的任何一个，我们将得到int[7]类型的值，并且与所有数组一样，它将衰减为指向其第一个元素的指针。

因此，我们使用指向&arr+1的第一个元素的指针（取消引用实际上使这个UB，但仍然适用于任何正常的编译器）和指向&arr的第一个元素的指针之间的差异。

所有指针算术都是在指向类型的基本单元中完成的，在本例中是int，因此结果是指向的两个地址之间int元素的数量。

了解数组将自然衰减为指向其第一个元素的指针可能很有用，即表达式arr将衰减为&arr[0]，其类型为int*。

此外，对于任何指针（或数组）p和索引i，表达式*(p+i)正好等于p[i]。因此*(&arr+1)实际上与(&arr)[1]相同（这使得UB更加可见）。