C 数组段错误仅在特定阈值之后

Question

我正在查看这个简单的程序。我的理解是，尝试修改超过最大索引的内存地址处的值应该会导致段错误。但是，下面的代码运行没有任何问题。我什至能够打印出所有 6 个数组索引 0->6

main()
{
  int i;
  int a[3];

  for(i=0; i<6; i++)
        a[i] = i;

}

但是，当我将 for 循环更改为

for(i=0; i<7; i++)

并执行程序，它会出现段错误。在我看来，这几乎像是 malloc 完成的某种额外填充。 为什么这只发生在第 6 个索引 (s+6)之后？这种行为会发生在更长/更短的数组上吗？请原谅我作为低级 Java 程序员的愚蠢:)

Answer 1

This almost seems to me like it is some kind of extra padding done by malloc.

您没有调用 malloc()。您将 a 声明为堆栈内存中的 3 个整数数组，而 malloc() 使用堆内存。在这两种情况下，访问最后一个元素(第三个元素，在本例中为 a[2])之后的任何元素都是未定义的行为。当它完成堆内存时，通常会导致段错误。