边界检查

✍ dations ◷ 2025-06-30 15:12:36 #计算机错误

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

若是边界检查未能有效发现错误,最常见的结果是程序出现异常并终止运行,但也可能出现其他现象。

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

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

然而,有一些编程语言(比如C语言)为了提高速度,从来都不会自动进行边界检查,这经常导致差一错误(见右图)和缓冲区溢出的发生。许多程序员认为这些语言为了速度所付出的代价太大了。在1980年图灵奖讲座上,东尼·霍尔讲述了他设计包含边界检查的ALGOL 60语言时的经历:

范围检查经常被用于确保某个数字处在一个特定的范围之内。通常在访问数组的时候会进行该检查,因为当数组下标越界的时候,数据会被写入其它变量的空间,甚至会覆盖压栈的寄存器数值。这样一来,程序可能会崩溃,或者是导致一些安全漏洞的产生(见缓冲区溢出)。在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之间等。

相关

  • 安宫牛黄丸安宫牛黄丸属于中医方剂的开窍剂,出自吴鞠通的《温病条辨》,由12味中药组成,主要功用为清热开窍、豁痰解毒,是用以治疗温热病热陷心包,中风昏迷,小儿惊厥的方剂,症状为神昏谵语、烦
  • 菲律宾海板块隐没带 Alps 造山带 30→ 相对于非洲板块的移动速度(mm/Y)菲律宾海板块(英语:Philippine Sea Plate),是位于西太平洋菲律宾海的一个大洋板块,其形状略呈菱形,面积在30个主要板块中排
  • 哈维兰彗星型德·哈维兰“彗星”(De Havilland Comet,D.H 106)是由英国哈维兰公司研发的喷气式客机。亦是全球首款以喷射引擎为动力的民用飞机,外表以0.5毫米的铝制蒙皮包覆,且可飞行至10000
  • 三文鱼鲑鱼(英语:salmon),其中大西洋鲑又音译为三文鱼,是数种鲑科鱼的通称。它们大部分为洄游性辐鳍鱼,是常见的可食用鱼类之一。共有300多个属种的鲑科鱼类生活在大西洋及太平洋,在非原
  • 阿乌尔阿乌尔(车臣语:oil;俄语:аул),突厥语解村落,是指高加索特别是达吉斯坦地区一种堡垒型村落。阿乌尔一般由石头建造有两层高,建在悬崖上,防止敌人入侵。同时通常向南,确保冬天温暖。
  • 高雅高雅 (Sophistication) 即高尚雅致、高尚风雅(相对于猥琐粗俗)和高超雅正(相对于平庸奸诈),一种表现受过良好教养的品味、智慧和巧妙精细而非粗糙、愚笨和佣俗的高尚举止或情趣格
  • 莎拉·劳丝莎拉·德拉默·劳丝(英语:Sarah DeRemer Knauss,1880年9月24日-1999年12月30日),本姓克拉克(Clark),生于美国宾夕法尼亚州黑兹尔顿,史上最长寿的美国人,人类史上第2长寿者,及人类史上凤
  • 利格牛肝菌 C. Martín 1894 sensu auct. mult.利格牛肝菌(学名:),是一种担子菌门真菌,隶属于牛肝菌属。这种真菌分布于欧洲,并且是有毒的。其有毒成分主要引发人体胃肠道症状,并且与魔牛肝
  • 布达凯西区坐标:47°28′00″N 18°58′00″E / 47.4667°N 18.9667°E / 47.4667; 18.9667布达凯西区(匈牙利语:Budakeszi járás),是匈牙利的一个区,位于该国北部,由佩斯州负责管辖,首府设
  • 博士导师博士导师(英语:Doctoral advisor,德语:Doktorvater,波兰语:Promotor rozprawy doktorskiej)又称博士论文总监、博士论文指导教授和英国称的博士生的导师。是在大学、研究中心或其他