Bounds checking とは

コンピュータプログラミングでは、境界チェックは、変数が使用される前にある範囲内にあるかどうかを検出する方法です。これは通常、数値が特定の型(範囲チェック)に適合すること、または配列インデックスとして使用される変数が配列の境界内にあること(インデックスチェック)を保証するために使用されます。失敗した境界チェックは、通常、ある種の例外信号を生成します。
すべての使用中に境界チェックを実行するのは時間がかかるため、必ずしも実行されるわけではありません。境界チェックの除去は、不要な境界チェックを排除するコンパイラの最適化手法です。