std::ranges::ends_with

ヘッダー `<algorithm>` で定義
呼び出しシグネチャ
template< std::input_iterator I1, std::sentinel_for<I1> S1, std::input_iterator I2, std::sentinel_for<I2> S2, class Pred = ranges::equal_to, class Proj1 = std::identity, class Proj2 = std::identity > requires (std::forward_iterator<I1> \|\| std::sized_sentinel_for<S1, I1>) && (std::forward_iterator<I2> \|\| std::sized_sentinel_for<S2, I2>) && std::indirectly_comparable<I1, I2, Pred, Proj1, Proj2> constexpr bool ends_with( I1 first1, S1 last1, I2 first2, S2 last2, Pred pred = {}, Proj1 proj1 = {}, Proj2 proj2 = {} );	(1)	(C++23から)
template< ranges::input_range R1, ranges::input_range R2, class Pred = ranges::equal_to, class Proj1 = std::identity, class Proj2 = std::identity > requires (ranges::forward_range<R1> \|\| ranges::sized_range<R1>) && (ranges::forward_range<R2> \|\| ranges::sized_range<R2>) && std::indirectly_comparable<ranges::iterator_t<R1>, ranges::iterator_t<R2>, Pred, Proj1, Proj2> constexpr bool ends_with( R1&& r1, R2&& r2, Pred pred = {}, Proj1 proj1 = {}, Proj2 proj2 = {} );	(2)	(C++23から)

2番目の範囲が最初の範囲の末尾と一致するかどうかをチェックします。

1) N1 を ranges::distance(first1, last1)、N2 を ranges::distance(first2, last2) とします。

N1 < N2 が true の場合、false を返します。
それ以外の場合、ranges::equal(std::move(first1) + (N1 - N2), last1,
std::move(first2), last2, pred, proj1, proj2) を返します。

2) N1 を ranges::distance(r1)、N2 を ranges::distance(r2) とします。

N1 < N2 が true の場合、false を返します。
それ以外の場合、ranges::equal(views::drop(ranges::ref_view(r1),
N1 - static_cast<decltype(N1)>(N2)),
r2, pred, proj1, proj2) を返します。

このページで説明されている関数のようなエンティティは、アルゴリズム関数オブジェクト（非公式にはニーブロイドとして知られている）です。つまり、

これらのいずれかを呼び出す際に、明示的なテンプレート引数リストを指定することはできません。
これらのいずれも実引数依存の名前探索には見えません。
これらのいずれかが関数呼び出し演算子の左側の名前として通常の非修飾名探索によって見つかった場合、実引数依存の名前探索は抑制されます。

first1, last1	-	調査する要素の範囲を定義するイテレータとセンチネルのペア
r1	-	調査する要素の範囲
first2, last2	-	サフィックスとして使用される要素の範囲を定義するイテレータ-センチネルのペア
r2	-	サフィックスとして使用される要素の範囲
pred	-	射影された要素を比較する二項述語
proj1	-	調査する範囲の要素に適用する射影
proj2	-	サフィックスとして使用される範囲の要素に適用する射影

[編集] 戻り値

2番目の範囲が最初の範囲の末尾と一致する場合、true。それ以外の場合、false。

[編集] 計算量

一般的に線形: 述語と両方の射影の適用は最大 $\scriptsize \min(N1,N2) $ $min(N1,N2)$ 回。 N1 < N2 が true の場合、述語と両方の射影は適用されません。

N1 と N2 の両方が定数時間で計算できる場合 (つまり、両方のイテレータ-センチネル型ペアが sized_sentinel_for をモデル化しているか、両方の範囲型が sized_range をモデル化している場合) で、N1 < N2 が true の場合、時間計算量は定数になります。

[編集] 可能な実装

struct ends_with_fn
{
    template<std::input_iterator I1, std::sentinel_for<I1> S1,
             std::input_iterator I2, std::sentinel_for<I2> S2,
             class Pred = ranges::equal_to,
             class Proj1 = std::identity, class Proj2 = std::identity>
    requires (std::forward_iterator<I1> || std::sized_sentinel_for<S1, I1>) &&
             (std::forward_iterator<I2> || std::sized_sentinel_for<S2, I2>) &&
             std::indirectly_comparable<I1, I2, Pred, Proj1, Proj2>
    constexpr bool operator()(I1 first1, S1 last1, I2 first2, S2 last2,
                              Pred pred = {}, Proj1 proj1 = {}, Proj2 proj2 = {}) const
    {
        const auto n1 = ranges::distance(first1, last1);
        const auto n2 = ranges::distance(first2, last2);
        if (n1 < n2)
            return false;
        ranges::advance(first1, n1 - n2);
        return ranges::equal(std::move(first1), last1,
                             std::move(first2), last2,
                             pred, proj1, proj2);
    }
 
