边界检查

http://blog.sina.com.cn/s/blog_477141850101g455.html

边界检查在程序设计中是指在使用某一个变量前，用来检查该变量是否处在一个特定范围之内的过程。最常见的是数组的下标检查，来防止下标超出数组的范围而覆盖其他的数据

由于每次都进行边界检查非常耗时，而且有些代码是不可能产生越界的问题的，所以这个操作并不总是需要被执行。一些现代的编译器中有被称为选择性边界检查的技术可以略去一些常见的不需要的边界检查来提高程序的性能。

当前的常见编程语言中，强制进行边界检查的有C#、Ada、Haskell、Java、JavaScript、Lisp、PHP、Python、Ruby和Visual Basic。其中C#同时也支持“unsafe块”（不安全代码块），即一段暂时关闭边界检查、启用指针以提高效率的代码块。这个功能常被用于加速一些小块的不可能出现越界的代码的执行，而不导致破坏整个程序的安全性。除了这些语言外，D语言和OCaml也支持自动边界检查，但是允许用户通过编译器的一个开关选项来选择是否启用该功能。

然而有一些编程语言（比如C语言）为了提高速度，从来都不会自动进行边界检查，这经常导致差一错误（又称“栅栏错误”：一个栅栏被一些柱子分区成10段，柱子的根数应该是11根，而不是10根。）和缓冲区溢出的发生。许多程序员认为这些语言为了速度所付出的代价太大了

 

范围检查

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

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

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

数组下标检查

数组下标检查是指在程序中，所有数组下标的表达式的结果在真正被用来访问某一个特定的元素之前，先把它的值和定义数组时给出的数组上界和下界进行比较。如果一个下标超出了预期的范围时，那么就引发一个错误来阻止进一步的访问。（例如：.NET Framework中的IndexOutOfRangeException和ArgumentOutOfRangeException类型异常）

比如在访问一个下标范围是0~9的数组前检查下标是否也在 0~9内，而不是如25之类的越过数组结尾的下标。

除了软件实现的下标检查之外，VAX架构的计算机拥有一条INDEX汇编指令，可以用来检查数组的下标是否越界，可以至多提供6个任意VAX编址的地址。B6500和一些相似的伯勒斯计算机则以硬件进行边界检查，无论是采用什么语言撰写的程序。

数据验证

在数据集合数据质量范畴中，边界检查表示检查一个并不总是错误的数据。比如，一个成年人的身高应该处在0到3米之间、利用率应该在0到1之间等。

 

 例如以下代码：

int main()

{

    inti[10] = {0};

    int p = 0;

    for(p=0;p<=10;p++)

    {

        i[p] = 4;

    }

    return 0;

}

当访问i[10]的时候数组下标越界，实际上访问了p所在的内存，于是p被设置成4继续循环，这样一来程序只会死循环而不会终止运行

以下行为，编译可以通过，并且能够运行。
1：声明数组但不初始化。2：数组越界。

C++指针：对于多维数组，所谓“不检查数组边界”只不检查最高维（第一维）的边界，其他边界控制

比如说int a[5][2]实际上在内存里面是连续的10个int，分别为第0个到第9个元素，所以  a[3][2] （虽然越界）但实际上等于3*2+2=8，第8个元素，即a[4][0]

参考：http://book.2cto.com/201312/38501.html C11附录K边界检查接口