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

namespace std::ranges {
  template<weakly_incrementable W, semiregular Bound = unreachable_sentinel_t>
    requires weakly-equality-comparable-with<W, Bound> && semiregular<W>
  class iota_view : public view_interface<iota_view<W, Bound>> { …… }; // (1)

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

概要

(1): インクリメント演算子によって生成される、有限長または無限長の単調増加列を表すview
- 1つの値bから生成したiota_viewは、bから始まる無限長の単調増加列となる。
- 2つの値b, eから生成したiota_viewは、[b, e)に含まれる値を列挙する有限長の単調増加列となる。
(2): iota_viewを生成するカスタマイゼーションポイントオブジェクト

iota_viewの要素は、iota_viewが作られる時に初めの要素が生成され、残りはアクセスするときに生成される。

Rangeコンセプト

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

(1): common_rangeかつrandom_access_rangeのとき
(2):
- Wがincrementableのとき、forward_range
- Wがincrementableかつデクリメント操作が可能であるとき、bidirectional_range
- Wがincrementableかつデクリメント操作と加減算が可能であるとき、random_access_range
(3): WとBoundが等しいとき

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

weakly_incrementable<W>
semiregular<W>
semiregular<Bound>
weakly-equality-comparable-with<W, Bound>

効果

式views::iota(E)の効果はiota_view{E}と等しい。
式views::iota(E, F)の効果はiota_view{E, F}と等しい。

メンバ関数

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

継承しているメンバ関数

名前	説明	対応バージョン
`empty`	Rangeが空かどうかを判定する	C++20
`operator bool`	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, 10)) {
    cout << i;
  }
  cout << '\n';
  for (int i : views::iota(10)) {
     cout << i;
     break;
  }
}

出力

123456789
10

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

概要

Rangeコンセプト

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

効果

メンバ関数

継承しているメンバ関数

推論補助

例

出力

バージョン

言語

処理系

参照