std::ranges::views::all, std::ranges::views::all_t
От ru.cppreference.net
| Определено в заголовке <ranges>
|
||
inline constexpr /* unspecified */ all = /* unspecified */;
|
(1) | (начиная с C++20) |
template< ranges::viewable_range R >
using all_t = decltype(views::all(std::declval<R>()));
|
(2) | (начиная с C++20) |
1) Объект RangeAdaptorObject (также RangeAdaptorClosureObject), который возвращает view, содержащее все элементы своего аргумента range.
Для выражения
e типа R выражение views::all(e) является эквивалентным выражению (expression-equivalent) для:
- Неявное преобразование
eвstd::decay_t<R>prvalue, еслиstd::decay_t<R>удовлетворяет view. - Иначе,
std::ranges::ref_view{e}если это выражение является корректным. - Иначе,
std::ranges::owning_view{e}.
Пример
Запустить этот код
#include <iostream> #include <ranges> #include <type_traits> #include <vector> 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 << ' '; 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)> >{}); }
Вывод:
0 1
Отчеты о дефектах
Следующие отчеты об изменениях поведения, влияющие на дефекты, были применены ретроактивно к ранее опубликованным стандартам C++.
| DR | Применяется к | Поведение в опубликованной версии | Корректное поведение |
|---|---|---|---|
| LWG 3724 | C++20 |
views::all
может приводить к критической ошибке для некоторых move-only представлений
|
становится корректно ограниченным |
| P2415R2 | C++20 |
views::all
возвращал
subrange
для rvalue
range
не являющегося
view
|
возвращает для него
owning_view
|
Смотрите также
|
(C++20)
|
пустой
view
без элементов
(шаблон класса) (шаблон переменной) |
view
содержащий единственный элемент указанного значения
(шаблон класса) (объект точки кастомизации) |
|
|
(C++20)
|
view
с уникальным владением некоторого
range
(шаблон класса) |