std::ranges::starts_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::indirectly_comparable<I1, I2, Pred, Proj1, Proj2> constexpr bool starts_with( I1 first1, S1 last1, I2 first2, S2 last2, Pred pred = {}, Proj1 proj1 = {}, Proj2 proj2 = {} );	呼び出しシグネチャ	(1)
template< ranges::input_range R1, ranges::input_range R2, class Pred = ranges::equal_to, class Proj1 = std::identity, class Proj2 = std::identity > requires std::indirectly_comparable<ranges::iterator_t<R1>, ranges::iterator_t<R2>, Pred, Proj1, Proj2> constexpr bool starts_with( R1&& r1, R2&& r2, Pred pred = {}, Proj1 proj1 = {}, Proj2 proj2 = {} );	(C++23 から)	(2)

(C++23 から)

第2の範囲が第1の範囲の先頭と一致するかどうかを確認します。 1)N1 N2 と [first1, last1) をそれぞれ範囲 [first2, last2) と N1 < N2 のサイズとします。もし false ならば、true を返します。そうでなければ、範囲 [first2, last2) 内のすべての要素が [first1, first1 + N2) 内の対応する要素と等しい場合にのみ pred を返します。比較は、2つの範囲の要素に対して、それぞれ proj1 と proj2 によって射影された要素に二項述語

を適用することによって行われます。2) (1)r1 と同じですが、ソース範囲として r2 と ranges::begin(r1) を使用します。これは、first1 を ranges:begin(r2) として、first2 を ranges::end(r1) として、last1 を ranges::end(r2) として、last2 を

として使用するのと同じです。このページで説明されている関数のようなエンティティは アルゴリズム関数オブジェクト (非公式には ニブロイド

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

パラメータ

first1, last1	-	検査対象の要素の範囲を定義するイテレータ-番兵ペア
r1	-	検査対象の要素の範囲
first2, last2	-	プレフィックスとして使用される要素の範囲を定義するイテレータ-番兵ペア
r2	-	プレフィックスとして使用される要素の範囲
pred	-	投影された要素を比較する二項述語
proj1	-	検査対象範囲の要素に適用する投影
proj2	-	プレフィックスとして使用される範囲の要素に適用する投影

戻り値

true 最初の範囲の接頭辞に2番目の範囲が一致する場合、 false それ以外の場合。

計算量

線形: 最大で min ( N1, N2 ) 回の述語と両方の射影の適用。

実装例

struct starts_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::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
    {
        return ranges::mismatch(std::move(first1), last1, std::move(first2), last2,
                                std::move(pred), std::move(proj1), std::move(proj2)
                               ).in2 == last2;
    }
    template<ranges::input_range R1, ranges::input_range R2,
             class Pred = ranges::equal_to,
             class Proj1 = std::identity, class Proj2 = std::identity>
    requires 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
    {
        return (*this)(ranges::begin(r1), ranges::end(r1),
                       ranges::begin(r2), ranges::end(r2),
                       std::move(pred), std::move(proj1), std::move(proj2));
    }
};
inline constexpr starts_with_fn starts_with {};

注記

機能テストマクロ	値	標準	機能
`__cpp_lib_ranges_starts_ends_with`	`202106L`	(C++23)	`std::ranges::starts_with` , std::ranges::ends_with

例

このコードを実行

#include <algorithm>
#include <iostream>
#include <ranges>
#include <string_view>
int main()
{
    using namespace std::literals;
    constexpr auto ascii_upper = [](char8_t c)
    {
        return u8'a' <= c && c <= u8'z' ? static_cast<char8_t>(c + u8'A' - u8'a') : c;
    };
    constexpr auto cmp_ignore_case = [=](char8_t x, char8_t y)
    {
        return ascii_upper(x) == ascii_upper(y);
    };
    static_assert(std::ranges::starts_with("const_cast", "const"sv));
    static_assert(std::ranges::starts_with("constexpr", "const"sv));
    static_assert(!std::ranges::starts_with("volatile", "const"sv));
    std::cout << std::boolalpha
              << std::ranges::starts_with(u8"Constantinopolis", u8"constant"sv,
                                          {}, ascii_upper, ascii_upper) << ' '
              << std::ranges::starts_with(u8"Istanbul", u8"constant"sv,
                                          {}, ascii_upper, ascii_upper) << ' '
              << std::ranges::starts_with(u8"Metropolis", u8"metro"sv,
                                          cmp_ignore_case) << ' '
              << std::ranges::starts_with(u8"Acropolis", u8"metro"sv,
                                          cmp_ignore_case) << '\n';
    constexpr static auto v = { 1, 3, 5, 7, 9 };
    constexpr auto odd = [](int x) { return x % 2; };
    static_assert(std::ranges::starts_with(v, std::views::iota(1)
                                            | std::views::filter(odd)
                                            | std::views::take(3)));
}

出力:

true false true false

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

ranges::ends_with (C++23)	範囲が別の範囲で終わるかどうかをチェックする (アルゴリズム関数オブジェクト)
ranges::mismatch (C++20)	2つの範囲が最初に異なる位置を見つける (アルゴリズム関数オブジェクト)
starts_with (C++20)	文字列が指定されたプレフィックスで始まるかどうかをチェックする (`std::basic_string<CharT,Traits,Allocator>`の公開メンバ関数)
starts_with (C++20)	文字列ビューが指定されたプレフィックスで始まるかどうかをチェックする (`std::basic_string_view<CharT,Traits>`の公開メンバ関数)

ja.cppreference.net

Namespaces

Variants

std::ranges::starts_with

目次

パラメータ

戻り値

計算量

実装例

注記

例

関連項目