边界检查在程序设计中是指在使用某一个变量前，检查该变量是否处在一个特定范围之内。最常见的是数组的下标检查，防止下标超出数组范围而覆盖其他数据。若是边界检查未能有效发现错误，最常见的结果是程序出现异常并终止运行，但也可能出现其他现象。
边界检查在程序设计中是指在使用某一个变量前，检查该变量是否处在一个特定范围之内。最常见的是数组的下标检查，防止下标超出数组范围而覆盖其他数据。若是边界检查未能有效发现错误，最常见的结果是程序出现异常并终止运行，但也可能出现其他现象。
由于每次都进行边界检查非常耗时，而且有些代码确定不会出现越界问题，所以这个操作并不总是需要被执行。一些现代编译器中有称为选择性边界检查的技术，可以略去一些常见的不需要的边界检查，从而提高程序的性能。
简介
在常见的编程语言中，强制进行边界检查的有 C#、Ada、Haskell、Java、JavaScript、Lisp、PHP、Python、Ruby 和 Visual Basic。其中 C#同时支持“unsafe 块”（不安全代码块），即一段暂时关闭边界检查、启用
差一错误
数组边界
数组边界检查可防止缓冲区溢出的产生。为了实现数组边界检查，应当检查所有对数组的读写操作以确保正确的范围内对数组的操作。数组下标检查是指在程序中，所有数组下标的表达式的结果在真正被用来访问某一个特定的元素之前，先把它的值和定义数组时给出的数组上界和下界进行比较。如果一个下标超出了预期的范围时，那么就引发一个错误来阻止进一步的访问。比如在访问一个下标范围是 0~9 的数组前检查下标是否也在 0~9 内，而不是如 25 之类的越过数组结尾的下标。除了软件实现的下标检查之外，VAX 架构的计算机拥有一条 INDEX 汇编指令，可以用来检查数组的下标是否越界，可以至多提供 6 个任意 VAX 编址的地址。B6500 和一些相似的伯勒斯计算机则以硬件进行边界检查，无论是采用什么语言撰写的程序。
冗余数组边界检查消除是指在程序中删除被证明是合法的数组访问所对应的边界检查。当数组索引能够保证在到一之间，则该数组访问对应的数组边界检查被视为完全冗余，可从程序中删除。如果数组边界检查位在循环体中，循环边界和数组长度都是循环不变量，并且数组索引变量是循环归纳变量，那么可以通过把边界检查移出循环体来减少数组边界检查的执行次数。这种冗余被称为部分冗余。
数组边界检查导致程序运行时性能的减慢主要有两个原因一是执行这些边界检查操作需要时间开销。边界检查需要得到数组的长度信息，这需要一个访存操作，而判断当前的访问索引是否合法，又需要一个比较操作。如果边界检查处在一些频繁访问的循环中，那么这些操作的开销将是非常可观。二是数组边界检查可能会阻止其他的优化机会，比如代码移动。和嵌套循环优化等。
范围检查
范围检查经常被用于确保某个数字处在一个特定的范围之内。通常在访问数组的时候会进行该检查，因为当数组下标越界的时候，数据会被写入其它变量的空间，甚至会覆盖压栈的寄存器数值。这样一来，程序可能会崩溃，或者是导致一些安全漏洞的产生。在 Java 中，Java 虚拟机将在尝试访问数组中的元素的时候，自动的进行数组边界检查，并且在下标越界的时候引发异常。
范围检查的另一个常见用途是在两种数据类型相互转换的时候。在构建在.NET Framework 上的语言中，超出范围的强制转换将引发 Invalid Cast Exception 类型的异常。
比如将一个 32 位有符号整数类型的变量强制转换到一个 16 位有符号整数类型的变量之前，会检查这个变量的值是否在-32768~+32767 之间（16 位有符号整数可以表示的整数范围），而不是诸如 32768 之类的无法表示的数字。