    template<ranges::input_range R1, ranges::input_range R2,
             class Pred = ranges::equal_to,
             class Proj1 = std::identity, class Proj2 = std::identity>
    requires (ranges::forward_range<R1> || ranges::sized_range<R1>) &&
             (ranges::forward_range<R2> || ranges::sized_range<R2>) &&
             std::indirectly_comparable<ranges::iterator_t<R1>,
                                        ranges::iterator_t<R2>,
                                        Pred, Proj1, Proj2>
    constexpr bool operator()(R1&& r1, R2&& r2,
                              Pred pred = {}, Proj1 proj1 = {}, Proj2 proj2 = {}) const
    {
        const auto n1 = ranges::distance(r1);
        const auto n2 = ranges::distance(r2);
        if (n1 < n2)
            return false;
        return ranges::equal(views::drop(ranges::ref_view(r1),
                                         n1 - static_cast<decltype(n1)>(n2)),
                             r2, pred, proj1, proj2);
    }
};
 
inline constexpr ends_with_fn ends_with{};

[編集] 備考

機能テストマクロ	値	規格	機能
`__cpp_lib_ranges_starts_ends_with`	`202106L`	(C++23)	std::ranges::starts_with、`std::ranges::ends_with`

[編集] 例

このコードを実行

#include <algorithm>
#include <array>
 
static_assert
(
    ! std::ranges::ends_with("for", "cast") &&
    std::ranges::ends_with("dynamic_cast", "cast") &&
    ! std::ranges::ends_with("as_const", "cast") &&
    std::ranges::ends_with("bit_cast", "cast") &&
    ! std::ranges::ends_with("to_underlying", "cast") &&
    std::ranges::ends_with(std::array{1, 2, 3, 4}, std::array{3, 4}) &&
    ! std::ranges::ends_with(std::array{1, 2, 3, 4}, std::array{4, 5})
);
 
int main() {}

[編集] 欠陥報告

以下の動作変更を伴う欠陥報告が、以前に公開されたC++標準に遡って適用されました。

DR	適用対象	公開された動作	正しい動作
LWG 4105	C++23	オーバーロード (2) はサイズを計算しました N1 - N2 による差分^[1]	次のように変更された N1 - static_cast<decltype(N1)>(N2)

↑ その結果が integer-class type になる場合があり、この場合 ranges::drop_view を構築できません。

[編集] 関連項目

ranges::starts_with (C++23)	ある範囲が別の範囲で始まるかチェックする (アルゴリズム関数オブジェクト)[編集]
ends_with (C++20)	文字列が指定された接尾辞で終わるかをチェックする (`std::basic_string<CharT,Traits,Allocator>` の公開メンバ関数) [編集]
ends_with (C++20)	string viewが指定されたサフィックスで終わるかチェックする (`std::basic_string_view<CharT,Traits>` の公開メンバ関数) [編集]

[1] その結果が integer-class type になる場合があり、この場合 ranges::drop_view を構築できません。

[1]

コンパイラサポート
フリースタンディングとホスト
言語
標準ライブラリ
標準ライブラリヘッダー
名前付き要件
機能テストマクロ (C++20)
言語サポートライブラリ
コンセプトライブラリ (C++20)
診断ライブラリ
メモリ管理ライブラリ
メタプログラミングライブラリ (C++11)
汎用ユーティリティライブラリ
コンテナライブラリ
イテレータライブラリ
Rangesライブラリ (C++20)
アルゴリズムライブラリ
文字列ライブラリ
テキスト処理ライブラリ
数値ライブラリ
日付と時刻ライブラリ
入出力ライブラリ
ファイルシステムライブラリ (C++17)
並行サポートライブラリ (C++11)
実行制御ライブラリ (C++26)
Technical specifications (技術仕様)
シンボルインデックス
外部ライブラリ

cppreference.com

名前空間

変種

表示

操作