std::ranges::subrange

 

C++

コンパイラサポート

フリースタンディングとホスト

言語

標準ライブラリ

標準ライブラリヘッダー

名前付き要件

機能テストマクロ (C++20)

言語サポートライブラリ

コンセプトライブラリ (C++20)

診断ライブラリ

メモリ管理ライブラリ

メタプログラミングライブラリ (C++11)

汎用ユーティリティライブラリ

コンテナライブラリ

イテレータライブラリ

Rangesライブラリ (C++20)

アルゴリズムライブラリ

文字列ライブラリ

テキスト処理ライブラリ

数値ライブラリ

日付と時刻ライブラリ

入出力ライブラリ

ファイルシステムライブラリ (C++17)

並行サポートライブラリ (C++11)

実行制御ライブラリ (C++26)

Technical specifications (技術仕様)

シンボルインデックス

外部ライブラリ

 

Rangesライブラリ

Rangeアクセス begin cbegin   end cend rbegin crbegin   rend crend size ssize   data cdata reserve_hint (C++26)   empty

Range変換 std::from_range_t std::from_range (C++23)(C++23)     to (C++23)

ダングリングイテレータの扱い dangling borrowed_iterator_t borrowed_subrange_t

Rangeプリミティブ
range_size_trange_difference_trange_value_t elements_of (C++23)	iterator_tconst_iterator_tsentinel_tconst_sentinel_t (C++23)(C++23)	range_reference_trange_const_reference_trange_rvalue_reference_trange_common_reference_t (C++23)

Rangeコンセプト
range borrowed_range    common_range	sized_range viewable_range    view	input_range output_range forward_range	bidirectional_range    random_access_range contiguous_range	approximately_sized_range (C++26) constant_range (C++23)

表示
view_interface	subrange

Rangeファクトリ
empty_viewviews::empty	single_viewviews::single	basic_istream_viewviews::istream	iota_viewviews::iota	repeat_viewviews::repeat (C++23)(C++23)

Rangeアダプタ
views::all_tviews::all as_rvalue_viewviews::as_rvalue (C++23)(C++23)   filter_viewviews::filter transform_viewviews::transform take_viewviews::take take_while_viewviews::take_while common_viewviews::common views::counted to_input_viewviews::to_input (C++26)(C++26)	ref_view drop_viewviews::drop drop_while_viewviews::drop_while lazy_split_viewviews::lazy_split split_viewviews::split join_viewviews::join join_with_viewviews::join_with (C++23)(C++23)   concat_viewviews::concat (C++26)(C++26) cache_latest_viewviews::cache_latest (C++26)(C++26)	owning_view reverse_viewviews::reverse as_const_viewviews::as_const (C++23)(C++23) elements_viewviews::elements keys_viewviews::keys values_viewviews::values enumerate_viewviews::enumerate (C++23)(C++23) zip_viewviews::zip (C++23)(C++23) zip_transform_viewviews::zip_transform (C++23)(C++23)	adjacent_viewviews::adjacent (C++23)(C++23) views::pairwise (C++23) adjacent_transform_viewviews::adjacent_transform (C++23)(C++23) views::pairwise_transform (C++23) chunk_viewviews::chunk (C++23)(C++23) slide_viewviews::slide (C++23)(C++23) chunk_by_viewviews::chunk_by (C++23)(C++23) stride_viewviews::stride (C++23)(C++23) cartesian_product_viewviews::cartesian_product (C++23)(C++23)

Rangeジェネレータ std::generator (C++23)

Rangeアダプタクロージャオブジェクト range_adaptor_closure (C++23)

Rangeアダプタオブジェクト

ヘルパーアイテム
copyable-box movable-box (C++23まで)  (C++23)	simple-view non-propagating-cache

 

std::ranges::subrange

メンバ関数

subrange::subrange

subrange::operator PairLike

監視

subrange::begin

subrange::end

subrange::empty

subrange::size

イテレータ操作

subrange::advance

subrange::next

subrange::prev

推論補助

非メンバ関数

get(std::ranges::subrange)

ヘルパー型

subrange_kind

tuple_size<std::ranges::subrange>

tuple_element<std::ranges::subrange>

 

ヘッダ <ranges> で定義
template<     std::input_or_output_iterator I,     std::sentinel_for<I> S = I,     ranges::subrange_kind K = std::sized_sentinel_for<S, I> ?                                   ranges::subrange_kind::sized :                                   ranges::subrange_kind::unsized >     requires (K == ranges::subrange_kind::sized ||                  !std::sized_sentinel_for<S, I>) class subrange     : public ranges::view_interface<subrange<I, S, K>>	(1)	(C++20以降)
ヘルパーコンセプト
template<class From, class To> concept /*uses-nonqualification-pointer-conversion*/ =     /* see description */;	(2)	(説明用*)
template<class From, class To> concept /*convertible-to-non-slicing*/ = /* see description */;	(3)	(説明用*)

1) subrange クラステンプレートは、イテレータとセンチネルを組み合わせて単一の view を形成します。 最終テンプレートパラメータが subrange_kind::sized である場合（std::sized_sentinel_for<S, I> が満たされる場合、またはサイズがコンストラクタ引数として明示的に渡された場合）、sized_range をモデル化します。

2) From が 修飾変換なしで To に変換可能かどうかを決定します。 次と同等です。

