std::ranges::viewable_range

Определён в заголовочном файле <ranges>

Определён в заголовочном файле `<ranges>`
template< class T > concept viewable_range = ranges::range<T> && ((ranges::view<std::remove_cvref_t<T>> && std::constructible_from<std::remove_cvref_t<T>, T>) \|\| (!ranges::view<std::remove_cvref_t<T>> && (std::is_lvalue_reference_v<T> \|\| (std::movable<std::remove_reference_t<T>> && !/is-initializer-list/<T>))));		(начиная с C++20)

template< class T >
concept viewable_range =
    ranges::range<T> &&
    ((ranges::view<std::remove_cvref_t<T>> &&
      std::constructible_from<std::remove_cvref_t<T>, T>) ||
     (!ranges::view<std::remove_cvref_t<T>> &&
      (std::is_lvalue_reference_v<T> ||
       (std::movable<std::remove_reference_t<T>> && !/*is-initializer-list*/<T>))));

(начиная с C++20)

Концепция viewable_range является уточнением range и описывает диапазон, который можно преобразовать в view с помощью views::all.

Константа /*is-initializer-list*/<T> равна true тогда и только тогда, когда std::remove_cvref_t<T> является специализацией std::initializer_list.

Пример

#include <ranges>
#include <string>
#include <vector>

struct valid_result {};
struct invalid_result {};

template <typename T>
concept valid_viewable_range = std::same_as<T, valid_result>;

template <typename T>
concept invalid_viewable_range = std::same_as<T, invalid_result>;

auto test_viewable_range(std::ranges::viewable_range auto &&) -> valid_result;
auto test_viewable_range(auto&&) -> invalid_result;

int main()
{
    auto il = {1, 2, 3};
    int arr []{1, 2, 3};
    std::vector vec{1, 2, 3};
    std::ranges::ref_view r{arr};
    std::ranges::owning_view o{std::string("Hello")};

    static_assert(requires {
        { test_viewable_range(il) } -> valid_viewable_range;
        { test_viewable_range(std::move(il)) } -> invalid_viewable_range;
        { test_viewable_range(arr) } -> valid_viewable_range;
        { test_viewable_range(std::move(arr)) } -> invalid_viewable_range;
        { test_viewable_range(vec) } -> valid_viewable_range;
        { test_viewable_range(std::move(vec)) } -> valid_viewable_range;
        { test_viewable_range(r) } -> valid_viewable_range;
        { test_viewable_range(std::move(r)) } -> valid_viewable_range;
        { test_viewable_range(o) } -> invalid_viewable_range;
        { test_viewable_range(std::move(o)) } -> valid_viewable_range;
        { test_viewable_range(std::ranges::ref_view(o)) } -> valid_viewable_range;
    });
}

Отчёты об ошибках

Следующие отчёты об ошибках, изменяющие поведение, были применены ретроспективно к ранее опубликованным стандартам C++.

Отчёт	Применяется к	Поведение согласно опубликованной версии	Правильное поведение
LWG 3481	C++20	`viewable_range` принимал lvalue-представление, допускающее только перемещение	отклоняет
P2415R2	C++20	`viewable_range` принимал только rvalue, не являющиеся `view`, но удовлетворяющие требованиям `borrowed_range`	принимает больше типов

См. также

views::all_tviews::all

(C++20)

представление view, включающее все элементы range
(шаблон псевдонима) (объект адаптера диапазона)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/ranges/viewable_range