Namespaces
Variants

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

From cppreference.net
C++
Ranges library
Range adaptors
std::ranges::iota_view
Member functions
iota_view::iota_view
Deduction guides
Nested classes
Iterator
Helper concepts
Member types
Member functions
Non-member functions
Sentinel
Member functions
Non-member functions
iota_view ( ) requires std:: default_initializable < W > = default ;
(1) (C++20以降)
constexpr explicit iota_view ( W value ) ;
(2) (C++20以降)
constexpr explicit iota_view ( std:: type_identity_t < W > value,
std:: type_identity_t < Bound > bound ) ;
(3) (C++20以降)
constexpr explicit iota_view ( /*iterator*/ first, /* see below */ last ) ;
(4) (C++20以降)

iota_view を構築します。

オーバーロード データメンバ
value_ bound_
(1) 値初期化 値初期化
(2) value で初期化
(3) bound で初期化
(4) first. value_ で初期化 下記参照
2,3) 以下のいずれかの条件が満たされる場合、動作は未定義です:
4) 以下のいずれかの条件が満たされる場合、動作は未定義です：
last の型と bound_ の初期化方法は、型 Bound が示すものによって決定されます：
型 Bound が示すもの last の型 bound_
W iterator last value_ で初期化
std::unreachable_sentinel_t Bound last で初期化
その他の型 sentinel last bound_ で初期化

パラメータ

value - 開始値
bound - 境界値
first - 開始値を示すイテレータ
last - 境界を示すイテレータまたは番兵

例

このコードを実行 
#include <cassert>
#include <iostream>
#include <iterator>
#include <ranges>
int main()
{
    const auto l = {1, 2, 3, 4};
    auto i1 = std::ranges::iota_view<int, int>(); // オーバーロード (1)
    assert(i1.empty() and i1.size() == 0);
    auto i2 = std::ranges::iota_view(1); // オーバーロード (2)
    assert(not i2.empty() and i2.front() == 1);
    for (std::cout << "1) "; auto e : i2 | std::views::take(3))
        std::cout << e << ' ';
    std::cout << '\n';
    auto i3 = std::ranges::iota_view(std::begin(l)); // オーバーロード (2)
    assert(not i3.empty() and i3.front() == l.begin());
    for (std::cout << "2) "; auto e : i3 | std::views::take(4))
        std::cout << *e << ' ';
    std::cout << '\n';
    auto i4 = std::ranges::iota_view(1, 8); // オーバーロード (3)
    assert(not i4.empty() and i4.front() == 1 and i4.back() == 7);
    for (std::cout << "3) "; auto e : i4)
        std::cout << e << ' ';
    std::cout << '\n';
    auto i5 = std::ranges::iota_view(l.begin(), l.end()); // オーバーロード (4)
    for (std::cout << "4) "; auto e : i5)
        std::cout << *e << ' ';
    std::cout << '\n';
    auto i6 = std::ranges::iota_view(l.begin(), std::unreachable_sentinel); // (4)
    for (std::cout << "5) "; auto e : i6 | std::views::take(3))
        std::cout << *e << ' ';
    std::cout << '\n';
}

出力: 

1) 1 2 3
2) 1 2 3 4
3) 1 2 3 4 5 6 7
4) 1 2 3 4
5) 1 2 3

不具合報告

以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。

DR 適用対象 公開時の動作 正しい動作
LWG 3523 C++20 オーバーロード (4) が誤ったセンチネル型を使用する可能性あり 修正済み
P2711R1 C++20 オーバーロード (3,4) が明示的ではなかった 明示的に変更