Spec-Zone.ru › C++

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 принимает больше типов

См. также

views::all_tviews::all
(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

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API