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

namespace std::ranges {
  template<input_or_output_iterator I, sentinel_for<I> S = I, subrange_kind K = sized_sentinel_for<S, I> ? subrange_kind::sized : subrange_kind::unsized>
  requires (K == subrange_kind::sized || !sized_sentinel_for<S, I>)
  class subrange : public view_interface<subrange<I, S, K>> { …… };
}

概要

subrangeは、イテレータiと番兵sが表す範囲[i, s)をRangeとして扱うクラステンプレート。

subrangeはborrowed_range、viewのモデルであり、また、大きさ2のtuple-likeな型である。第0要素はイテレータ、第1要素は番兵。

テンプレートパラメータ制約

subrange_kindKがsizedである。または、イテレータIと番兵Sがsized_sentinel_forを満たさない。

メンバ関数

名前	説明	対応バージョン
`(constructor)`	コンストラクタ	C++20
`operator PairLike`	pair-likeな型に変換する	C++20
`begin`	先頭を指すイテレータを取得する	C++20
`end`	番兵を取得する	C++20
`empty`	Rangeが空かどうかを判定する	C++20
`size`	要素数を取得する	C++20
`next`	イテレータを前進させる	C++20
`prev`	イテレータを後退させる	C++20
`advance`	部分Rangeを前進させる	C++20

継承しているメンバ関数

名前	説明	対応バージョン
`operator bool`	Rangeが空でないかどうかを判定する	C++20
`data`	配列の先頭へのポインタを取得する	C++20
`front`	先頭要素への参照を取得する	C++20
`back`	末尾要素への参照を取得する	C++20
`operator[]`	要素へアクセスする	C++20

推論補助

名前	説明	対応バージョン
`(deduction_guide)`	クラステンプレートの推論補助	C++20

カスタマイゼーション

名前	説明	対応バージョン
`enable_borrowed_range`	`enable_borrowed_range`の特殊化 (variable template)	C++20

タプルインターフェース

名前	説明	対応バージョン
`tuple_size`	静的な要素数取得(class template)	C++20
`tuple_element`	静的な要素の型取得(class template)	C++20
`get`	要素を取得する(function template)	C++20