在常见的程式语言中，强制进行边界检查的有C#、Ada、Haskell、Java、JavaScript、Lisp、PHP、Python、Ruby和Visual Basic。其中C#同时支持“unsafe块”（不安全代码块），即一段暂时关闭边界检查、启用指针以提高效率的代码块。这个功能常被用于加速一小段不可能出现越界问题的代码的执行速度，而不至于破坏整个程式的安全性。除了这些语言，D语言和OCaml也支持自动边界检查，但是允许用户通过编译器的一个开关选项来选择是否启用该功能。差一错误，又称“栅栏错误”：一个栅栏被一些柱子分区成10段，柱子的根数应该是11根，而不是10根。然而，有一些程式语言（比如C语言）为了提高速度，从来都不会自动进行边界检查，这经常导致差一错误（见右图）和缓冲区溢出的发生。许多程式设计师认为这些语言为了速度所付出的代价太大了。在1980年图灵奖讲座上，东尼·霍尔讲述了他设计包含边界检查的ALGOL 60语言时的经历：该方法的原理主要是在程式运行时，每个含有下标的变数中的下标在每次被使用的时候总是会与变数下标的上界和下界都进行比较。许多年后，我询问我们的一些客户是否需要提供一个“在编译发行版时关闭该功能以保证速度”的选项时，他们都毫不犹豫的劝我们一定不要加入这个功能。因为他们知道下标越界是多常见的事情，并且在实际套用中，偶尔一次没检测到的下标越界所带来的结果便会是灾难性的。我注意到即便在1980年，语言的设计者和用户仍没有意识到这一点，这令我十分担心。若是在工程领域的任何一个重要的分支中，没能注意到这些低级错误都是有违常理的。

差一错误

数组边界检查可防止缓冲区溢出的产生。为了实现数组边界检查，应当检查所有对数组的读写操作以确保正确的範围内对数组的操作。数组下标检查是指在程式中，所有数组下标的表达式的结果在真正被用来访问某一个特定的元素之前，先把它的值和定义数组时给出的数组上界和下界进行比较。如果一个下标超出了预期的範围时，那幺就引发一个错误来阻止进一步的访问。比如在访问一个下标範围是0~9的数组前检查下标是否也在0~9内，而不是如25之类的越过数组结尾的下标。除了软体实现的下标检查之外，VAX架构的计算机拥有一条INDEX彙编指令，可以用来检查数组的下标是否越界，可以至多提供6个任意VAX编址的地址。B6500和一些相似的伯勒斯计算机则以硬体进行边界检查，无论是採用什幺语言撰写的程式。

冗余数组边界检查消除是指在程式中删除被证明是合法的数组访问所对应的边界检查。当数组索引能够保证在到一之间，则该数组访问对应的数组边界检查被视为完全冗余，可从程式中删除。如果数组边界检查位在循环体中，循环边界和数组长度都是循环不变数，并且数组索引变数是循环归纳变数，那幺可以通过把边界检查移出循环体来减少数组边界检查的执行次数。这种冗余被称为部分冗余。

数组边界检查导致程式运行时性能的减慢主要有两个原因一是执行这些边界检查操作需要时间开销。边界检查需要得到数组的长度信息，这需要一个访存操作，而判断当前的访问索引是否合法，又需要一个比较操作。如果边界检查处在一些频繁访问的循环中，那幺这些操作的开销将是非常可观。二是数组边界检查可能会阻止其他的最佳化机会，比如代码移动。和嵌套循环最佳化等。

範围检查经常被用于确保某个数字处在一个特定的範围之内。通常在访问数组的时候会进行该检查，因为当数组下标越界的时候，数据会被写入其它变数的空间，甚至会覆盖压栈的暂存器数值。这样一来，程式可能会崩溃，或者是导致一些安全漏洞的产生。在Java中，Java虚拟机将在尝试访问数组中的元素的时候，自动的进行数组边界检查，并且在下标越界的时候引发异常。

範围检查的另一个常见用途是在两种数据类型相互转换的时候。在构建在.NET Framework上的语言中，超出範围的强制转换将引发Invalid Cast Exception类型的异常。

比如将一个32位有符号整数类型的变数强制转换到一个16位有符号整数类型的变数之前，会检查这个变数的值是否在-32768~+32767之间（16位有符号整数可以表示的整数範围），而不是诸如32768之类的无法表示的数字。