std::ranges::viewable_range
Определено в заголовке <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.
Отчеты об ошибках
Следующие отчеты об ошибках, изменяющие поведение, были применены ретроактивно к ранее опубликованным стандартам C++.
| DR | Применено к | Поведение как опубликовано | Правильное поведение |
|---|---|---|---|
| LWG 3481 | C++20 |
viewable_range принимал lvalue сдвигового диапазона | отклоняет |
| P2415R2 | C++20 |
viewable_range принимал только не-view rvalue, являющиеся borrowed_range | принимает больше типов |
См. также
|
(C++20) | a view содержащий все элементы range(шаблон псевдонима) (объект адаптера диапазонов) |
© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/ranges/viewable_range