C语言中的数组上界检查[复制]

Question

在c程序中，我们可以初始化一个数组，比如int-array[10]。所以它可以存储10个整数值。但当我使用循环给出输入时，它接受的输入超过10个，并且没有显示任何错误。到底发生了什么？？

#include<stdio.H>
main()
{
 int array[10],i;
 for(i=0;i<=11;i++)
 scanf("%d",&array[i]);
 for(i=0;i<10;i++)
 printf("%d",array[i]);
} 

Answer 1

C语言标准没有规定如何在内存中分配变量。

因此，理论上的答案是，您正在执行不安全的内存访问操作，这将导致未定义的行为（任何情况都可能发生）。

然而，从技术上讲，所有编译器都在堆栈中分配局部变量，在数据部分分配全局变量，因此实际的答案是：

>

在本地数组的情况下，要么重写其他一些本地变量，要么执行非法的内存访问操作。

对于全局数组，您将重写其他全局变量或执行非法的内存访问操作。

Answer 2

执行任何数组边界检查都不需要C编译器和运行时。

你所描述的是导致未定义行为的一整类编程错误的例子。来自维基百科：

在计算机编程中，未定义行为是指其行为被指定为任意的计算机代码。

这意味着该程序可以随心所欲地（或不）做出不当行为。

在实践中，当写入超过数组末尾时，以下任何情况都有可能发生：

• 程序会立即或稍后崩溃。
• 其他无关的数据会被覆盖。这可能会导致任意不当行为和/或严重的安全漏洞。
• 用于跟踪分配内存的内部数据结构因越界写入而损坏。
• 该程序的工作原理就像在一开始就分配了更多的内存一样（内存通常是按块分配的，幸运的是，数组结束后可能会有一些剩余容量）。

（这不是一份详尽的清单。）

有一些工具，比如Valgrid，可以帮助发现和诊断这类错误。

Answer 3

因为C不做任何数组边界检查。作为一名程序员，你有责任确保你的索引不超出范围。

根据使用的编译器和代码运行的系统，您可能会从内存中读取随机数据，或者在读/写越界时最终得到SIGSEGV。