Namespaces
Variants

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

From cppreference.net
Ranges library
Range adaptors
iota_view ( ) requires std:: default_initializable < W > = default ;
(1) (desde C++20)
constexpr explicit iota_view ( W value ) ;
(2) (desde C++20)
constexpr explicit iota_view ( std:: type_identity_t < W > value,
std:: type_identity_t < Bound > bound ) ;
(3) (desde C++20)
constexpr explicit iota_view ( /*iterator*/ first, /* ver abajo */ last ) ;
(4) (desde C++20)

Construye un iota_view .

Sobrecarga Miembros de datos
value_ bound_
(1) inicializado por valor inicializado por valor
(2) inicializado con value
(3) inicializado con bound
(4) inicializado con first. value_ ver abajo
2,3) Si se satisface cualquiera de las siguientes condiciones, el comportamiento es indefinido:
4) Si se satisface cualquiera de las siguientes condiciones, el comportamiento es indefinido:
El tipo de last y el método de inicialización de bound_ están determinados por el tipo que Bound denota:
El tipo Bound denota El tipo de last bound_
W iterator inicializado con last. value_
std::unreachable_sentinel_t Bound inicializado con last
cualquier otro tipo sentinel inicializado con last. bound_

Parámetros

value - el valor inicial
bound - el límite
first - el iterador que denota el valor inicial
last - el iterador o centinela que denota el límite

Ejemplo

#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>(); // sobrecarga (1)
    assert(i1.empty() and i1.size() == 0);
    auto i2 = std::ranges::iota_view(1); // sobrecarga (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)); // sobrecarga (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); // sobrecarga (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()); // sobrecarga (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';
}

Salida:

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

Informes de defectos

Los siguientes informes de defectos que modifican el comportamiento se aplicaron retroactivamente a los estándares publicados anteriormente de C++.

DR Aplicado a Comportamiento publicado Comportamiento correcto
LWG 3523 C++20 la sobrecarga (4) podría usar el tipo de centinela incorrecto corregido
P2711R1 C++20 las sobrecargas (3,4) no eran explícitas hechas explícitas