template<class From, class To>
concept /*uses-nonqualification-pointer-conversion*/ =
    std::is_pointer_v<From> && std::is_pointer_v<To> &&
        !std::convertible_to<std::remove_pointer_t<From>(*)[],
                             std::remove_pointer_t<To>(*)[]>;

3) From が派生クラスから基底クラスへの変換なしで To に変換可能かどうかを決定します。

template<class From, class To>
concept /*convertible-to-non-slicing*/ =
    std::convertible_to<From, To> &&
        !/*uses-nonqualification-pointer-conversion*/
            <std::decay_t<From>, std::decay_t<To>>;

データメンバー

メンバ	定義
constexpr bool StoreSize [static]	K == ranges::subrange_kind::sized &&     !std::sized_sentinel_for<S, I> (（実装専用静的メンバ定数*）)
I begin_	サブレンジの開始位置へのイテレータ (説明用のメンバオブジェクト*)
S end_	サブレンジの終了を示すセンチネル (説明用のメンバオブジェクト*)
make-unsigned-like-t <std::iter_difference_t<I>> size_ (StoreSize が true の場合にのみ存在)	サブレンジのサイズ (説明用のメンバオブジェクト*)

メンバ関数

(コンストラクタ)	新しい subrange を作成します。 (public member function)
operator PairLike	subrange を pair-like 型に変換します。 (public member function)
監視
begin	イテレータを取得します。 (public member function)
end	センチネルを取得します。 (public member function)
empty	subrange が空かどうかをチェックします。 (public member function)
size	subrange のサイズを取得します。 (public member function)
イテレータ操作
advance	指定された距離だけイテレータを進めます。 (public member function)
prev	イテレータを指定された距離だけ前に進めた subrange のコピーを取得します。 (public member function)
next	イテレータを指定された距離だけ進めた subrange のコピーを取得します。 (public member function)
std::ranges::view_interface から継承
cbegin (C++23)	範囲の先頭への定数イテレータを返す (std::ranges::view_interface<D> の public メンバ関数)
cend (C++23)	範囲の定数イテレータの番兵を返す (std::ranges::view_interface<D> の public メンバ関数)
operator bool	派生ビューが空でないかどうかを返す。ranges::empty が適用可能な場合にのみ提供される (std::ranges::view_interface<D> の public メンバ関数)
data	イテレータ型が contiguous_iterator を満たす場合にのみ、派生ビューのデータのアドレスを取得する (std::ranges::view_interface<D> の公開メンバ関数)
front	派生ビューが forward_range を満たす場合に、派生ビューの最初の要素を返す (std::ranges::view_interface<D> の public メンバ関数)
back	派生ビューが bidirectional_range と common_range の両方を満たす場合にのみ、派生ビューの最後の要素を返す (std::ranges::view_interface<D> の public メンバ関数)
operator[]	派生ビューが random_access_range を満たす場合にのみ、派生ビューの n番目の要素を返す (std::ranges::view_interface<D> の public メンバ関数)

非メンバ関数

get(std::ranges::subrange) (C++20)

std::ranges::subrange からイテレータまたはセンチネルを取得します。 (関数テンプレート)

ヘルパー型

ranges::subrange_kind (C++20)	std::ranges::subrange が std::ranges::sized_range をモデル化するかどうかを指定します。 (enum)
std::tuple_size<std::ranges::subrange> (C++20)	std::ranges::subrange のサイズを取得します。 (クラステンプレート特殊化)
std::tuple_element<std::ranges::subrange> (C++20)	std::ranges::subrange のイテレータまたはセンチネルの型を取得します。 (クラステンプレート特殊化)

ヘルパーテンプレート

template< class I, class S, ranges::subrange_kind K > constexpr bool ranges::enable_borrowed_range<ranges::subrange<I, S, K>> = true;		(C++20以降)

この ranges::enable_borrowed_range の特殊化により、subrange は borrowed_range を満たします。

例

このコードを実行

#include <map>
#include <print>
#include <ranges>
 
void make_uppercase(char& v)
{
    v += 'A' - 'a';
}
 
void uppercase_transform(std::multimap<int, char>& m, int k)
{
    auto [first, last] = m.equal_range(k);
    for (auto& [_, v] : std::ranges::subrange(first, last))
        make_uppercase(v);
}
 
int main()
{
    std::multimap<int, char> mm{{4, 'a'}, {3, '-'}, {4, 'b'}, {5, '-'}, {4, 'c'}};
    std::println("Before: {}", mm);
    uppercase_transform(mm, 4);
    std::println("After:  {}", mm);
}

出力

Before: {3: '-', 4: 'a', 4: 'b', 4: 'c', 5: '-'}
After:  {3: '-', 4: 'A', 4: 'B', 4: 'C', 5: '-'}

欠陥報告

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

DR	適用対象	公開された動作	正しい動作
LWG 3470	C++20	convertible-to-non-slicing は修飾変換を拒否する可能性があります。	常にそれらを受け入れます。

関連項目

ranges::view_interface (C++20)

CRTP (Curiously Recurring Template Pattern) を使用してviewを定義するためのヘルパークラステンプレート (クラステンプレート)

外部リンク

C++20で指定されたキーを持つstd::multimapのすべての値を読み書きする — SO