std::ranges::iota, std::ranges::iota_result

Определён в заголовочном файле `<numeric>`
Сигнатура вызова
template< std::input_or_output_iterator O, std::sentinel_for<O> S, std::weakly_incrementable T > requires std::indirectly_writable<O, const T&> constexpr iota_result<O, T> iota( O first, S last, T value );	(1)	(начиная с C++23)
template< std::weakly_incrementable T, ranges::output_range<const T&> R > constexpr iota_result<ranges::borrowed_iterator_t<R>, T> iota( R&& r, T value );	(2)	(начиная с C++23)
Вспомогательные типы
template< class O, class T > using iota_result = ranges::out_value_result<O, T>;	(3)	(начиная с C++23)

Заполняет диапазон [first, last) последовательно возрастающими значениями, начиная с value и повторно вычисляя ++value.

Эквивалентная операция:

*(first)     = value;
*(first + 1) = ++value;
*(first + 2) = ++value;
*(first + 3) = ++value;
...

Параметры

first, last	-	пара итератор–сентинел, задающая диапазон элементов для заполнения последовательно возрастающими значениями, начиная с `value`
value	-	начальное значение для сохранения; выражение `++value` должно быть корректно сформировано

Возвращаемое значение

{last, value + ranges::distance(first, last)}

Сложность

Ровно last - first инкрементов и присваиваний.

Возможная реализация

struct iota_fn
{
    template<std::input_or_output_iterator O, std::sentinel_for<O> S,
            std::weakly_incrementable T>
    requires std::indirectly_writable<O, const T&>
    constexpr iota_result<O, T> operator()(O first, S last, T value) const
    {
        while (first != last)
        {
            *first = as_const(value);
            ++first;
            ++value;
        }
        return {std::move(first), std::move(value)};
    }

    template<std::weakly_incrementable T, std::ranges::output_range<const T&> R>
    constexpr iota_result<std::ranges::borrowed_iterator_t<R>, T>
    operator()(R&& r, T value) const
    {
        return (*this)(std::ranges::begin(r), std::ranges::end(r), std::move(value));
    }
};
 
inline constexpr iota_fn iota;

Примечания

Функция названа в честь целочисленной функции ⍳ из языка программирования APL.

Макрос проверки поддержки	Значение	Стандарт	Функция
`__cpp_lib_ranges_iota`	`202202L`	(C++23)	`std::ranges::iota`

Пример

Использует vector итераторов (std::vector<std::list<T>::iterator>) в качестве прокси для перемешивания элементов std::list, поскольку ranges::shuffle нельзя применить непосредственно к std::list.

#include <algorithm>
#include <functional>
#include <iostream>
#include <list>
#include <numeric>
#include <random>
#include <vector>

template <typename Proj = std::identity>
void println(auto comment, std::ranges::input_range auto&& range, Proj proj = {})
{
    for (std::cout << comment; auto const &element : range)
        std::cout << proj(element) << ' ';
    std::cout << '\n';
}

int main()
{
    std::list<int> list(8);

    // Fill the list with ascending values: 0, 1, 2, ..., 7
    std::ranges::iota(list, 0);
    println("List: ", list);

    // A vector of iterators (see the comment to Example)
    std::vector<std::list<int>::iterator> vec(list.size());

    // Fill with iterators to consecutive list's elements
    std::ranges::iota(vec.begin(), vec.end(), list.begin());

    std::ranges::shuffle(vec, std::mt19937 {std::random_device {}()});
    println("List viewed via vector: ", vec, [](auto it) { return *it; });
}

Возможный вывод:

List: 0 1 2 3 4 5 6 7
List viewed via vector: 5 7 6 0 1 3 4 2

См. также

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

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