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

Определено в заголовочном файле `<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. Подробности см. в разделе Объект-точка настройки.

Члены-данные

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

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

(конструктор)	создаёт `repeat_view` (открытая функция-член)
begin	получает итератор начала `repeat_view` (открытая функция-член)
end	получает сентинел, обозначающий конец `repeat_view` (открытая функция-член)
size	получает размер `repeat_view`, если он имеет размер (открытая функция-член)
Унаследовано от `std::ranges::view_interface`
empty	возвращает признак того, что производное представление пусто; доступна, только если оно удовлетворяет `sized_range` или `forward_range` (открытая функция-член `std::ranges::view_interface<D>`)
cbegin (C++23)	возвращает константный итератор на начало диапазона (открытая функция-член `std::ranges::view_interface<D>`)
cend (C++23)	возвращает сентинел для константного итератора диапазона (открытая функция-член `std::ranges::view_interface<D>`)
operator bool	возвращает признак того, что производное представление не пусто; доступна, только если к нему применим `ranges::empty` (открытая функция-член `std::ranges::view_interface<D>`)
front	возвращает первый элемент производного представления, если оно удовлетворяет `forward_range` (открытая функция-член `std::ranges::view_interface<D>`)
back	возвращает последний элемент производного представления; доступна, только если оно удовлетворяет `bidirectional_range` и `common_range` (открытая функция-член `std::ranges::view_interface<D>`)
operator[]	возвращает элемент производного представления с индексом `n`^й; доступна, только если оно удовлетворяет `random_access_range` (открытая функция-член `std::ranges::view_interface<D>`)

std::ranges::repeat_view::repeat_view

repeat_view() requires std::default_initializable<W> = default;	(1)	(начиная с C++23)
constexpr explicit repeat_view( const W& value, Bound bound = Bound() );	(2)	(начиная с C++23)
constexpr explicit repeat_view( W&& value, Bound bound = Bound() );	(3)	(начиная с C++23)
template < class... WArgs, class... BoundArgs > requires std::constructible_from<W, WArgs...> && std::constructible_from<Bound, BoundArgs...> constexpr explicit repeat( std::piecewise_construct_t, std::tuple<WArgs...> value_args, std::tuple<BoundArgs...> bound_args = std::tuple<>{} );	(4)	(начиная с C++23)

1) Выполняет инициализацию по умолчанию для 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)	(начиная с C++23)
constexpr std::unreachable_sentinel_t end() const;	(2)	(начиная с 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)

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

iterator

тип итератора
(класс-член, указанный только для иллюстрации*)

Примечания

Макрос проверки поддержки	Значение	Стандарт	Функция
`__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`

См. также

ranges::iota_viewviews::iota (C++20)	`view`, представляющее собой последовательность, полученную многократным увеличением начального значения (шаблон класса) (объект-точка настройки)
views::indices (C++26)	`view`, создающее последовательность возрастающих значений от `0` до `n` (объект-точка настройки)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/ranges/repeat_view

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

Объекты-точки настройки

Члены-данные

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

Унаследовано от std::ranges::view_interface

std::ranges::repeat_view::repeat_view

Параметры

std::ranges::repeat_view::begin

std::ranges::repeat_view::end

std::ranges::repeat_view::size

Направляющие вывода

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

Примечания

Пример

Отчёты об ошибках

См. также

Унаследовано от `std::ranges::view_interface`