std::ranges::iota_view<W, Bound>::iterator

 

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::iota_view

メンバ関数

iota_view::iota_view

iota_view::begin

iota_view::end

iota_view::empty

iota_view::size

推論補助

入れ子クラス

イテレータ

ヘルパーコンセプト

decrementable

advanceable

メンバ型

メンバ関数

iota_view::iterator::iterator

iota_view::iterator::operator*

iota_view::iterator::operator[]

iota_view::iterator::operator++ iota_view::iterator::operator++(int)

iota_view::iterator::operator-- iota_view::iterator::operator--(int)

iota_view::iterator::operator+=

iota_view::iterator::operator-=

非メンバ関数

operator==(iota_view::iterator) operator<(iota_view::iterator) operator>(iota_view::iterator) operator<=(iota_view::iterator) operator>=(iota_view::iterator) operator<=>(iota_view::iterator)

operator+(iota_view::iterator)

operator-(iota_view::iterator)

Sentinel

メンバ関数

iota_view::sentinel::sentinel

非メンバ関数

operator==(iota_view::iterator,iota_view::sentinel)

operator-(iota_view::iterator,iota_view::sentinel)

 

struct /*iterator*/;	(1)	(説明用*)
ヘルパーエイリアステンプレート
template< class I > using /*iota-diff-t*/ = /* see below */;	(2)	(説明用*)
ヘルパーコンセプト
template< class I > concept /*decrementable*/ =     std::incrementable<I> && requires(I i) {         { --i } -> std::same_as<I&>;         { i-- } -> std::same_as<I>;     };	(3)	(説明用*)
template< class I > concept /*advanceable*/ =     /*decrementable*/<I> && std::totally_ordered<I> &&     requires(I i, const I j, const /*iota-diff-t*/<I> n) {         { i += n } -> std::same_as<I&>;         { i -= n } -> std::same_as<I&>;         I(j + n);         I(n + j);         I(j - n);         { j - j } -> std::convertible_to</*iota-diff-t*/<I>>;     };	(4)	(説明用*)

1) ranges::iota_view<W, Bound>::iterator は、ranges::iota_view<W, Bound> の begin() および end() によって返されるイテレータの型です。

2) 両方のイテレータ型と 整数型のような型の差分型を計算します。

• I が整数型でない場合、または整数型であり、かつ sizeof(std::iter_difference_t<I>) が sizeof(I) よりも大きい場合、/*iota-diff-t*/<I> は std::iter_difference_t<I> です。
• それ以外の場合、/*iota-diff-t*/<I> は、そのような型が存在するならば、I の幅よりも大きい幅を持つ符号付き整数型です。
• それ以外の場合、I は最も幅の広い整数型の一つであり、/*iota-diff-t*/<I> は幅が I の幅以上である、未規定の 符号付き整数型のような型です。この場合、/*iota-diff-t*/<I> が weakly_incrementable をモデル化するかどうかは未規定です。

3) 型が incrementable であること、およびその型のプリインクリメントおよびポストインクリメント演算子 operator<< が共通の意味を持つことを指定します。

4) 型が decrementable と totally_ordered の両方をモデル化し、かつその型とその差分型との間の operator+=、operator-=、operator+、operator- が共通の意味を持つことを指定します。

/*iterator*/ は以下をモデル化します。

• W が advanceable (4) をモデル化する場合、random_access_iterator。
• W が decrementable (3) をモデル化する場合、bidirectional_iterator。
• W が incrementable をモデル化する場合、forward_iterator。
• それ以外の場合、input_iterator。

ただし、W が incrementable をモデル化する場合にのみ LegacyInputIterator を満たし、そうでない場合は LegacyInputIterator を満たしません。

意味的要求

3) 型 I は、I が decrementable を満たし、それが包含するすべてのコンセプトが満たされ、かつ等しいオブジェクト a と b (型 I) が与えられた場合にのみ decrementable をモデル化します。

• もし a と b がプリインクリメントおよびポストインクリメント演算子 operator<< の両方のドメイン内にある（つまり、デクリメント可能である）場合、以下はすべて true です。
  • std::addressof(--a) == std::addressof(a),
  • bool(a-- == b),
  • bool(((void)a--, a) == --b),
  • bool(++(--a) == b).
• もし a と b がプリインクリメントおよびポストインクリメント演算子 operator<< の両方のドメイン内にある（つまり、インクリメント可能である）場合、bool(--(++a) == b) は true です。

4) D を /*iota-diff-t*/<I> とします。型 I は、I が advanceable を満たし、それが包含するすべてのコンセプトが満たされ、かつ

