◐ Shell
clean mode source ↗

std::ranges::views::all, std::ranges::views::all_t - cppreference.com

De cppreference.com

Definido en el archivo de encabezado <ranges>

inline constexpr /* no especificado */ all = /* no especificado */;

 (1) (desde C++20)

template <ranges::viewable_range R> using all_t = decltype(views::all(std::declval<R>()));

 (2) (desde C++20)

1) Un objeto adaptador de rango (también un objeto cierre adaptador de rango) que devuelve una vista (view) que incluye todos los elementos de su argumento range.

La expresión views::all(e) es equivalente en expresión a (tiene el mismo efecto):

  • Convertir implícitamente e a un pr-valor std::decay_t<decltype((e))>, si el tipo resultado modela view.
  • De lo contrario, std::ranges::ref_view{e} si esa expresión está bien formada.
  • De lo contrario, std::ranges::owning_view{e}.

Equivalente en expresión

La expresión e es equivalente-en-expresión a la expresión f, si e y f tienen los mismos efectos, ambas potencialmente lanzan o ambas potencialmente no lanzan (es decir, noexcept (e) == noexcept(f)), y ambas son subexpresiones constantes o ambas no son subexpresiones constantes.

Ejemplo

#include <ranges>
#include <vector>
#include <iostream>
#include <type_traits>

int main()
{
    std::vector<int> v{0,1,2,3,4,5};
    for(int n : std::views::all(v) | std::views::take(2) ) {
        std::cout << n << ' ';
    }

    static_assert(std::is_same<
        decltype(std::views::single(42)),
        std::ranges::single_view<int>
        >{});

    static_assert(std::is_same<
        decltype(std::views::all(v)),
        std::ranges::ref_view<std::vector<int, std::allocator<int>>>
        >{});

    int a[]{1,2,3,4};
    static_assert(std::is_same<
        decltype(std::views::all(a)),
        std::ranges::ref_view<int [4]>
        >{});

    static_assert(std::is_same<
        decltype(std::ranges::subrange{std::begin(a)+1, std::end(a)-1}),
        std::ranges::subrange<int*, int*, std::ranges::subrange_kind(1)>
        >{});
}

Salida:

Informes de defectos

Los siguientes informes de defectos de cambio de comportamiento se aplicaron de manera retroactiva a los estándares de C++ publicados anteriormente.

ID Aplicado a Comportamiento según lo publicado Comportamiento correcto
P2415R2 C++20 views::all devolvía un subrange para un r-valor rango (range) que no era una vista (view. Devuelve un objeto owning_view.

Véase también