境界チェック
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/05 19:18 UTC 版)
境界チェック（英語版）は操作が境界（範囲）を超えているか否かを検査する機能である。配列アクセス時のインデックスチェック (index checking) が有名である。検査は実行時におこなわれる場合が多い（コンパイル時の完全な境界チェックは実用段階に至っていない）。実行時境界チェックによる例外を用いることで、バッファオーバーフローをはじめとした多くのメモリアクセスに対して安全性が得られる。
※この「境界チェック」の解説は、「メモリ安全性」の解説の一部です。
「境界チェック」を含む「メモリ安全性」の記事については、「メモリ安全性」の概要を参照ください。
境界チェック
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/05 19:25 UTC 版)
「Rust (プログラミング言語)」の記事における「境界チェック」の解説
Rustは実行時に境界チェックをおこなう。これによりバッファオーバーランをはじめとしたメモリアクセスに対する安全性を得ている。この機能はゼロコスト抽象化でなく実行時の命令であるため、安全性と引き換えにいくらかの性能オーバーヘッドが発生している。他のシステムプログラミング言語として代表的なC言語やC++は境界チェックを強制しないため、Rustの特徴の1つとなっている。
※この「境界チェック」の解説は、「Rust (プログラミング言語)」の解説の一部です。
「境界チェック」を含む「Rust (プログラミング言語)」の記事については、「Rust (プログラミング言語)」の概要を参照ください。
ウィキペディア小見出し辞書の「境界チェック」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- 境界チェックのページへのリンク