• オブジェクト a と b (型 I) および
• 値 n (型 D)

ここで、b は a から n 回の value_ のインクリメント操作で到達可能である場合、以下のすべての条件が満たされます。

• (a += n) が b に等しい場合にのみモデル化されます。
• std::addressof(a += n) は std::addressof(a) と等しい。
• I(a + n) は (a += n) と等しい。
• D の任意の二つの正の値 x と y について、I(a + D(x + y)) がwell-definedであるならば、I(a + D(x + y)) は I(I(a + x) + y) と等しい。
• I(a + D(0)) は a と等しい。
• もし I(a + D(1)) がwell-definedであるならば、I(a + n) は [](I c) { return ++c; }(I(a + D(n - 1))) と等しい。
• (b += -n) は a と等しい。
• (b -= n) は a と等しい。
• std::addressof(b -= n) は std::addressof(b) と等しい。
• I(b - n) は (b -= n) と等しい。
• D(b - a) は n と等しい。
• D(a - b) は D(-n) と等しい。
• bool(a <= b) は true。

ネストされた型

型	定義
iterator_concept	an イテレータタグ、以下を参照
iterator_category (W が incrementable をモデル化し、 /*iota-diff-t*/<W> が整数型である場合のみ存在する)	std::input_iterator_tag
value_type	W
difference_type	/*iota-diff-t*/<W>

イテレータコンセプトの決定

iterator_concept は以下のように定義されます。

• もし W が advanceable をモデル化する場合、iterator_concept は std::random_access_iterator_tag を指します。
• それ以外で、もし W が decrementable をモデル化する場合、iterator_concept は std::bidirectional_iterator_tag を指します。
• それ以外で、もし W が incrementable をモデル化する場合、iterator_concept は std::forward_iterator_tag を指します。
• それ以外の場合、iterator_concept は std::input_iterator_tag を指します。

データメンバ

メンバ	定義
W value_	現在の値 (説明用のメンバオブジェクト*)

メンバ関数

std::ranges::iota_view::iterator::iterator

/*iterator*/() requires std::default_initializable<W> = default;	(1)	(C++20以降)
constexpr explicit /*iterator*/( W value );	(2)	(C++20以降)

1) value_ を値初期化します。

2) value_ を value で初期化します。

std::ranges::iota_view::iterator::operator*

constexpr W operator*() const     noexcept(std::is_nothrow_copy_constructible_v<W>);		(C++20以降)

value_ を返します。

例

このコードを実行

#include <cassert>
#include <ranges>
 
int main()
{
    auto it{std::views::iota(6, 9).begin()};
    const int& r = *it; // binds with temporary
    assert(*it == 6 and r == 6);
    ++it;
    assert(*it == 7 and r == 6);
}

std::ranges::iota_view::iterator::operator++

constexpr /*iterator*/& operator++();	(1)	(C++20以降)
constexpr void operator++(int);	(2)	(C++20以降)
constexpr /*iterator*/ operator++(int) requires std::incrementable<W>;	(3)	(C++20以降)

1) ++value_ ; return *this; に相当します。

2) ++value_ ; に相当します。

3) auto tmp = *this; ++value_ ; return tmp; に相当します。

例

このコードを実行

#include <cassert>
#include <ranges>
 
int main()
{
    auto it{std::views::iota(8).begin()};
    assert(*it == 8);
    assert(*++it == 9);
    assert(*it++ == 9);
    assert(*it == 10);
}

std::ranges::iota_view::iterator::operator--

constexpr /*iterator*/& operator--() requires /*decrementable*/<W>;	(1)	(C++20以降)
constexpr /*iterator*/operator--(int) requires /*decrementable*/<W>;	(2)	(C++20以降)

1) --value_ ; return *this; に相当します。

2) auto tmp = *this; --value_ ; return tmp; に相当します。

例

このコードを実行

#include <cassert>
#include <ranges>
 
int main()
{
    auto it{std::views::iota(8).begin()};
    assert(*it == 8);
    assert(*--it == 7);
    assert(*it-- == 7);
    assert(*it == 6);
}

std::ranges::iota_view::iterator::operator+=

constexpr /*iterator*/& operator+=( difference_type n )     requires /*advanceable*/<W>;		(C++20以降)

value_ を更新し、*this を返します。

• もし W が 符号なし整数型のような型の場合
  • もし n が非負の場合、value_ += static_cast<W>(n) を実行します。
  • それ以外の場合、value_ -= static_cast<W>(-n) を実行します。
• それ以外の場合、value_ += n を実行します。

例

このコードを実行

#include <cassert>
#include <ranges>
 
