即使指针永远不被解引用，如何在三个过去的指针中发生硬件陷阱？

Question

在2005年11月1日的C ++专栏中 ，Herb Sutter写道......

int A[17];
int* endA = A + 17;
for( int* ptr = A; ptr < endA; ptr += 5 )
{
  // ...
}

[O]在某些CPU架构（包括当前的架构）中，上述代码可能导致硬件陷阱发生在创建三个结束指针的位置，无论该指针是否被解除引用。

CPU模式如何陷阱？ 关于什么 ...

int A[17];

// (i) hardware will trap this ?
int *pUgly = A + 18; 

// (ii) hardware will trap this, too?
int *pEnd = A + 17;
++pEnd;  

// (iii) will this fool it?
int *precious = A + 17;
unsigned long tricksy = reinterpret_cast<unsigned long>(precious) ; 
++tricksy;
int *pHobbits = reinterpret_cast<int *>(tricksy); 

额外问题：“一些当前的CPU体系结构”这个短语是否应该被理解为仅仅指代运输产品，或者它是否包含虚构的体系结构，如果它们被描述或暗示的虚构作品具有最近的出版日期？

Answer 1

指针操作依赖于实现。

可能发生在某些平台上仅允许特定寄存器存储指针值（仅特定寄存器可用作索引寄存器），并且立即检查由非特权程序代码写入此寄存器的值是否为有效地址。 在这种情况下，如果指针值对应于程序的地址空间中不存在的地址，则肯定会发生硬件陷阱。

如果是这种情况，编译器未优化的任何代码都会为指针分配新值，这可能会导致陷阱。

Answer 2

你可能会谷歌“投机阅读”。 一旦形成地址，高速缓存架构就可以将相应的数据线带入高速缓存。 通常情况下，这应该是无害的，但是如果你明显超出范围（例如下一页），这可能不再适用。