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

namespace std::ranges {
  template<view V>
  class take_view : public view_interface<take_view<V>> { …… }; // (1)

  namespace views {
    inline constexpr /*unspecified*/ take = /*unspecified*/;     // (2)
  }
}

概要

(1): 元のRangeの先頭から指定した個数の値を取り出すview
(2): take_view、または(1)の動作を実現するviewを生成するRangeアダプタオブジェクト

takeで得られるviewの大きさは、指定した個数に関わらず、元のRangeの大きさを超えることは無い。

Rangeコンセプト

borrowed	sized	output	input	forward	bidirectional	random_access	contiguous	common	viewable	view
(1)	(1)	(1)	(1)	(1)	(1)	(1)	(1)	(1)	○	○

(1): Vに従う

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

view<V>

効果

(2): EおよびFを式、型Tをremove_cvref_t<decltype((E))>、型Dをrange_difference_t<decltype((E))>とする。式views::take(E, F)の効果は以下の通り
- decltype((F))がconvertible_to<D>のモデルでなければ、呼び出しは不適格
- Tがranges::empty_viewの特殊化であれば、((void) F,decay-copy(E))と等しい
- Tがrandom_access_rangeおよびsized_rangeのモデルであり、かつ次のいずれかの特殊化であるとき、T{ranges::begin(E),ranges::begin(E) +min<D>(ranges::size(E), F)}と等しい。ただし、Eは1度だけ評価される
  - span (ただし、T::extent ==dynamic_extentであること)
  - basic_string_view
  - ranges::iota_view
  - ranges::subrange
- それ以外のとき、ranges::take_view{E, F}

take_viewでラップする必要が無い型ではtake_viewを使わないようになっている。

メンバ関数

名前	説明	対応バージョン
`(constructor)`	コンストラクタ	C++20
`base`	`V`の参照を取得する	C++20
`begin`	先頭を指すイテレータを取得する	C++20
`end`	番兵を取得する	C++20
`size`	要素数を取得する	C++20

rを元のRangeとする。sizeはranges::size(r)が有効な式であるときに定義される。

継承しているメンバ関数

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

推論補助

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

例

#include <ranges>
#include <iostream>

int main() {
  using namespace std;

  for (int i : views::iota(1) | views::take(5)) {
    cout << i;
  }
}

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

概要

Rangeコンセプト

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

効果

メンバ関数

継承しているメンバ関数

推論補助

例

出力

バージョン

言語

処理系

参照