デバッグ モードの std::vector Operator[] での境界チェックの実装

C では、 std::vector クラスが自動境界を提供しますat() メソッドを通じてチェックします。ただし、operator[] メソッドではチェックされていない配列アクセスが許可されており、未定義の動作が発生する可能性があります。開発者は、リリース モードでのパフォーマンスを損なうことなく、デバッグ モードで Operator[] の境界チェックを有効にする方法を模索することがよくあります。

この問題に対処するために、Visual Studio 2005 と 2008 では、両方のデバッグで Operator[] の境界チェックをネイティブに実装しています。そしてビルドをリリースします。これはマクロ _SECURE_SCL によって管理されており、境界チェックを無効にして未チェックの動作に戻すには、このマクロを 0 に設定できます。

Visual Studio 2010 などの後続のバージョンでは、Microsoft はデフォルトで境界チェックを無効にする予定です。ビルドをデバッグ モードに保持したままリリースします。新しいマクロ _ITERATOR_DEBUG_LEVEL は、_SECURE_SCL を置き換えてこの機能を制御します。

このアプローチを採用することで、開発者は std::vector 要素への範囲外のアクセスによってデバッグ時に std::out_of_range 例外がトリガーされるようにすることができます。モードでは、リリース ビルドで効率的なパフォーマンスを維持しながら貴重なエラー検出を提供します。