双方向イテレータの組で示される範囲から与えられた正規表現を検索する。このアルゴリズムは様々な発見的方法を用いて検索時間を短縮する。そのために、個々の位置からマッチが開始する可能性があるかチェックのみを行う。このアルゴリズムの定義は以下のとおりである。双方向イテレータの要件(24.1.4)を満たす。マッチする部分シーケンスが存在するか判定する。式が文字シーケンスに対してどのようにマッチするかを制御するのに使用する。完全なマッチが存在する場合は真を、それ以外の場合は偽を返す。非再帰モードを使うように構成されているとき)。それ以外の場合は次の表のとおりである。フラグを設定した結果)部分マッチが見つかった場合は偽。マッチしたシーケンスの先頭。マッチしたシーケンスの終端。マッチした場合は真、それ以外は偽。