Namespaces
Variants

std::ranges::views::repeat, std::ranges::repeat_view

Материал из ru.cppreference.net
 
 
Библиотека диапазонов
Адаптеры диапазонов
 
 
Определён в заголовке <ranges>
template< std::move_constructible W,
          std::semiregular Bound = std::unreachable_sentinel_t >
    requires (std::is_object_v<W> && std::same_as<W, std::remove_cv_t<W>> &&
             (/*integer-like-with-usable-difference-type*/<Bound> ||
              std::same_as<Bound, std::unreachable_sentinel_t>))
class repeat_view : public ranges::view_interface<repeat_view<W, Bound>>
(1) (начиная с C++23)
namespace views {
    inline constexpr /* unspecified */ repeat = /* unspecified */;
}
(2) (начиная с C++23)
Сигнатура вызова
template< class W >
    requires /* see below */
constexpr /* see below */ repeat( W&& value );
(начиная с C++23)
template< class W, class Bound >
    requires /* see below */
constexpr /* see below */ repeat( W&& value, Bound&& bound );
(начиная с C++23)
Вспомогательные концепты
concept /*integer-like-with-usable-difference-type*/ =
    /*is-signed-integer-like*/<T> ||
    (/*is-integer-like*/ <T> && std::weakly_incrementable<T>)
(3) (только для пояснения*)
1) Фабрика диапазонов, которая генерирует последовательность элементов, многократно производя одно и то же значение. Может быть как ограниченным, так и неограниченным (бесконечным).
2) views::repeat(e) и views::repeat(e, f) являются эквивалентными выражениями для repeat_view<std::decay_t<decltype((E))>>(e) и repeat_view(e, f) соответственно для любых подходящих подвыражений e и f.
3) Определяет, является ли тип целочисленным и имеет ли он используемый тип разности.

repeat_view моделирует random_access_range. Если Bound не является std::unreachable_sentinel_t, repeat_view также моделирует sized_range и common_range.

Объекты точек кастомизации

Имя views::repeat обозначает объект точки кастомизации , который является константным функциональным объектом типа литерального semiregular класса. Для подробностей см. CustomizationPointObject .

Члены данных

Участник Определение
movable-box  < W > value_ повторяющийся элемент представления
( объект-участник только для демонстрации* )
Bound bound_ значение-ограничитель
( объект-участник только для демонстрации* )

Функции-члены

создает repeat_view
(публичная функция-член)
получает начальный итератор repeat_view
(публичная функция-член)
получает сторожевой итератор, обозначающий конец repeat_view
(публичная функция-член)
получает размер repeat_view если он имеет размер
(публичная функция-член)
Унаследовано от ranges::view_interface
возвращает, пусто ли производное представление, предоставляется только если оно соответствует sized_range или forward_range
(public элемент функции от std::ranges::view_interface<D>)
(C++23)
возвращает константный итератор на начало диапазона
(public элемент функции от std::ranges::view_interface<D>)
(C++23)
возвращает ограничитель для константного итератора диапазона
(public элемент функции от std::ranges::view_interface<D>)
возвращает, не пусто ли производное представление, предоставляется только если ranges::empty применим к нему
(public элемент функции от std::ranges::view_interface<D>)
возвращает первый элемент в производном представлении, предоставляется если оно соответствует forward_range
(public элемент функции от std::ranges::view_interface<D>)
возвращает последний элемент в производном представлении, предоставляется только если оно соответствует bidirectional_range и common_range
(public элемент функции от std::ranges::view_interface<D>)
возвращает nй элемент в производном представлении, предоставляется только если оно соответствует random_access_range
(public элемент функции от std::ranges::view_interface<D>)

std::ranges::repeat_view:: repeat_view

repeat_view ( ) требует std:: default_initializable < W > = default ;
(1) (начиная с C++23)
constexpr explicit repeat_view ( const W & значение, Bound граница = Bound ( ) ) ;
(2) (начиная с C++23)
constexpr explicit repeat_view ( W && значение, Bound граница = Bound ( ) ) ;
(3) (начиная с C++23)
template < class ... WArgs , class ... BoundArgs >

