通过指针算法计算数组长度

Question

我想知道*(&array+1)实际上是如何工作的。我认为这是一种计算数组长度的简单方法，并希望在使用它之前适当地理解它。我对指针算术不是很有经验，但根据我的理解，&array给出了数组第一个元素的地址。(&array+1)将按地址转到数组的末尾。但是*(&array+1)不应该给出这个地址的值吗。而是打印出地址。我真的很感激你帮我把指针的东西弄清楚。

下面是我正在研究的一个简单示例：

int numbers[] = {5,8,9,3,4,6,1};
int length = *(&numbers + 1) - numbers;

Answer 1

（这个答案是针对C++的。）

1. &numbers是指向数组本身的指针。它的类型为int(*)[7]。
2. &numbers+1是指向数组后面的字节的指针，另一个数组7ints将位于该字节后面。它仍然具有int(*)[7]类型。
3. *(&numbers+1)取消引用此指针，生成类型为int[7]的lvalue（引用数组后面的字节）。
4. *(&numbers+1)-numbers:使用-运算符强制两个操作数进行数组到指针的转换，因此可以减去指针。*(&numbers+1)转换为指向数组后面字节的int*。numbers转换为指向数组第一个字节的int*。它们的区别是两个指针之间的int的数目--这是数组中int的数目。

编辑：虽然&numbers+1没有指向有效的对象，但这就是所谓的“过去结束”指针。如果p是指向t的指针，指向t类型的有效对象，则计算p+1始终有效，即使*p可能是单个对象或数组末尾的对象。在那种情况下，您得到一个“pass the end”指针，它不指向有效的对象，但仍然是一个有效的指针。您可以使用这个指针进行指针算术，甚至可以取消引用它以产生一个lvalue，只要您不尝试读取或写入该lvalue。请注意,您只能在对象的末尾加长一个字节；试图更进一步会导致不明确的行为。