超过对象末尾的指针是什么意思？

Question

在 C++ Primer 第 2 章“变量和基本类型”中，它说：

指向对象的指针和超过不同对象末尾的指针有可能保持相同的地址。

我不是母语人士，我认为这就是为什么我对“一个指针超过对象末尾的指针”这句话有点困惑。谁能告诉我这是什么意思？

Answer 1

表示之后

int a[] = { 1, 2 };
float b;

(void *) &a[2] == (void *) &b 可能比较为真。

&a[2]（或等效的a+2）是一个刚刚超过a 末尾的指针，因为数组只包含索引为0 和1 的元素。

通常，超出范围的数组索引是完全无效的（不允许访问 a[2]，甚至计算 &a[3] 也是如此），但是对于计算刚刚超过数组末尾的地址有一个特殊的例外，因为事实证明，这非常有用，例如在迭代数组时，您需要一个结束值来知道何时停止循环。

Answer 2

假设您有一个数组int foo[5] = {1,2,3,4,5};。它在内存中的布局是这样的：

-----------
|1|2|3|4|5|
-----------

有一个指向数组任何成员的指针是合法的；但指向数组末尾一个的指针也是合法的（通常表示在使用迭代器执行 STL 算法时它已到达数组末尾）——尽管它不是取消引用该指针是合法的。像这样：

-------------
|1|2|3|4|5|?|
-------------
 ^         ^
 |         |
 p         q

p 是指向数组的指针； q 是一个过去的指针。

现在，假设您还有一个数组 const char bar[3] = "Hi";。有可能这两个数组在内存中是相邻分配的，如下所示：

<--foo---> <-bar->
-----------------
|1|2|3|4|5|H|i|0|
-----------------
 ^         ^
 |         |
 p         q

那么q 既是foo 的一个过去端，也指向bar[0] 的物理位置。

Answer 3

“过去”表示“对指针进行+1 操作”。以下代码生成：

0x7ffffcf6a848
0x7ffffcf6a84c
0x7ffffcf6a84c

如您所见，“过去一”的地址，即&a + 1与&b相同。

    int a = 2; 
    int b = 3;
    cout<< &a << endl << &a + 1 << endl << &b <<endl;