std:: find_end
|
ヘッダーで定義
<algorithm>
|
||
|
template
<
class
ForwardIt1,
class
ForwardIt2
>
ForwardIt1 find_end
(
ForwardIt1 first, ForwardIt1 last,
|
(1) | (C++20以降 constexpr) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt1,
class
ForwardIt2
>
ForwardIt1 find_end
(
ExecutionPolicy
&&
policy,
|
(2) | (C++17以降) |
|
template
<
class
ForwardIt1,
class
ForwardIt2,
class
BinaryPred
>
ForwardIt1 find_end
(
ForwardIt1 first, ForwardIt1 last,
|
(3) | (C++20以降 constexpr) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt1,
class
ForwardIt2,
class
BinaryPred
>
|
(4) | (C++17以降) |
範囲
[
first
,
last
)
内で、シーケンス
[
s_first
,
s_last
)
の最後の出現を検索します。
|
std:: is_execution_policy_v < std:: decay_t < ExecutionPolicy >> が true であること。 |
(C++20まで) |
|
std:: is_execution_policy_v < std:: remove_cvref_t < ExecutionPolicy >> が true であること。 |
(C++20以降) |
目次 |
パラメータ
| first, last | - | 検査する要素の範囲を定義するイテレータのペア |
| s_first, s_last | - | 検索する要素の範囲を定義するイテレータのペア |
| policy | - | 使用する実行ポリシー |
| p | - |
要素が等しいと見なされる場合に
true
を返す二項述語。
述語関数のシグネチャは以下と同等であるべきです: bool pred ( const Type1 & a, const Type2 & b ) ;
シグネチャが
const
&
を持つ必要はありませんが、関数は渡されたオブジェクトを変更してはならず、
値カテゴリ
に関係なく型(おそらくconstの)
|
| 型要件 | ||
-
ForwardIt1
は
LegacyForwardIterator
の要件を満たさなければなりません。
|
||
-
ForwardIt2
は
LegacyForwardIterator
の要件を満たさなければなりません。
|
||
戻り値
範囲
[
first
,
last
)
内で最後に現れるシーケンス
[
s_first
,
s_last
)
の先頭を指すイテレータ。
[
s_first
,
s_last
)
が空であるか、またはそのようなシーケンスが見つからない場合、
last
が返されます。
計算量
N を std:: distance ( first, last ) として、 S を std:: distance ( s_first, s_last ) として定義する:
例外
ExecutionPolicy
という名前のテンプレートパラメータを持つオーバーロードは、
以下のようにエラーを報告します:
-
アルゴリズムの一部として呼び出された関数の実行が例外をスローした場合、
ExecutionPolicyが 標準ポリシー のいずれかであるとき、 std::terminate が呼び出されます。それ以外のExecutionPolicyについては、動作は実装定義です。 - アルゴリズムがメモリの確保に失敗した場合、 std::bad_alloc がスローされます。
実装例
| find_end (1) |
|---|
template<class ForwardIt1, class ForwardIt2> constexpr //< since C++20 ForwardIt1 find_end(ForwardIt1 first, ForwardIt1 last, ForwardIt2 s_first, ForwardIt2 s_last) { if (s_first == s_last) return last; ForwardIt1 result = last; while (true) { ForwardIt1 new_result = std::search(first, last, s_first, s_last); if (new_result == last) break; else { result = new_result; first = result; ++first; } } return result; } |
| find_end (3) |
template<class ForwardIt1, class ForwardIt2, class BinaryPred> constexpr //< since C++20 ForwardIt1 find_end(ForwardIt1 first, ForwardIt1 last, ForwardIt2 s_first, ForwardIt2 s_last, BinaryPred p) { if (s_first == s_last) return last; ForwardIt1 result = last; while (true) { ForwardIt1 new_result = std::search(first, last, s_first, s_last, p); if (new_result == last) break; else { result = new_result; first = result; ++first; } } return result; } |
`, `
` タグ内のC++コードは翻訳せず保持
- C++固有の用語(`template`, `class`, `constexpr`, `ForwardIt1` など)は翻訳せず保持
- コメント部分(`//< since C++20`)は翻訳せず保持
- 関数名、変数名、キーワードはすべて原文のまま保持
例
#include <algorithm> #include <array> #include <cmath> #include <iostream> auto print_result = [](auto result, const auto& v) { result == v.end() ? std::cout << "Sequence not found\n" : std::cout << "Last occurrence is at: " << std::distance(v.begin(), result) << '\n'; }; int main() { const auto v = {1, 2, 3, 4, 1, 2, 3, 4, 1, 2, 3, 4}; for (auto const& x : {std::array{1, 2, 3}, {4, 5, 6}}) { auto iter = std::find_end(v.begin(), v.end(), x.begin(), x.end()); // overload (1) print_result(iter, v); } for (auto const& x : {std::array{-1, -2, -3}, {-4, -5, -6}}) { auto iter = std::find_end(v.begin(), v.end(), x.begin(), x.end(), // overload (3) [](int x, int y) { return std::abs(x) == std::abs(y); }); print_result(iter, v); } }
出力:
Last occurrence is at: 8 Sequence not found Last occurrence is at: 8 Sequence not found
不具合報告
以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。
| DR | 適用対象 | 公開時の動作 | 正しい動作 |
|---|---|---|---|
| LWG 1205 | C++98 |
[
s_first
,
s_last
)
が空の場合の戻り値が不明確
|
この場合 last を返す |
| LWG 2150 | C++98 | 「シーケンスの出現」の条件が不正確 | 修正済み |
関連項目
|
要素の範囲の最初の出現を検索する
(関数テンプレート) |
|
|
あるシーケンスが別のシーケンスの部分シーケンスである場合に
true
を返す
(関数テンプレート) |
|
|
等しい(または与えられた述語を満たす)最初の2つの隣接する要素を見つける
(関数テンプレート) |
|
|
(C++11)
|
特定の基準を満たす最初の要素を見つける
(関数テンプレート) |
|
要素のセットのいずれかを検索する
(関数テンプレート) |
|
|
範囲内の要素の連続するコピーの最初の出現を検索する
(関数テンプレート) |
|
|
(C++20)
|
特定の範囲内の要素の最後のシーケンスを見つける
(アルゴリズム関数オブジェクト) |