Namespaces
Variants

std:: find_end

From cppreference.net
Algorithm library
Constrained algorithms and algorithms on ranges (C++20)
Constrained algorithms, e.g. ranges::copy , ranges::sort , ...
Execution policies (C++17)
Non-modifying sequence operations
Batch operations
(C++17)
Search operations
Modifying sequence operations
Copy operations
(C++11)
(C++11)
Swap operations
Transformation operations
Generation operations
Removing operations
Order-changing operations
(until C++17) (C++11)
(C++20) (C++20)
Sampling operations
(C++17)

Sorting and related operations
Partitioning operations
Sorting operations
Binary search operations
(on partitioned ranges)
Set operations (on sorted ranges)
Merge operations (on sorted ranges)
Heap operations
Minimum/maximum operations
Lexicographical comparison operations
Permutation operations
C library
Numeric operations
Operations on uninitialized memory
ヘッダーで定義 <algorithm>
template < class ForwardIt1, class ForwardIt2 >

ForwardIt1 find_end ( ForwardIt1 first, ForwardIt1 last,

ForwardIt2 s_first, ForwardIt2 s_last ) ;
(1) (C++20以降 constexpr)
template < class ExecutionPolicy, class ForwardIt1, class ForwardIt2 >

ForwardIt1 find_end ( ExecutionPolicy && policy,
ForwardIt1 first, ForwardIt1 last,

ForwardIt2 s_first, ForwardIt2 s_last ) ;
(2) (C++17以降)
template < class ForwardIt1, class ForwardIt2, class BinaryPred >

ForwardIt1 find_end ( ForwardIt1 first, ForwardIt1 last,
ForwardIt2 s_first, ForwardIt2 s_last,

BinaryPred p ) ;
(3) (C++20以降 constexpr)
template < class ExecutionPolicy,

class ForwardIt1, class ForwardIt2, class BinaryPred >
ForwardIt1 find_end ( ExecutionPolicy && policy,
ForwardIt1 first, ForwardIt1 last,
ForwardIt2 s_first, ForwardIt2 s_last,

BinaryPred p ) ;
(4) (C++17以降)

範囲 [ first , last ) 内で、シーケンス [ s_first , s_last ) の最後の出現を検索します。

1) 要素は operator == を使用して比較されます。
3) 要素は指定された二項述語 p を使用して比較されます。
2,4) (1,3) と同様ですが、 policy に従って実行されます。
これらのオーバーロードは、以下のすべての条件が満たされる場合にのみオーバーロード解決に参加します:

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の) Type1 Type2 のすべての値を受け入れられる必要があります(したがって、 Type1 & は許可されません 、また Type1 も、 Type1 に対してムーブがコピーと等価である場合を除き許可されません (C++11以降) )。
Type1 Type2 は、 ForwardIt1 ForwardIt2 型のオブジェクトが間接参照可能であり、それぞれ Type1 Type2 に暗黙的に変換可能である必要があります。 ​

型要件
-
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 ) として定義する:

1,2) 最大 S·(N-S+1) 回の比較を operator == を使用して行う。
3,4) 最大 S·(N-S+1) 回の述語 p の適用。

例外

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;
}
**翻訳の特徴:** - HTMLタグ、属性、構造は完全に保持 - ` `, `
` タグ内の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つの隣接する要素を見つける
(関数テンプレート)
特定の基準を満たす最初の要素を見つける
(関数テンプレート)
要素のセットのいずれかを検索する
(関数テンプレート)
範囲内の要素の連続するコピーの最初の出現を検索する
(関数テンプレート)
特定の範囲内の要素の最後のシーケンスを見つける
(アルゴリズム関数オブジェクト)