1. 導入
C++でコンテナを操作する際、イテレータを特定のオフセットだけ進めたい場面は多々あります。その際、手動で「++it」をループで回したり、「it += n」と記述したりしていないでしょうか？std::advanceを使用することで、コードの可読性が向上するだけでなく、コンテナの特性に合わせた最適な進め方をコンパイラに任せることができます。本記事では、std::advanceの仕組みと、現場で意識すべきパフォーマンス上の利点について解説します。
2. 基礎知識
std::advance(it, n)は、イテレータitをn個分進める標準ライブラリ関数です。この関数の最大の特徴は、「イテレータのカテゴリ」に応じて内部実装が自動的に切り替わる点にあります。
・ランダムアクセスイテレータ（std::vectorなど）：O(1)で動作します（単純な加算演算）。
・双方向イテレータ（std::listなど）：O(n)で動作します（順次インクリメント）。
自前で「it += n」と書くと、vectorでは問題ありませんが、listで同じことをしようとするとコンパイルエラーになります。std::advanceはこれらを抽象化し、どのようなコンテナに対しても安全かつ効率的な操作を保証します。
3. 実装/解決策
std::advanceを使用する際は、イテレータがコンテナの境界を超えないよう注意が必要です。std::advance自身は境界チェックを行わないため、必要に応じてstd::distance等で範囲を確認するか、イテレータがend()に達していないかを検証するロジックを前段に組み込むことが重要です。
4. サンプルプログラム
以下は、std::vectorとstd::listの両方でstd::advanceを活用する例です。
＜コード例＞
include
include
include
include
int main() { 実務で陥りやすいバグとして、負の値を渡す場合があります。std::advanceは負の値をサポートしていますが、これは「双方向イテレータ」以上の機能を持つイテレータ（std::listやstd::vectorなど）でなければなりません。前方イテレータ（std::forward_listなど）に対して負の値を渡すと未定義動作（またはコンパイルエラー）となるため、対象のコンテナが双方向性をサポートしているか必ず確認してください。 また、頻繁にイテレータを大きく動かすアルゴリズムを実装する場合は、そもそもコンテナの選定（std::listではなくstd::vectorやstd::dequeを使うべきではないか）を見直すことが、パフォーマンス改善の近道となることが多いです。
// vectorでの利用（ランダムアクセス）
std::vector
auto vec_it = vec.begin();
// 3つ先に進める
std::advance(vec_it, 3);
std::cout << "Vectorの3つ先: " << vec_it << std::endl;
// listでの利用（双方向アクセス）
std::list
auto lst_it = lst.begin();
// 2つ先に進める
std::advance(lst_it, 2);
std::cout << "Listの2つ先: " << lst_it << std::endl;
return 0;
}
5. 応用・注意点
コメント