int main()
{
    auto it{std::views::iota(5).begin()};
    assert(*it == 5);
    assert(*(it += 3) == 8);
}

std::ranges::iota_view::iterator::operator-=

constexpr /*iterator*/& operator-=( difference_type n )     requires /*advanceable*/<W>;		(C++20以降)

value_ を更新し、*this を返します。

• もし W が 符号なし整数型のような型の場合
  • もし n が非負の場合、value_ -= static_cast<W>(n) を実行します。
  • それ以外の場合、value_ += static_cast<W>(-n) を実行します。
• それ以外の場合、value_ -= n を実行します。

例

このコードを実行

#include <cassert>
#include <ranges>
 
int main()
{
    auto it{std::views::iota(6).begin()};
    assert(*it == 6);
    assert(*(it -= -3) == 9);
}

std::ranges::iota_view::iterator::operator[]

constexpr W operator[]( difference_type n ) const     requires /*advanceable*/<W>;		(C++20以降)

W(value_ + n) を返します。

例

このコードを実行

#include <cassert>
#include <ranges>
 
int main()
{
    auto it{std::views::iota(6).begin()};
    assert(*it == 6);
    assert(*(it + 3) == 9);
}

非メンバ関数

operator==, <, >, <=, >=, <=>(std::ranges::iota_view::iterator)

friend constexpr bool operator==     ( const /*iterator*/& x, const /*iterator*/& y )     requires std::equality_comparable<W>;	(1)	(C++20以降)
friend constexpr bool operator<     ( const /*iterator*/& x, const /*iterator*/& y )     requires std::totally_ordered<W>;	(2)	(C++20以降)
friend constexpr bool operator>     ( const /*iterator*/& x, const /*iterator*/& y )     requires std::totally_ordered<W>;	(3)	(C++20以降)
friend constexpr bool operator<=     ( const /*iterator*/& x, const /*iterator*/& y )     requires std::totally_ordered<W>;	(4)	(C++20以降)
friend constexpr bool operator>=     ( const /*iterator*/& x, const /*iterator*/& y )     requires std::totally_ordered<W>;	(5)	(C++20以降)
friend constexpr bool operator<=>     ( const /*iterator*/& x, const /*iterator*/& y )     requires std::totally_ordered<W> && std::three_way_comparable<W>;	(6)	(C++20以降)

1) x.value_ == y.value_ を返します。

2) x.value_ < y.value_ を返します。

3) y < x を返します。

4) !(y < x) を返します。

5) !(x < y) を返します。

6) x.value_ <=> y.value_ を返します。

!= 演算子は operator== から合成される。

これらの関数は、通常の 非修飾または 修飾ルックアップからは見えず、iterator が引数の関連クラスである場合にのみ 引数依存ルックアップによって見つけることができます。

operator+(std::ranges::iota_view::iterator)

friend constexpr /*iterator*/ operator+     ( /*iterator*/ i, difference_type n )     requires /*advanceable*/<W>;	(1)	(C++20以降)
friend constexpr /*iterator*/ operator+     ( difference_type n, /*iterator*/ i )     requires /*advanceable*/<W>;	(2)	(C++20以降)

i += n; return i; に相当します。

これらの関数は、通常の 非修飾または 修飾ルックアップからは見えず、iterator が引数の関連クラスである場合にのみ 引数依存ルックアップによって見つけることができます。

operator-(std::ranges::iota_view::iterator)

friend constexpr /*iterator*/ operator-     ( /*iterator*/ i, difference_type n )     requires /*advanceable*/<W>;	(1)	(C++20以降)
friend constexpr difference_type operator-     ( const /*iterator*/& x, const /*iterator*/& y )     requires /*advanceable*/<W>;	(2)	(C++20以降)

1) i -= n; return i; に相当します。

2) D を difference_type とします。

• もし W が 整数型のような型の場合
  • もし W が符号付き整数型のような場合、D(D(x.value_ ) - D(y.value_ )) を返します。
  • それ以外の場合、y.value_ > x.value_ ? D(-D(y.value_ - x.value_ )) : D(x.value_ - y.value_ ) を返します。
• それ以外の場合、x.value_ - y.value_ を返します。

これらの関数は、通常の 非修飾または 修飾ルックアップからは見えず、iterator が引数の関連クラスである場合にのみ 引数依存ルックアップによって見つけることができます。

不具合報告

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

DR	適用対象	公開された動作	正しい動作
P2259R1	C++20	メンバ iterator_category は常に定義されています。	W が incrementable を満たす場合のみ定義されます。
LWG 3580	C++20	operator+ と operator- の本体は 暗黙の移動を排除していました。	暗黙の移動に適したものに変更されました。