требует std:: constructible_from < W, WArgs... >
&& std:: constructible_from < Bound, BoundArgs... >
constexpr explicit
repeat ( std:: piecewise_construct_t , std:: tuple < WArgs... > аргументы_значения,

std:: tuple < BoundArgs... > аргументы_границы = std:: tuple <> { } ) ;
(4) (начиная с C++23)
1) Выполняет default-инициализацию value_ и value-инициализацию bound_ .
2) Инициализирует value_ значением value и инициализирует bound_ значением bound .
Если Bound не является std::unreachable_sentinel_t и bool ( bound >= 0 ) равно false , поведение не определено.
3) Инициализирует value_ с помощью std :: move ( value ) и инициализирует bound_ с помощью bound .
Если Bound не является std::unreachable_sentinel_t и bool ( bound >= 0 ) равно false , поведение не определено.
4) Инициализирует value_ с помощью std:: make_from_tuple < T > ( std :: move ( value_args ) ) и bound_ с помощью std:: make_from_tuple < Bound > ( std :: move ( bound_args ) ) .
Если Bound не является std::unreachable_sentinel_t и bool ( bound >= 0 ) равно false , поведение не определено.

Параметры

value - значение, которое будет многократно воспроизводиться
bound - граница
value_args - кортеж, содержащий инициализаторы value_
bound_args - кортеж, содержащий инициализаторы bound_

std::ranges::repeat_view:: begin

constexpr /*iterator*/ begin ( ) const ;
(начиная с C++23)

Возвращает iterator  ( std:: addressof ( * value_  ) ) .

std::ranges::repeat_view:: end

constexpr /*iterator*/ end ( ) const
requires ( ! std:: same_as < Bound, std:: unreachable_sentinel_t > ) ;
(1) (since C++23)
constexpr std:: unreachable_sentinel_t end ( ) const ;
(2) (since C++23)
1) Возвращает iterator  ( std:: addressof ( * value_  ) , bound_  ) .
2) Возвращает std:: unreachable_sentinel .

std::ranges::repeat_view:: size

constexpr auto size ( ) const
requires ( ! std:: same_as < Bound, std:: unreachable_sentinel_t > ) ;
(начиная с C++23)

Возвращает to-unsigned-like  ( bound_  ) .

Руководства по выводу типа

template < class W, class Bound = std:: unreachable_sentinel_t >
repeat_view ( W, Bound = Bound ( ) ) - > repeat_view < W, Bound > ;
(начиная с C++23)

Вложенные классы

тип итератора
( демонстрационный класс-член* )

Примечания

Макрос тестирования возможностей Значение Стандарт Функция
__cpp_lib_ranges_repeat 202207L (C++23) std::ranges::repeat_view

Пример

#include <iostream>
#include <ranges>
#include <string_view>
using namespace std::literals;
int main()
{
    // bounded overload
    for (auto s : std::views::repeat("C++"sv, 3))
        std::cout << s << ' ';
    std::cout << '\n';
    // unbounded overload
    for (auto s : std::views::repeat("I know that you know that"sv)
                | std::views::take(3))
        std::cout << s << ' ';
    std::cout << "...\n";
}

Вывод:

C++ C++ C++
I know that you know that I know that you know that I know that you know that ...

Отчёты о дефектах

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

DR Применяется к Поведение в опубликованной версии Корректное поведение
LWG 4053 C++20 унарные вызовы views::repeat не преобразовывали аргумент преобразовывать аргумент
LWG 4054 C++20 вызов views::repeat с repeat_view
не создавал вложенный repeat_view
создает вложенный
repeat_view

Смотрите также

представление, view состоящее из последовательности, генерируемой повторным инкрементированием начального значения
(шаблон класса) (объект точки кастомизации)