通过尝试访问大于其在C[duplicate]中的维度的位置来访问数组后面的变量

Question

因为在这个例子中，由于指针运算，我能够读取integer2的值：

#include <stdio.h>

    int main() {
      int integer1 = 1;
      int integer2 = 2;
      int *p = &integer1;
      p++;
      printf("%d\n", *p);
    } 

输出：

$ ./test
2

我想知道为什么在这个例子中：

#include <stdio.h>

int main()
{
  int array[2] = {0, 1};
  int variable = 0;
  for(int i = 0; i < 3; i++) {
    printf("%d\n", array[i]);
  }
}

然后我无法读取试图指向下一个整数的变量的值，但这就是我得到的：

0
1
336859392

我试着打印

161695488
161695492
161695480

变量的地址不仅小于数组中第一个元素的地址，甚至也不是前一个。
为什么在第一个例子中变量的地址是连续的，而在第二个例子中不是？
关于变量和缓冲区在堆栈中是如何分配的，我可能有些不明白。

编辑：我知道不应该这样做，但我试图理解缓冲区溢出（更现实地说，缓冲区应该是字符，由用户输入），目标应该是改变变量的值。所以我想了解的是，是否有可能知道变量在内存中的确切位置。

EDIT2：事实证明，给予-fno-stack-protected ector使其按预期工作，因此gcc在默认情况下添加了某种保护，以避免缓冲区溢出

Answer 1

局部变量的放置是实现的一个细节。它们可以按其认为合适的任何顺序放置。

试图读取数组的边界会调用未定义的行为。您看到的不一致结果就是这种情况的表现。

例如，如果我运行你的第一个代码片段，我不会得到2作为输出。打印每个变量的地址时，我得到：

&integer1=0x7ffcfa6e8c24, &integer2=0x7ffcfa6e8c20

所以在我的例子中，实现将integer1放在integer2之后。