C++是否合法地使用超过数组末尾2或更多的地址？

Question

从一个过去的数组元素的地址通过下标:是否符合C++标准？

它似乎有具体采取的地址语言一个超过数组结束.

如果没有被解雇,为什么在结束时2或2,000,000会成为问题？

看一些简单的循环:

int array[];
...
for (int i = 0: i < array_max; ++i)
{
       int * x = &array[i *2];      // Is this legal
       int y=0;
       if (i * 2 < array_max)       // We check here before dereference
       {
              y = *x;               // Legal dereference
       }
       ...
}

为什么或在什么时候这变得不确定,在实践中它只是将ptr设置为某个值,为什么如果它没有被重新引用它将是未定义的？

更具体地说 - 除了预期会发生什么之外,还有什么例子？

Answer 1

将地址超出数组末尾的关键问题是分段体系结构:您可能溢出指针的可表示范围.现有规则已经产生了一定程度的痛苦,因为这意味着最后一个对象不能正好在一个段的边界上.但是,形成这个地址的能力已经确立.