std::ranges::viewable_range
С сайта ru.cppreference.net
| Определён в заголовке <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) | |
Концепция 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++.
| DR | Applied to | Behavior as published | Correct behavior |
|---|---|---|---|
| LWG 3481 | C++20 |
viewable_range
принимал lvalue перемещаемого представления
|
отклоняет |
| P2415R2 | C++20 |
viewable_range
принимал только не-
view
rvalue, которые являются
borrowed_range
|
принимает больше типов |
Смотрите также
|
(C++20)
|
представление,
view
которое включает все элементы
range
(псевдоним шаблона) (объект адаптера диапазона) |